Philipp Ruemmer - POPL 2018

Registered user since Thu 20 Aug 2015

Name:Philipp Ruemmer

Country:Sweden

Affiliation:Uppsala University

Research interests:Program verification, theorem proving, SMT solving

Contributions

VMCAI 2018	Committee Member in Program Committee within the VMCAI 2018-track
POPL 2018	String Constraints with Concatenation and Transducers Solved Efficiently String Constraints with Concatenation and Transducers Solved Efficiently
Show activities from other conferences