Yihai Chen

Yihai Chen is an Adjunct Associate Professor in the Department of Computing and Software at McMaster University. His work bridges formal methods in software engineering with healthcare technology applications.

• Medical device software certification
• Statistical web testing frameworks
• Generative AI for image synthesis
• Formal specification languages (Object-Z, XML, UML)

His research spans medical device safety, web application reliability, and educational technology implementation. Recent work (2019) explores LSTM-based workload prediction in cloud environments alongside GAN-driven food dish generation.

Key publication trends include:

• Formal methods in software engineering (2001-2022)
• Medical software certification (2014)
• Web testing frameworks (2013-2022)
• Model transformation techniques (2008)

While no explicit awards are listed in available data, his 15 most recent publications demonstrate sustained contributions to software reliability, health informatics, and formal verification challenges.