Elias Castegren
Biträdande universitetslektor vid Institutionen för informationsteknologi; Datalogi
- Telefon:
- 018-471 54 03
- E-post:
- elias.castegren@it.uu.se
- Besöksadress:
- Hus 10, Lägerhyddsvägen 1
- Postadress:
- Box 337
751 05 UPPSALA
Ladda ned kontaktuppgifter för Elias Castegren vid Institutionen för informationsteknologi; Datalogi
Mer information visas för dig som medarbetare om du loggar in.
Kort presentation
Jag är biträdande universitetslektor på avdelningen för datalogi. Min forskning rör programspråk, parallellprogrammering och mekaniserad bevisföring. Mer aktuell information finns på min personliga hemsida.
Nyckelord
- parallel programming
- programming languages
- theorem proving