Tjark Weber

Universitetslektor vid Institutionen för informationsteknologi, Datalogi

E-post:
tjark.weber[AT-tecken]it.uu.se
Telefon:
018-471 1099
Besöksadress:
Rum POL 105144 hus 10, Lägerhyddsvägen 1
Postadress:
Box 337
751 05 UPPSALA

Kort presentation

I am a member of the Concurrency research group at the Department of Information Technology, Uppsala University. My research interests include automated and interactive theorem proving, formal verification, programming languages, digital security and computational logic.

Please see http://user.it.uu.se/~tjawe125/ for further details.

Nyckelord: programming languages theorem proving formal verification digital security computational logic

Kontakta katalogansvarig vid den aktuella organisationen (institution eller motsv.) för att rätta ev. felaktigheter.

Tjark Weber
Senast uppdaterad: 2021-03-09