Tjark Weber

Registered user since Fri 29 Jun 2018

Name: Tjark Weber

Country: Sweden

Affiliation: Uppsala University

Personal website: http://user.it.uu.se/~tjawe125/

Research interests: Automated and Interactive Theorem Proving, Formal Verification, Programming Languages, Digital Security, Computational Logic

Contributions

CPP 2019Committee Member in Program Committee within the CPP 2019-track