Personal profile
Research interests
Languages for programming, modeling, and specification; artificial intelligence and applications; formal methods; object-oriented software methodology; instructional technology and CS education
Personal profile
Prof. Tyler joined Nazarbayev University in August 2011 as one of the first faculty members of the Computer Science department. He has been closely involved in the shaping of the academic programs and has developed over a dozen courses for the department. He is currently the Associate Chair and director of undergraduate studies for CS, and has previously served as Acting Chair of CS. He has over 20 years of university-level teaching experience and has been awarded three university teaching awards at NU, including the 2021 Master Teacher award.
Before coming to NU, Prof. Tyler was in the U.S. private sector for five years as a research and development software engineer, working for small military contractors. In the role of developer, he created software tools for the modeling, simulation, and verification of complex systems. During this time, he was also the PI and Project Manager for numerous government-sponsored projects.
Education/Academic qualification
Computer and Information Science, Ph.D, Ohio State University
Award Date: Jun 1 2006
Mathematics, B.S., Michigan Technological University
Mathematics, M.S., Ohio State University
External positions
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
Intention Estimation from behavior and emotional expression
Tyler, B. (PI), Yazici, A. (Co-PI), Lukac, M. (Other Faculty/Researcher) & Kameyama, M. (Other Faculty/Researcher)
1/1/23 → 12/31/26
Project: FDCRGP
-
LFC: Intention Estimation: A Live Feeling Approach
Lukac, M. (PI) & Tyler, B. (Co-PI)
1/1/20 → 12/31/22
Project: FDCRGP
-
Analysis of cognitive properties of interactive systems using model checking
Cerone, A. (PI) & Tyler, B. (Co-PI)
1/1/20 → 12/31/22
Project: FDCRGP
-
Cozmo Robot for Computer Science Education
Rizvi, M. (PI), Tyler, B. (Co-PI) & Lukac, M. (Co-PI)
1/1/18 → 7/19/22
Project: FDCRGP
-
Next-generation BCI spellers: a comparative study of ERP responses and fatigue in mixed, virtual, and desktop realities
Arif, S. M. U., Shomanov, A., Tyler, B. & Yazici, A., Mar 2026, In: Virtual Reality. 30, 1, 29.Research output: Contribution to journal › Article › peer-review
Open Access1 Link opens in a new tab Citation (Scopus) -
State-of-the-art Multimodal Emotion Recognition: A comprehensive survey and taxonomy
Yazici, A., Kucukyilmaz, T., Dokeroglu, T., Sharipbay, A., Lee, M. H. & Tyler, B., May 2026, In: Intelligent Systems with Applications. 30, 200642.Research output: Contribution to journal › Review article › peer-review
Open Access -
Enhancing healthcare data privacy and interoperability with federated learning
Akhmetov, A., Latif, Z., Tyler, B. & Yazici, A., 2025, In: PeerJ Computer Science. 11, p. 1-32 32 p.Research output: Contribution to journal › Article › peer-review
Open Access13 Link opens in a new tab Citations (Scopus) -
Synthetic Data-Based Algorithm Selection for Medical Image Classification Under Limited Data Availability
Zhabinets, M., Tyler, B., Lukac, M., Nagayama, S., Molnár, F. & Kameyama, M., Jun 2025, In: Algorithms. 18, 6, 310.Research output: Contribution to journal › Article › peer-review
Open Access1 Link opens in a new tab Citation (Scopus) -
Formal Methods Adoption in Industry: An Experience Report
Tyler, B., 2023, Formal Methods for an Informal World - ICTAC 2021 Summer School, Virtual Event, Tutorial Lectures. Cerone, A. (ed.). Springer Science and Business Media Deutschland GmbH, p. 152-161 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13490 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Link opens in a new tab Citation (Scopus)