DAVIDDEHARBE.GITHUB.IO

Software engineer and formal methods expert. CLEARSY Safety Solutions Designer, Aix-en-Provence, France. 1999-2015. Tenured professor. Department of Informatics and Applied Mathematics, Federal University of Rio Grande do Norte. Natal, Brazil. 2013-2014. Sabbatical. Lorraine Research Laboratory in Computer Science and its Applications (LORIA) - VeriDis (Verification of Distributed Systems) Group. Nancy, France. 2002-2003. Sabbatical. Lorraine Research Laboratory in Computer Science and its Applications (LORIA) - Cassis (Combining Approaches for the Security of Infinite state of Systems) Group. Nancy, France. 1995-1997. Visiting researcher. School of Computer Science, Carnegie Mellon University. Pittsburgh, USA. 1992-1996. PhD candidate. Techniques of Informatics and Microelectronics for integrated systems Architecture (TIMA) Lab. University of Grenoble. Grenoble, France.

Primary location: Aix-en-provence France