Name:Elias Castegren

Bio:

I am a PhD student working with capability type systems for concurrent and parallel object oriented programming. My advisor is Tobias Wrigstad

Country:Sweden

Affiliation:Uppsala University

Research interests:Type systems, Capabilities, Programming Language Design and Implementation, Functional and Object-Oriented Programming, Mechanized Proofs