Markus H. is currently a Research Software Engineer and Tech Lead at Lean FRO, where they lead standard library development for Lean, a programming language and formal verification tool. Previously, Markus worked as an Algorithm Engineer at CAS Software AG from 2021 to 2024, designing and implementing constraint optimization algorithms. They hold a Bachelor of Science in Computer Science and Mathematics from the Karlsruhe Institute of Technology, and a Master of Advanced Study in Pure Mathematics from the University of Cambridge. Markus has a strong background in algorithm engineering, API design, software architecture, and long-term software maintenance.
This person is not in the org chart
This person is not in any teams
This person is not in any offices