Numair Mansur · Personal Page
Publications Software Archived events Short introduction I am a computer scientist interested in analysis, formal verification, and synthesis of cyber-physical and software systems, and in safe artificial intelligence. I work in the research group on Distributed, Embedded and Intelligent Systems (DEIS) at the Department of Computer Science at Aalborg University (AAU) in Denmark. I am also a member of the DIREC bridge project on Verifiable and Safe AI for Autonomous Systems . I received my Ph.D. degree under
christianms @ cs.aau.dk
Publications Software Archived events Short introduction I am a computer scientist interested in analysis, formal verification, and synthesis of cyber-physical and software systems, in safe artificial intelligence, and in symbolic analysis of quantum circuits. I work in the research group on Distributed, Embedded and Intelligent Systems (DEIS) at the Department of Computer Science at Aalborg University (AAU) in Denmark. I am the principal investigator of the project Cosyne: Safe Control Systems with Neural
Numair Mansur · Personal Page