Institutionen för informationsteknologi

Tobias Wrigstad

Professor i datalogi vid Institutionen för informationsteknologi, Datalogi

E-post:
tobias.wrigstad[AT-tecken]it.uu.se
Telefon:
018-471 1072
Mobiltelefon:
073-6971419
Besöksadress:
Rum POL ITC 1354 ITC, Lägerhyddsvägen 2, hus 1
752 37 UPPSALA
Postadress:
Box 337
751 05 UPPSALA

Kort presentation

För mer information om allt nytt och spännande som händer i mitt arbetsliv, se wrigstad.com.

Nyckelord: programming languages parallel programming software engineering concurrent programs

Mina kurser

Forskning

My research started in type systems for ownership and encapsulation, then moved away from types to dynamic programming languages (aka scripting languages), then combined these with types in gradual typing. I started working on actor languages, and then application of several of the results from my earlier type systems and ownership work to concurrency and parallelism in the form of capabilities, which were simpler yet more versatile. The quest for performance led me to garbage collection, memory management, and arrays.

My current research focuses on managed programming languages and their safe and efficient execution, through improved memory management techniques. There are several synergies with past work on capabilities as well as gradual typing which I mean to explore in the near future.

In addition to this, I have been studying scientific computing software from a software engineering perspective, which has led to large-scale analysis of code repositories of data science programs written predominantly in untyped languages, to find errors and support the development of correct, reusable, reproducable scientific computing.

Publikationer

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