| Home |
Publications [hal] [dblp] [scholar] |
Tools |
Research Projects |
Curriculum Vitae |
2001-now: Research Engineer at CNRS/VERIMAG, Grenoble, France
2009-2010: HDR, Habilitation a Diriger des Recherches, Joseph Fourier University of Grenoble, France
2000-2000: Research Engineer at UNIVAL, Grenoble, France
1999-2000: Assistant Lecturer (ATER) at Joseph Fourier University of Grenoble, France
1996-1999: PhD thesis in Computer Science at Joseph Fourier University of Grenoble, France PhD work carried out at the Verimag laboratory, entitled Symbolic Verification of Communication Protocols
1995-1996: Master thesis at Joseph Fourier University of Grenoble, France Master thesis project carried out at the Verimag laboratory, entitled Symbolic Verification of Parallel Programs using Multivalued Decision Diagrams
1990-1995: Graduate student of Babes-Bolyai University of Cluj-Napoca, Romania, Faculty of Mathematics and Computer Science, option Computer Science Graduate project carried out at the Verimag laboratory, entitled On-the fly verification of temporal specifications expressed in $\mu$-calculus
PC Member of ESA MBSE 2022
PC Member of TASE 2022, Cluj-Napoca, Romania
PC Member of ESA MBSE 2021
PC Member of COORDINATION 2020, Valletta, Malta
PC Member of ECRTS 2019, Stuttgart, Germany
PC Member of METRID 2019, Prague, Czech Republic
PC Member of SAC-SVT 2019, Limassol, Chyprus
PC Member of RTNS 2018, Poitiers, France
PC Member of METRID 2018, Thessaloniki, Greece
PC Member of SAC 2018, Pau, France
PC Member of SVT 2017, Marrakech, Morocco
PC Member of ESSS 2015, Oslo, Norway
PC Member of FORMATS 2015, Madrid, Spain
PC Member of CAV 2015, San Francisco, USA
PC Member of RP 2014, Oxford, UK
PC Chair (with Axel Legay) of FORMATS 2014, Florence, Italy
Organization Committee of ETAPS 2014, Grenoble, France
PC Member of FORMATS 2012, Warwick, UK
PC Member of FORMATS 2011, Aalborg, Denmark
PC Member of SDL-FORUM 2011, Toulouse, France
PC Member of TASE 2010, Taipei, Taiwan
PC Member of ACSD 2009, Augsburg, Germany
PC Member of CORCS 2009, Seattle, Washington
PC Member of ACSD 2008, Xian, China
PC Member of CORCS 2008, Turku, Finland
PC Member of ACSD 2007, Bratislava, Slovakia
PC Member of ACSD 2006, Turku, Finland
PC Member of FORMATS 2006, Paris, France
Organization Committee of ETAPS 2002, Grenoble, France
Last updated 21-11-2024