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

Stefan Heule

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

Recent News

Research Interests

Broadly speaking, my interests include program synthesis, programming languages and their design, software verification, 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.


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

Refereed Conference Publications

Refereed Workshop Publications

Unrefereed Publications