"Replicants are like any other machine.
They are either a benefit or a hazard.
If they are a benefit, it's not my problem."
Harrison Ford in
Dr. Mario Gleirscher
Research Associate in Robotic Software Engineering
Department of Computer Science
University of York
Research Interests & Recent Results
Research Tools & Materials
Contact & Directions
Deramore Lane, Heslington
York YO10 5GH, UK
T +44 (0)1904 325442
Profile in Brief
- Passionate about logic, algebra, modelling, philosophy, and writing
- International experience in software engineering research and teaching
- Worked full-time in aeronautics and software industry
- Experience in research & technology transfer
- Fan of outdoor activities, travelling, and healthy cooking
- I like modern jazz (e.g. Jan Jelinek, Snarky Puppy) and (not too) modern art (e.g. Albin Egger-Lienz)
- Formerly skiing instructor, amateur in mountain biking and table tennis
Funding, Awards, & Affiliations
Current research in collaboration with Prof. Radu Calinescu on
verified controller synthesis for collaborative robots, funded
Autonomy International Programme.
Developer of YAP,
a domain-specific analyser and synthesiser.
For my research on risk handling in autonomous
machines advised by Prof. Jim Woodcock and Prof. Ana Cavalcanti,
I was awarded a DFG Research Fellowship at the University of York ('17-'19).
Our study of static
analysis tools in practice got a best paper award at the 4th Software Quality Days 2012 in Vienna.
Previously, postdoctoral researcher in software and systems engineering at the
Technical University of Munich (TUM), advised by
Prof. em. Manfred Broy ('15-'17)
MSc and PhD degrees from TUM.
Academic Leadership and Citizenship
Reviewer for international journals
and conferences (e.g.
I am supporting the
of career perspectives and working conditions for young researchers, and co-chaired
the 1st WS on "Karriereplanung für Nachwuchswissenschaftler*innen."
occasionally active on
Advising and Mentoring
Co-advised 17 M.Sc., B.Sc., diploma theses, term papers, and internships in the safety-critical systems area and 5 diploma theses in the general software and systems engineering area.
Feel free to drop me a line for open topics!
- PhD: Shared Control in Autonomous Driving,
candidate: A. McDonagh, co-supervised with R. Calinescu at UoY
Teaching (currently paused)
Summer'17: Seminar on software quality, focus on formal methods / tutor
Winter'17: Seminar on safety assurance of control
systems, in English / organiser and tutor
Summer'16: Practical course on safety analysis techniques, in
English / organiser and tutor
Summer'13 & '14: Course on modelling concurrent
systems / tutor
Winter'12: Seminar on safety-critical software development /
Winter'12: Course on foundations of program and system development / tutor
Summer'09--'12: Course on requirements engineering / tutor
Oldschool Stuff & Miscellanea
last change: Nov 2020