Verification Websites

Markus Himmel is a software developer with a background in mathematics. He is interested in formal verification, algorithm engineering, ILP solving, and topology. He works as a Research Software Engineer/Tech Lead at the Lean FRO. In his free time, he is a mathlib maintainer. He can be reached by sending him a message on Zulip or sending an e-mail to his first name at his employer’s website.