Before coming to NU, Dr. Tyler worked in the private sector in the U.S. as a software engineer and researcher. During this time, he was the principal investigator on several projects, some of which included 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
Dr. Tyler’s 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. He has a continued interest in AI-based algorithms for real-time optimal control, as they are applied to a variety of areas such as the collection and allocation of energy resources, and tasking of autonomous agents in fighting wildland fires. Recently, he has been investigating the use of instructional technologies and methodologies such as the “flipped classroom” approach in Computer Science education.
Benjamin Tyler, Aigerim Yessenbayeva, 2019 In : .
Renewable Energy Management Using Action Dependent Heuristic Dynamic Programming
Gulnaz Sterling, Benjamin Tyler, 2019 In : .
Flipping the CS1 and CS2 classrooms in Central Asia
Benjamin Tyler, Madina Abdrakhmanova, 2016 In : . 2016-November
Fuzzy-based approaches to decision making and resource allocation during wildland fires
Nicholas Hanlon, Manish Kumar, Kelly Cohen, Benjamin Tyler, 2011 In : .
Formal verification of layered sensing architectures
Benjamin Tyler, Adam Langdon, Praveen Chawla, 2010 In : . , p 41-44
A comparative study of monitoring tools for pattern-centric behavior
Benjamin Tyler, Jason O. Hallstrom, Neelam Soundarajan, 2006 In : . , p 37-46
Amplifying the benefits of design patterns
Jason O. Hallstrom, Neelam Soundarajan, Benjamin Tyler, 2006 In : . 3922 LNCS , p 214-229
Automated generation of monitors for pattern contracts
Benjamin Tyler, Jason O. Hallstrom, Neelam Soundarajan, 2006 In : . 2 , p 1779-1784
Automatic monitoring of control-flow through inheritance hierarchies
Benjamin Tyler, Neelam Soundarajan, 2006 In : . , p 355-358
Testing polymorphic behavior of framework components
Benjamin Tyler, Neelam Soundarajan, 2005 In : . , p 33-54
Black-box testing of grey-box behavior
Benjamin Tyler, Neelam Soundarajan, 2004 In : Lecture Notes in Computer Science. 2931 , p 1-14
Testing framework components
Benjamin Tyler, Neelam Soundarajan, 2004 In : Lecture Notes in Computer Science. 3054 , p 138-145
Testing polymorphic behavior
Neelam Soundarajan, Benjamin Tyler, 2002 In : Journal of Object Technology. 1 , p 3 , p 173-188
Specification-based incremental testing of object oriented systems
N. Soundarajan, B. Tyler, 2001 In : . , p 35-45