Projects per year
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
Dive into the research topics where Ben Tyler is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Intention Estimation from behavior and emotional expression
Tyler, B. & Kameyama, M.
1/1/23 → 12/31/25
Project: FDCRGP
-
Analysis of cognitive properties of interactive systems using model checking
1/1/20 → 12/31/22
Project: FDCRGP
-
LFC: Intention Estimation: A Live Feeling Approach
Lukac, M. & Tyler, B.
1/1/20 → 12/31/22
Project: FDCRGP
-
Cozmo Robot for Computer Science Education
Rizvi, M., Tyler, B. & Lukac, M.
1/1/18 → 7/19/22
Project: FDCRGP
-
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
-
In Silico Simulations and Analysis of Human Phonological Working Memory Maintenance and Learning Mechanisms with Behavior and Reasoning Description Language (BRDL)
Cerone, A., Murzagaliyeva, D., Nabiyeva, N., Tyler, B. & Pluck, G., 2022, Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Revised Selected Papers. Cerone, A., Autili, M., Bucaioni, A., Gomes, C., Graziani, P., Palmieri, M., Temperini, M. & Venture, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 37-52 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13230 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
3 Citations (Scopus) -
A comparison of flipped programming classroom models - Results by gender and major
Tyler, B. J. & Yessenbayeva, A., Mar 4 2019.Research output: Contribution to conference › Paper › peer-review
Open Access3 Citations (Scopus) -
Renewable Energy Management Using Action Dependent Heuristic Dynamic Programming
Sterling, G. & Tyler, B., Feb 28 2019, 2018 IEEE International Smart Cities Conference, ISC2 2018. Institute of Electrical and Electronics Engineers Inc., 8656942. (2018 IEEE International Smart Cities Conference, ISC2 2018).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
4 Citations (Scopus) -
Flipping the CS1 and CS2 classrooms in Central Asia
Tyler, B. & Abdrakhmanova, M., Nov 28 2016, FIE 2016 - Frontiers in Education 2016: The Crossroads of Engineering and Business. Institute of Electrical and Electronics Engineers Inc., 7757739. (Proceedings - Frontiers in Education Conference, FIE; vol. 2016-November).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
10 Citations (Scopus)