|
"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
Blade Runner
|
Dr. Mario Gleirscher
Research Associate in Robotic Software Engineering
Department of Computer Science
University of York
Research Interests & Recent Results
Publications
Research Tools & Materials
|
Contact & Directions
Deramore Lane, Heslington
York YO10 5GH, UK
T +44 (0)1904 325442
Office CSE/106
|
|
|
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
by LRF's
Assuring
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
(e.g.
CompJ,
Computing,
CSUR,
FAoC,
JSS,
SoCP,
SoSyM,
STTT,
STVR)
and conferences (e.g.
HSCC,
ICECCS,
MODELS,
SAC,
SAFECOMP,
SPLC); see
.
I am supporting the
improvement
of career perspectives and working conditions for young researchers, and co-chaired
KAR4WIN@INFORMATIK'20,
the 1st WS on "Karriereplanung für Nachwuchswissenschaftler*innen."
Member of
,
, and
, and
occasionally active on
and
.
|
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.
Current projects:
- PhD: Shared Control in Autonomous Driving,
candidate: A. McDonagh, co-supervised with R. Calinescu at UoY
Feel free to drop me a line for open topics!
|
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 /
tutor
-
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
-
|