Presenter

The Anh Pham is a PhD student in computer science. After a master at the University of Science and Technology of Hanoi, he istarted a PhD in 2017 in Irisa/Inria Rennes entitled "Dynamic Formal Verification of High Performance Runtimes and Applications" under the supervision of Martin Quinson and Thierry Jéron. His main interests are in the application of formal methods, in particular model-checking and partial order reduction techniques for the verification of distributed programs.