Write a Blog >>
ICSE 2021
Mon 17 May - Sat 5 June 2021
ICSE 2021 (series) / Thomas Thüm
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

ICSE 2021-profile
View general profile