User Christoph Wintersteiger - Computer Science Stack Exchange

Christoph Wintersteiger

Member for 11 years, 2 months
Last seen more than 1 year ago

Network profile

Stats

234

reputation

2k

reached

1

answer

0

questions

Loading…

Communities

About

Researcher at Microsoft Research

Badges

This user doesn’t have any gold badges yet.

2

silver badges

Enlightened

Feb 19, 2020
Yearling

Feb 9, 2017

5

bronze badges

Analytical

Oct 4, 2012
Nice Answer

Feb 19, 2020
Teacher

Oct 4, 2012

Top tags

terminology

11

Score

1

Posts

100

Posts %

complexity-theory

11

Score

1

Posts

100

Posts %

Top posts

All Questions Answers

Score Newest

11

Why are decision problems commonly used in complexity theory?

Oct 4, 2012

Top network posts

View all network posts

13

Use of Konjunktiv II: Why "Ich wünschte", not "ich wünsche"? Compare "I wish" in English!

9

Does Google Scholar have an API available that we can use in our research applications?

8

QF_FPA? Does Z3 support IEEE-754 arithmetic?

8

Z3: Convert between FP and BitVector?

7

Read func interp of a z3 array from the z3 model