Hoppa till huvudinnehållet
Institutionen för informationsteknologi

Elias Castegren

Biträdande universitetslektor vid Institutionen för informationsteknologi, Datalogi

E-post:
elias.castegren[AT-tecken]it.uu.se
Besöksadress:
Rum POL 1319 ITC, Lägerhyddsvägen 2, hus 1
752 37 UPPSALA
Postadress:
Box 337
751 05 UPPSALA

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: programming languages parallel programming theorem proving

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

Elias Castegren
Senast uppdaterad: 2021-03-09
Uppdaterad  2017-06-21 09:29:48 av Elias Castegren.