LPAR 2023: Program Committee

PersonAffiliation
Wolfgang AhrendtChalmers University of Technology
Elvira AlbertUniversidad Complutense de Madrid
Franz BaaderTU Dresden
Matthias BaazTU Wien
Ahmed BhayatUniversity of Leicester
Armin BiereFreiburg
Nikolaj BjørnerMicrosoft
Jasmin BlanchetteLudwig-Maximilians-Universität München
Krishnendu ChatterjeeInstitute of Science and Technology (IST)
Agata CiabattoniTU Wien
Koen ClaessenChalmers University of Technology
Ruy De QueirozUniversidade Federal de Pernambuco
Joaquin DiazboilsUniversitat de València
Bernd FinkbeinerCISPA Helmholtz Center for Information Security
Jürgen GieslRWTH Aachen University
Marijn HeuleCarnegie Mellon University
Nao HirokawaJAIST
Peter HöfnerAustralian National University
Predrag JanicicUniversity of Belgrade
Mikolas JanotaCzech Technical University in Prague
Dejan JovanovićAmazon Web Services
Orna KupfermanHebrew University
Kuldeep S. MeelNational University of Singapore
Aart MiddeldorpUniversity of Innsbruck
Dale MillerINRIA and LIX/Institut Polytechnique de Paris
Georg MoserUniversity of Innsbruck
Jorge A NavasSRI International
Albert OliverasUniversitat Politècnica de Catalunya
Ruzica PiskacYale University
Giles RegerAmazon Web Services
Andrew ReynoldsUniversity of Iowa
Philipp RümmerUniversity of Regensburg
Lakhdar SaisCRIL, Université d'Artois
Stephan SchulzDHBW Stuttgart
Helmut SeidlTechnical University of Munich
Natarajan ShankarSRI International
Martin SudaCzech Technical University in Prague
Josef UrbanCzech Technical University in Prague
Margus VeanesMicrosoft
Andrei VoronkovThe University of Manchester
Christoph WeidenbachMax Planck Institute for Informatics
Bruno Woltzenlogel PaleoDjed Alliance