Registered user since Wed 23 Nov 2022
Name:Daniel Baier
Bio:
PhD-student of Prof. Dr. Dirk Beyer, at the SoSy-Lab, LMU Munich.
Country:Germany
Affiliation:Ludwig Maximilian University of Munich
Personal website: https://www.sosy-lab.org/
Research interests:Software Verification, Model Checking, Shape Analysis
Contributions
ASE 2023-profile
View general profile
View general profile