Oliver Bračevac

Programming Languages Research Engineer at Galois, Inc.
  • Claim this Profile
Contact Information
us****@****om
(386) 825-5501
Location
Portland, Oregon, United States, US
Languages
  • German Native or bilingual proficiency
  • English Native or bilingual proficiency
  • Croatian Native or bilingual proficiency

Topline Score

Topline score feature will be out soon.

Bio

Generated by
Topline AI

You need to have a working account to view this content.
Join now
You need to have a working account to view this content.
Join now

Credentials

  • Machine Learning by Stanford University on Coursera
    Coursera Course Certificates
    Mar, 2016
    - Nov, 2024
  • Functional Programming Principles in Scala by EPFL on Coursera
    Coursera Course Certificates
    Dec, 2014
    - Nov, 2024
  • Principles of Reactive Programming by EPFL on Coursera
    Coursera Course Certificates
    Jan, 2014
    - Nov, 2024

Experience

  • Galois, Inc.
    • United States
    • Software Development
    • 1 - 100 Employee
    • Programming Languages Research Engineer
      • Jul 2023 - Present

  • Purdue University
    • United States
    • Higher Education
    • 700 & Above Employee
    • Postdoctoral Researcher
      • Jan 2020 - Jun 2023

      Interested in functional programming, compilers, metaprogramming/partial evaluation, type theory, verification, reactive and incremental computation. My research/teaching activities include: * Reachability types: A new take on ownership type systems that is tailored to higher-order functional programs and considerably more flexible and expressive than Rust's approach. * Researching novel intermediate representations (IRs) for higher-order functional programs with effects as part of the Scala Lightweight Modular Staging (LMS) compiler framework. * Compiler construction for symbolic execution that is easy, grounded, and performant, based on concepts from functional programming and metaprogramming/partial evaluation. * Teaching Compilers: Principles and Practice (CS352), covering end-to-end compiler construction for a non-trivial Scala subset to x86-64 based on a CPS IR in the style of Kennedy. * Second-class values/on-stack data. * Type theory/foundations of Scala/Dependent Object Types (DOT). Show less

  • Technische Universität Darmstadt
    • Germany
    • Higher Education
    • 700 & Above Employee
    • Postdoctoral Researcher
      • Sep 2019 - Dec 2019

      Interested in Functional Programming, Verification, Effects, Reactive and Incremental Computation

    • Research Associate/PhD Candidate
      • Oct 2013 - Sep 2019

      * Research on unifying reactive programming, stream processing, and complex event processing (CEP) using algebraic effects and handlers (part of my PhD thesis)* Research on incremental type checking for OO and functional languages to gain faster compilation times and faster IDE feedback.* Frequent team supervisor for the software engineering project (http://stg-tud.github.io/sep/), where students conduct real-world agile SE projects in companies.

    • Student Research Assistant at the Software Technology Group
      • May 2012 - Sep 2013

      Worked on a Scala compiler plugin for virtual classes, a language-based solution for defining software product lines.

    • Student Research Assistant at the Modeling and Analysis of Information Systems (MAIS) Group
      • Sep 2010 - Aug 2012

      Worked on the mechanization of an information flow security framework in Isabelle/HOL

  • nacamar GmbH
    • Germany
    • IT Services and IT Consulting
    • 1 - 100 Employee
    • System Engineer
      • Mar 2007 - Sep 2007

  • Tiscali Business GmbH/Nacamar
    • Frankfurt Am Main Area, Germany
    • Technical Apprentice/System Engineer
      • Sep 2005 - Jan 2007

Education

  • Technische Universität Darmstadt
    Doktor Ingenieur (Dr.-Ing.)/PhD, Computer Science, Programming Languages, Reactive Programming, Event Processing, Algebraic Effects
    2013 - 2019
  • Technische Universität Darmstadt
    Master of Science - MS, Computer Science
    2010 - 2013
  • Technische Universität Darmstadt
    Bachelor of Science - BS, Computer Science
    2007 - 2010

Community

You need to have a working account to view this content. Click here to join now