Cláudio Lourenço
LRI, Université Paris-Saclay & Inria Saclay
Postdoc Researcher
Former employee at the High-Assurance Software Laboratory (HASLab)
2014-2018