Professor i datalogi vid Institutionen för informationsteknologi, Datalogi
- 018-471 1072
- Rum POL 105140 hus 10, Lägerhyddsvägen 1
- Box 337
751 05 UPPSALA
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
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.
Kontakta katalogansvarig vid den aktuella organisationen (institution eller motsv.) för att rätta ev. felaktigheter.