Bio : Mohamed Faouzi Atig is a Professor of Computer Systems at Uppsala University Sweden. He earned his Ph.D. in Computer Science from the University of Paris Diderot (Paris 7) in 2010. He has authored more than 100 peer-reviewed publications.  His research focuses on formal verification, model checking, concurrent and infinite-state systems, weak memory models, automata theory, and string solving.