Marius Bozga

CNRS Research Engineer (IR1)

VERIMAG / MOHYTOS

Bâtiment IMAG
Université Grenoble Alpes
150 Place du Torrent
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

Current Position:

2001-now: Research Engineer at CNRS/VERIMAG, Grenoble, 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, 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 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 12-12-2024