Registered user since Sun 3 Jul 2016
Markus Püschel is a Professor and former Department Head of Computer Science at ETH Zurich, Switzerland. Before, he was a Professor of Electrical and Computer Engineering at Carnegie Mellon University, where he still has an adjunct status. He received his Diploma (M.Sc.) in Mathematics and his Doctorate (Ph.D.) in Computer Science, in 1995 and 1998, respectively, both from the University of Karlsruhe, Germany.
|POPL 2018|| A Practical Construction for Decomposing Numerical Abstract Domains|
A Practical Construction for Decomposing Numerical Abstract Domains
|Show activities from other conferences|
View general profile