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 ITC 1139 ITC, Lägerhyddsvägen 2, hus 1
752 37 UPPSALA
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

Mina kurser

Publikationer

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