Skip to content

Markus Kuppe

Markus Kuppe

Microsoft

Markus Kuppe is an engineer at Microsoft Research. His focus is making spec-driven development (with TLA+) more popular among fellow engineers.

Talks from 2021 season

Speaker
- Watch recording
  Workshop: TLA+ in action
  - Markus Kuppe
    Microsoft
  In EnglishComplexity -
- Watch recording
  Workshop: TLA+ in action (part 2)
  - Markus Kuppe
    Microsoft
  In EnglishComplexity -
- Watch recording
  Workshop: TLA+ in action (part 3)
  - Markus Kuppe
    Microsoft
  In EnglishComplexity -
- Watch recording
  Workshop: TLA+ in action (part 4)
  - Markus Kuppe
    Microsoft
  In EnglishComplexity -