Mattias Ulbrich -

Registered user since Fri 22 May 2015

Name:Mattias Ulbrich

Country:Germany

Affiliation:KIT

Personal website:http://formal.iti.kit.edu/~ulbrich/

Research interests:Program Verification, Relational Verification

Contributions

FTfJP 2021	Author of Reconstructing Z3 Proofs in KeY: There and Back Again within the FTfJP-track Committee Member in Program Committee within the FTfJP-track
SPLASH 2021	Author of Scalability and Precision by Combining Expressive Type Systems and Deductive Verification within the Posters-track Author of Scalability and Precision by Combining Expressive Type Systems and Deductive Verification within the OOPSLA-track
FTfJP 2020	Programme Committee in Program Committee within the FTfJP-track
FormaliSE 2020	Author of Relational Test Tables: A Practical Specification Language for Evolution and Security within the FormaliSE 2020-track
VORTEX 2019	Committee Member in Program Committee within the VORTEX 2019-track
PERR 2019	Author of Automatic Equivalence Proofs for Programs with Algebraic Data Types within the PERR-track Co-chair in Program Committee within the PERR-track Co-chair in Organizing Committee within the PERR-track
HCVS 2019	Session Chair of II (part of HCVS)
FTfJP 2015	Author of Regression Verification for Java Using a Secure Information Flow Calculus within the FTfJP-track