Christoph M. Wintersteiger

Employment

• Imandra Senior Computer Scientist
  2023 - Present
• Microsoft Research Senior RSDE
  2018 - 2023
• Microsoft Research Researcher
  2012 - 2018
• Microsoft Research Postdoctoral researcher
  2010 - 2012

Education

• Eidgenössische Technische Hochschule Zürich Ph.D. Computer Science
  2006 - 2011
• Johannes Kepler Universität Linz M.Sc. Computer Science
  2001 - 2006
• Technische Universität Graz Telematics, no degree
  1999 - 2001

Projects & Funding

Projects & funding information is unavailable.

Publications (41)

• IA-CCF: Individual Accountability for Permissioned Ledgers
  arXiv 2021
  +Save
• Discovering Essential Multiple Gene Effects Through Large Scale Optimization: An Application to Human Cancer Metabolism
  IEEE/ACM Transactions on Computational Biology and Bioinformatics 2021 DOI: 10.1109/TCBB.2020.2973386
  +Save
• EverCrypt: A fast, verified, cross-platform cryptographic provider
  Proceedings - IEEE Symposium on Security and Privacy 2020 DOI: 10.1109/SP40000.2020.00114
  +Save
• Programming Z3
  2019 DOI: 10.1007/978-3-030-17601-3_4
  +Save
• Learning-Sensitive Backdoors with Restarts
  Series in BioEngineering 2018 DOI: 10.1007/978-3-319-98334-9_30
  +Save
• Exploring Approximations for Floating-Point Arithmetic Using UppSAT
  Automated Reasoning 2018 DOI: 10.1007/978-3-319-94205-6_17
  +Save
• SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic data
  BMC Systems Biology 2018 DOI: 10.1186/s12918-018-0581-y
  +Save
• Parallel Satisfiability Modulo Theories
  Handbook of Parallel Constraint Reasoning 2018 DOI: 10.1007/978-3-319-63516-3_5
  +Save
• Preface
  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2018
  +Save
• The effect of structural measures and merges on SAT solver performance
  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2018 DOI: 10.1007/978-3-319-98334-9_29
  +Save