Marius Bozga

CNRS Research Engineer (IR1)

VERIMAG
Rigorous System Design (RSD) Team

Bâtiment IMAG
Université Grenoble Alpes
700, Avenue Centrale
38401 Saint Martin d’Hères

tel: +33 (0)4 57 42 22 07
fax: +33 (0)4 57 42 22 22

e-mail: Marius [dot] Bozga [at] univ-grenoble-alpes [dot] fr

photo

Home Publications
[hal] [dblp] [scholar]
Tools Research
Projects
Curriculum
Vitae
Others

Current Position:

2001-now: Research Engineer at VERIMAG / CNRS, France

Background:

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 under the direction of Mr. Jean-Claude Fernandez, 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

Committees:

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 23-09-2017