Stefan Heule

Computer Science Department
Gates 448
353 Serra Mall
Stanford University
Stanford CA 94305

sheule@cs.stanford.edu

I am a PhD candidate in my second year in the Computer Science Department at Stanford University. Alex Aiken is my advisor.

Research Interests

Broadly speaking, my interests include software verification, programming languages and their design, type systems, static analysis, and formal methods in general. More specifically, I want to find ways to build correct software, where tools provide guarantees about the desired behavior of a system. With computer systems becoming more and more widely used, specifically also in situations where their malfunction can have severe consequences, there is an increasing demand for software with very high reliability. I am interested in finding ways to statically reason about various correctness criteria as well as building automated tools that employ these techniques.

Publications

Also see my Google Scholar page, or my dlbp entry.

Refereed Conference and Workshop Publications

Unrefereed Publications

  • Security and the Average Programmer

    by Daniel Griffin, Stefan Heule, Amit Levy, David Mazières, John C. Mitchell, Alejandro Russo, Amy Shen, Deian Stefan, David Terei, and Edward Z. Yang.

    In Principles of Security and Trust (POST), 2014. Invited Contribution.

    [ PDF ] [ BibTeX ]

Teaching

  • Teaching assistant in the course Formal Methods and Functional Programming (2013), taught by Dr. Alexander J. Summers and Prof. Dr. David Basin at ETH Zurich.

  • Teaching assistant in the course Formal Methods and Functional Programming (2011), taught by Prof. Dr. Peter Müller and Prof. Dr. David Basin at ETH Zurich.

  • Teaching assistant in the course Data Structures and Algorithms (2010), taught by Prof. Dr. P. Widmayer at ETH Zurich.