"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
- Risk-aware machine autonomy [GCW21]
- Dependable control [GFN19] [FGC20]
- Applied stochastic reasoning [GC20] [G20]
- Practical formal methods [GFW19] [GM20]
Publications
- YAP Against Perils
- FM-Q(uestionnaire)
[Results]
- arXived 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
.
- PC: SafeAI@AAAI'21 / 3rd Int'l WS on Artificial Intelligence Safety
- PC: WAISE@SAFECOMP'20 / 3rd Int'l WS on Artificial Intelligence Safety Engineering
- PC: SafeAI@AAAI'20 / 2nd Int'l WS on Artificial Intelligence Safety
- Co-Chair: Dagstuhl Seminar 19432: Autonomous Collectives in Complex Environments [Report]
- PC: WAISE@SAFECOMP'19 / 2nd Int'l WS on Artificial Intelligence Safety Engineering
- Co-Chair: EFM@FM'19 / 1st Int'l WS on Empirical Formal Methods [Position] [CfPapers] (cancelled)
- Co-Chair: CyPhyAssure Spring School (Mar'19) on Computer-assisted Autonomy Assurance [CfPart]
- PC: SafeAI@AAAI'19 / 1st Int'l WS on Artificial Intelligence Safety
- PC: WAISE@SAFECOMP'18 / 1st Int'l WS on Artificial Intelligence Safety Engineering
- Chair: SCAV@CPSWeek'18 / 2nd Int'l WS on Safe Control of Autonomous Vehicles [CfP][Report]
- Chair: SCAV@CPSWeek'17 / 1st Int'l WS on Safe Control of Connected and Autonomous Vehicles [Report]
- PC: SoftIoT@ECSA'17 / 1st Int'l WS on Software Engineering for IoT (merged with CASA 2017)
- Chair: SAFADAPT@SAFECOMP'16 / Int'l WS on Assurance of Safety-Critical Systems with Higher-Order Dynamics (cancelled)
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
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
- PHP7-compliant beta of applanix
- Fed up with crowded, overpaid resorts? This there might be a good option.