Skip to content

Christoph Wintersteiger

  • Researcher
  • Microsoft Research
  • 10h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 304CitationsNumber of citations received by Christoph's publications. Updated daily.

Other IDs

Co-authors (33)

  • ZHENG CHENG

Publications (5)

  • An Approximation Framework for Solvers and Decision Procedures

    • Zeljić A
    • Wintersteiger C
    • Rümmer P
    N/AReaders
    1Citations
    Get full text
  • Mapped tent pitching schemes for hyperbolic systems

    • Gopalakrishnan J
    • Schöberl J
    • Wintersteiger C
    N/AReaders
    0Citations
    Get full text
  • Algebraic polynomial-based synthesis for abstract boolean network analysis

    • Backeman P
    • Dunn S
    • Yordanov B
    • et al.
    N/AReaders
    0Citations
  • Automated Synthesis and Analysis of Switching Gene Regulatory Networks

    • Shavit Y
    • Yordanov B
    • Dunn S
    • et al.
    N/AReaders
    1Citations
    Get full text
  • Deciding bit-vector formulas with mcSAT

    • Zeljić A
    • Wintersteiger C
    • Rümmer P
    N/AReaders
    7Citations
    Get full text

Professional experience

Researcher

Microsoft Research

June 2012 - Present

Postdoctoral Researcher

Microsoft Research

November 2010 - May 2012(2 years)

Research Assistant

University of Oxford

July 2010 - October 2010(3 months)

Research Assistant

ETH Zurich

May 2006 - June 2010(4 years)

Education history

Dr. sc. ETH Zurich

ETH Eidgenössische Technische Hochschule Zürich - Swiss Federal Institute of Technology

May 2006 - March 2011(5 years)

Dipl.-Ing. (MSc)

Universität Linz - University of Linz

February 2001 - February 2006(5 years)