Write a Blog >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais/Lisbon, Portugal
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
Show activities from other conferences

Using general profile