Get my own profile

### Co-authors

- Chris FermüllerProfessor of Computer Science, Vienna University of TechnologyVerified email at logic.at
- Norbert PreiningAccelia Inc., Research and Development LabVerified email at preining.info
- Gernot SalzerAssociate Professor of Computer Science, Technische Universität WienVerified email at logic.at
- Georg MoserProfessor for Computer Science, University of InnsbruckVerified email at uibk.ac.at
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
- Agata CiabattoniVienna University of TechnologyVerified email at logic.at
- Georg SchiemerUniversity of ViennaVerified email at univie.ac.at
- G. Aldo AntonelliProfessor of Philosophy, UC DavisVerified email at ucdavis.edu
- Alasdair UrquhartProfessor Computer Science Emeritus, University of TorontoVerified email at cs.toronto.edu
- P.D. MagnusPhilosophy, University at AlbanyVerified email at fecundity.com
- Steve AwodeyCarnegie Mellon UniversityVerified email at cmu.edu
- Thomas EiterVienna University of TechnologyVerified email at kr.tuwien.ac.at
- Volker PeckhausUniversity of PaderbornVerified email at upb.de
- Dave Barker-PlummerCSLI, Stanford UniversityVerified email at stanford.edu
- Tim ButtonUniversity College LondonVerified email at ucl.ac.uk