Thomas Lemberger

I'm a researcher/developer in the field of software analysis and formal verification, but I'm also into data visualization and usability. For selfish reasons I am interested in hybrid work settings.

Munich Joined on Jun 4, 2019 https://thomaslemberger.com

Education

LMU Munich

Pronouns

he/him

Work

Research Assistant at LMU Munich

I'm a specialist in Java and Python, and I am confident with Java microservices and software architecture.

Buliding a web service for formal verification of C programs

Please immediately ping me if you are seriously interested in the real-world application of automated, formal software verification! I'm always interested in potential collaborations.

2 posts published

0 comments written

14 tags followed