Experience | Teaching | Service | Misc	"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
Mario Gleirscher Postdoc in Correct-by-Construction Controllers for Cyber-physical Systems Mathematics & Computer Science University of Bremen Research Supervisory control [GFN19] [FGC20] [GCW21] [GPP22] Controller synthesis [GC20] [G20] [GP21] [GC+22] [GPP22] Applicable formal methods [GFW19] [GM20] [GSP23] [GPW23] System assurance [G14] [GK16] [GC17] [GK19] [GHP23] Publications Tools & Materials YAP Against Perils FM User Questionnaire [Results]	Contact & Directions Mario Gleirscher ▪ Universität Bremen Bibliothekstraße 5 ▪ 28359 Bremen ▪ DE ▪ +49(0)421 218 63965 ▪ MZH 5460 Consultation hours (SoSe 23): Wed 16:00-17:00 Appointments via email!
	Profile Passionate about logic, algebra, philosophy, and writing International experience in research, teaching, and technology transfer Worked full-time in aeronautics and software industry Fan of outdoor sports, travelling, and healthy cooking Enjoy glitch/minimal (e.g. Jan Jelinek, Mouse on Mars), modern jazz (e.g. Snarky Puppy), progressive rock (e.g. Alan Parson's Project), and (not too) modern art (e.g. Escher, Egger-Lienz) Formerly skiing instructor, MTB and table tennis amateur
Previous Experience, Achievements, & Education At the University of Bremen, I work in the distributed systems lab led by Jan Peleska. ▪ I am the developer of YAP, a risk-informed controller synthesis technique. ▪ I gave a talk in the journal-first track of FM'23 about our work on controller synthesis. ▪ I am granted an AAIP Fellowship ('21-'23) supporting my collaboration with the University of York (UoY). ▪ At UoY, I worked with Radu Calinescu on verified controller synthesis for collaborative robots, supported by the Lloyd's Register Foundation and the Assuring Autonomy International Programme. ▪ For my research on risk handling in autonomous machines, advised by Jim Woodcock and Ana Cavalcanti, I was awarded a DFG Research Fellowship at the University of York ('17-'19). ▪ I started my research on this topic at the Technical University of Munich (TUM), advised by Manfred Broy ('15-'17). ▪ I received my PhD and MSc degrees from TUM. ▪ Our study of static analysis tools in practice, published during my PhD, got a best paper award at the 4th Software Quality Days 2012 in Vienna.
Teaching & Mentoring Lecturing & Module Delivery: Winter'23: Sustainable Development (GC, part of a lecture series) Winter'23: Hybrid Systems: Verification & Synthesis (GC) Summer'23: Assurance of Intelligent Cyber-physical Systems (GS) Winter'22: Verification of Hybrid Systems (GC) Summer'22: Verification of Hybrid Systems (GC) Winter'17: Safety Assurance of Control Systems (GS), in English Summer'16: Safety Analysis Techniques (GP), in English Tutoring: Summer'23: Introduction to Mathematics 2 (UC) Winter'22: Systems of High Integrity and Quality (GC) Summer'22: Introduction to Mathematics 2 (UC) Winter'21: Introduction to Mathematics 1 (UC) Winter'21: Systems of High Integrity and Quality (GC) Summer'17: Software Quality (GS, focus on formal methods) Summer'13 & '14: Modelling Concurrent Systems (GC) Winter'12: Safety-critical Software Development (GS) Winter'12: Foundations of Program and System Development (GC) Summer'09--'12: Requirements Engineering (GC) You can find more details about my courses and tutorials on StudIP. (U = undergraduate, G = graduate, C = course, S = seminar, P = practical) Advising & Mentoring: Open projects: Drop me an email! Current projects: P. Hönnecke: Verified Hybrid Control of Transport Multi-Systems Past projects: PhD: Shared Control in Autonomous Driving, cand.: A. McDonagh, co-supervised with R. Calinescu, UoY 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 engineering area.
Academic Leadership & Citizenship Upcoming events I'm involved: PC member for SEFM'23: 21st Conference on Software Engineering and Formal Methods PC member for FMAS@iFM'23: 5th iFM Workshop on Formal Methods for Autonomous Systems Co-chair for GI FoMSESS Annual Meeting 2023 Co-chair for 1st GI FoMSESS Workshop on Formalisation in Law Past events I helped to organise: αFM@FM'21: Applicable Formal Methods [Assessment] [Manifesto] SEFM'21: Software Engineering and Formal Methods Dagstuhl Seminar 19432: Autonomous Collectives in Complex Environments [Report] EFM@FM'19 (cancelled) CyPhyAssure Spring School'19 on Computer-assisted Autonomy Assurance [CfPart] SCAV@CPSWeek'18 [CfP][Report] SCAV@CPSWeek'17 [Report] SAFADAPT@SAFECOMP'16 (cancelled) Past PC involvement: AISafety@ICJAI'23, SafeAI@AAAI'23, RSSRail'23, FMAS'22, SEFM'22, SafeAI@AAAI'22, RSSRail'22, SEFM'21, FMAS'21, SNR@QONFEST'21, WAISE@SAFECOMP'21, SafeAI@AAAI'21, WAISE@SAFECOMP'20, SafeAI@AAAI'20, WAISE@SAFECOMP'19, SafeAI@AAAI'19, WAISE@SAFECOMP'18, SoftIoT@ECSA'17 (merged with CASA'17) Reviewed for journals (CompJ, Computing, CSUR, FAoC, JSS, PDISAS, ROBOTS, SoCP, SoSyM, STTT, STVR, TMECH) and conferences (FM, HSCC, ICECCS, MODELS, SAC, SAFECOMP, SEFM, SPLC); see ('peer review' section) or . Further community services: Supporting the improvement of career perspectives and working conditions for early-career researchers (ECRs) by running a survey of ECRs and co-chairing the workshop series Kar4WiN at INFORMATIK'22, INFORMATIK'21, and INFORMATIK'20. Member of , formerly also , DHV, and , and occasionally active on and .
Miscellanea My satiric micro-blog (formerly used professionally, now hopefully entertaining dark humor ;) PHP7-compliant beta of applanix Fed up with crowded, overpaid resorts? This there might be a good option.
last change: May 2021 -