gleirscher.de - Mario Gleirscher - Academic Profile

home > domains > gleirscher.de

Description: Research in Robotic Software Engineering

engineering (9766) consultancy (4832) system (3715) analysis (2792) requirements (160) systems engineering (144) formal methods (45) hazard analysis (27) safety engineering (13) theoradical computer science (1)

Example domain paragraphs

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

Links to gleirscher.de (2)



© example3.com 2024