Name:Oliver Bračevac

Bio:

Scala 3 Compiler Lead @ EPFL LAMP. Programming languages researcher working on type systems, compilers, capabilities, and resource and alias control, with a focus on bringing formal language-design ideas into production systems. My current work includes capture and separation checking in Scala 3 and language-based security mechanisms for controlling the authority of AI agents.

Country:Switzerland

Affiliation:EPFL

Research interests:Capture Types, Compilation of Functional Languages, (Path-)Dependent Types, (Co)Effects, Separation Logic, Ownership