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 ÅNG 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.
Senast uppdaterad: 2021-03-09