Oliver Bračevac

Oliver Bračevac is a researcher affiliated with Purdue University in the United States and EPFL (École Polytechnique Fédérale de Lausanne) in Switzerland, where he is part of the LAMP (Programming Methods Laboratory) group. His work focuses on advanced type systems and functional language compilation, particularly in the context of Scala 3.

His research interests include functional language compilers, dependent types, effect systems, capture types, co-effects, separation logic, and ownership. He has made significant contributions to the development of reachability types and their integration into practical programming languages.

He has published extensively in top-tier conferences such as ECOOP, POPL, OOPSLA, ICFP, and SPLASH, focusing on type safety, compiler optimizations, and formal verification. His recent work includes modeling reachability types with logical relations and developing ergonomic capture tracking systems for generic data structures in Scala 3.

Oliver serves on numerous program committees and artifact evaluation committees, including roles at OOPSLA 2025, POPL 2025, SPLASH 2024, and ECOOP 2022. He is actively involved in organizing workshops such as The Scala Workshop 2025.

He maintains a personal website at https://bracevac.org and is active on GitHub under the username bracevac.