Michael Durling

MS, Electrical Engineering (Rensselaer Polytechnic Institute) BS, Electrical Engineering (Rensselaer Polytechnic Institute)

Michael is the Technology Manager for High Assurance Systems at GE Research in Niskayuna, New York. He has been at GE Research since 1999. He has a BSEE and MSEE from Rensselaer Polytechnic Institute.

In his current role, the business goal is to create tools and process that enable more efficient safety critical and autonomous systems development, certification and deployment. The technical approach is centered on formal requirements, architecture, and design modeling, automated test case generation, test automation and optimization, and formal methods to analyze models, and source code.

Over the past several years, his team developed a tool named ASSERT™ (Analysis of Semantic Specifications and Efficient generation of Requirements based Tests). A description of the tool was recently published in the 2017 IEEE Digital Avionics Systems Conference (DASC) in a paper titled “Flight Critical Software and Systems Development Using ASSERT™”. The group has performed research programs with AFRL and NASA, and recently kicked off the DARPA CASE (Cyber Assured Systems Engineering) program.

Michael is the Principal Investigator on GE’s CASE program. Michael has 12 granted patents and 4 publications related to control and automation of critical infrastructure with over 500 citations.

At GE Research we work collaboratively with interdisciplinary teams composed of experts from industry, academia and government to deliver impactful solutions to some of the worlds most difficult technical challenges.

Just for fun
Just for fun

Michael enjoys playing golf and sailing.

  1. Moitra, A., Siu, K., Crapo, A., Chamarthi, H., Durling, M., Li, M., Yu, H., Manolios, P. and Meiners, M., 2018, August. Towards Development of Complete and Conflict-Free Requirements. In 2018 IEEE 26th International Requirements Engineering Conference (RE) (pp. 286-296). IEEE.
  2. Siu, K., Moitra, A., Durling, M., Crapo, A., Li, M., Yu, H., Herencia-Zapana, H., Castillo-Effen, M., Sen, S., McMillan, C. and Russell, D., 2017, September. Flight critical software and systems development using ASSERT™. In Digital Avionics Systems Conference (DASC), 2017 IEEE/AIAA 36th (pp. 1-10). IEEE.

We're ready to partner with you. 

Contact Us