Philipp Schuster
Our research applies old ideas from logic to new problems in programming. Specifically, we believe that term assignments for classical sequent calculus serve as a great intermediate representation that bridges theory and practice.
News
More news can be found on the news page.
All News