Копия Benjamin Tyler_Department Chair, Associate Professor CS

Benjamin Tyler, PhD

Department: Computer Science
Position: Associate Department Chair, Associate Professor
Degree: PhD in Computer and Information Science, Ohio State University, USA
Office: 7e.423
Email: btyler@nu.edu.kz
Phone: +7 (7172) 706538
Website: https://cs-sst.github.io/faculty/tyler



Ph.D., Computer and Information Science, June 2006

Ohio State University, Columbus, Ohio, U.S.A.


Dissertation: Specification and Runtime Monitoring of Object-Oriented Systems


M.S., Computer and Information Science, March 2000

Ohio State University, Columbus, Ohio, U.S.A.


M.S., Mathematics, December 1998

Ohio State University, Columbus, Ohio, U.S.A.

Thesis: Exogenous Logics of Programs


B.S., Mathematics, summa cum laude, May 1995

Michigan Technological University, Houghton, Michigan, U.S.A.

Before coming to NU, I worked in the private sector for five years, and have been the principal investigator on several projects. Some results of these projects include the development of:

  • Specification-based techniques for runtime protection of integrated circuits against failure or attack
  • Models and algorithms for forecasting behaviors of different social and cultural groups within the context of varied scenarios
  • Specification and implementation of a generic System Level Design Language (www.rosetta-lang.org),
  • AI-based algorithms for real-time resource allocation for large-scale defense systems which are robust in the face of uncertain or incomplete data


My current research interests include the use of formal methods and artificial intelligence techniques for system validation and protection. The use of such hybrid approaches may allow us to overcome complexity and heterogeneity issues that are common in real-world systems, but render standard verification approaches infeasible. I also have a continued interest in the application of AI-based algorithms for real-time resource allocation to accomplish given tasks, such as the scheduling and tasking of autonomous agents.  Very recently, I have been investigating the use of instructional technologies and methodologies such as the “flipped classroom” approach in Computer Science education.