Write a Blog >>
FormaliSE 2021
Tue 18 - Fri 21 May 2021
co-located with ICSE 2021
Thomas Thüm

Registered user since Thu 12 Mar 2015

Name: Thomas Thüm

Bio: Professor for Construction and Analysis of Secure Software at the University of Ulm

Country: Germany

Affiliation: University of Ulm

Personal website: https://www.uni-ulm.de/in/sp/team/thuem/

Twitter: https://twitter.com/ThomasThuem

GitHub: https://github.com/tthuem

Contributions

FormaliSE 2021 GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers
ICSE 2021 Bridging the Gap Between Clone-and-Own and Software Product Lines
Show activities from other conferences

Using general profile