Name:Neeraj Singh

Bio:

Neeraj Kumar Singh (HDR) is an Associate Professor of Computer Science at INPT-ENSEEIHT and an ACADIE team member at Toulouse Research Institute of Informatics (IRIT). Prior to joining INPT, he was a research fellow at the Centre for Software Certification (McSCert), McMaster University, Canada, and the Department of Computer Science at University of York, UK. In 2011, he received his PhD from the University of Lorraine, France. He leads research on advancing formal methods to address heterogeneous semantics and develop comprehensive approaches for modelling, designing, implementing, and certifying safety-critical cyber-physical systems. He has authored/edited six books and has published extensively in well-known conferences and journals. He has been involved in many scientific activities, and his research has been supported by the ANR and industry partners.

Country:France

Affiliation:INPT-ENSEEIHT / IRIT, University of Toulouse, France

Research interests:Formal Modelling, Refinement and Proofs, Invited Semantics, Software and System Certification, Domain Knowledge Engineering, Code Generation, Cyber-Physical Systems, HMI