Leading French Computer Scientist Advances Formal Verification Methods
Dr. Étienne Renault serves as a Researcher and Professor at EPITA (École Pour l'Informatique et les Techniques Avancées), where he specializes in formal verification of concurrent systems. After completing his Master's degree in Distributed Systems and Applications at Université Pierre & Marie Curie (UPMC), followed by a Ph.D., he has established himself as a key contributor to the SPOT library for formal verification. His research focuses on model checking and formal methods for ensuring software reliability. Since 2011, he has also been actively involved in teaching mobile development, particularly iOS and Android programming, combining theoretical computer science with practical application development. Through his work at the LRDE (Research and Development Laboratory of EPITA), he continues to advance the field of formal verification while training the next generation of computer scientists