BAOUYA ABDELHAKIM

Researcher - FETLAS (ex. RSD)
  • University Grenoble-Alpes, France
  • VERIMAG Lab. Office 218
  • Bâtiment IMAG, 700 Avenue Centrale
  • 38400 Saint-Martin-d’Hères




"When the correctness of a program, its compiler, and the hardware of the computer have all been established with mathematical certainty, it will be possible to place great reliance on the results of the program, and predict their properties with a confidence limited only by the reliability of the electronics", Charles Antony Richard Hoare, 1969

Career Summary

Dr. Baouya is a researcher at Verimag laboratory, University of Grenoble Alpes. He is working on Software Architecture specification (BIP, UML/MARTE, SysML, AADL, Autofocus AF3) and Formal verification.