Markus Püschel

Registered user since Sun 3 Jul 2016

Name:Markus Püschel
Bio:

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.

Affiliation:ETH Zurich, Switzerland
Research interests:Program generation, software performance, program analysis, signal processing, hardware design, theory

Contributions

POPL 2022 PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations
Show activities from other conferences

Using general profile