Scholar
Mario Gleirscher
Google Scholar ID: YrF0yhwAAAAJ
ENSTA | IP Paris
Citations & Impact
Citations
795
H-index
17
i10-index
21
Publications
20
Co-authors
0
Contact
Publications
Resume (English only)
Academic Achievements
- Awarded a DFG Research Fellowship for research on risk handling in autonomous machines
- Best paper award at Software Quality Days for a study on static analysers in SME practice
- Presented journal-first work on controller synthesis at FM'23
- Multiple papers accepted at top venues including CDC'24, FMAS'24, AISoLA'24
- Organized academic events such as FMAS@iFM'24/23, αFM@FM'21, SEFM'21
- Guest editor for SCP Special Issue on Advances in Formal Methods for Autonomous Systems
- Founded and hosted the InFM talk series on behalf of FM Europe
Research Experience
- AAIP Fellow at the University of York (UoY), working on controller synthesis for collaborative robots
- Postdoc & lecturer in the real-time and distributed systems lab at University of Bremen (UB)
- Visiting lecturer at the University of Bremen
- Worked several years in aeronautics and software industry as a method engineer and developer (full-time and freelance)
- Developer of YAP, a risk-informed controller synthesis technique
Miscellany
- Passion for math, logic, and philosophy
- Outdoor enthusiast (e.g., hiking, cycling, windsurfing)
- Music tastes: minimal, downtempo, modern jazz, progressive rock
- Appreciates (not too) modern art
- Would enjoy a ride in a Pinzgauer or Tatra 813
- Former skiing instructor; also enjoyed MTB and table tennis
- Open-source developer during undergraduate studies
Co-authors