Elias Castegren
Associate senior lecturer/Assistant Professor at Department of Information Technology, Division of Computing Science
- Email:
- elias.castegren[AT-sign]it.uu.se
- Telephone:
-
+4618-471 5403
- Visiting address:
- Room
POL 105139 hus 10, Lägerhyddsvägen 1
- Postal address:
- Box 337
751 05 UPPSALA
Short presentation
I am an associate senior lecturer at the Computing Science Division. My research concerns programming languages, parallel programming and mechanized theorem proving. More recent information is available on my personal webpage.
Keywords: programming languages parallel programming theorem proving
Please contact the directory administrator for the organization (department or similar) to correct possible errors in the information.