Skip to main content
Department of Information Technology

Elias Castegren

Associate senior lecturer/Assistant Professor at Department of Information Technology, Division of Computing Science

+4618-471 5403
Visiting address:
Room ÅNG 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.

Elias Castegren
Updated  2016-07-25 12:17:39 by Elias Castegren.