Sebastian Ullrich
Publications
Talks
CV

Sebastian Ullrich

Sebastian Ullrich

he/him

Co-Founder, Head of Engineering

Lean FRO
Munich, Germany
Email
ORCID
Github
LinkedIn
Mastodon

A Metaprogramming Framework for Formal Verification

Date: September 06, 2017

Conference talk on our ICFP paper.

Follow:
GitHub
Feed

© 2024 Sebastian Ullrich. Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.