Theoretical Computer Science
user avatar
user avatar
user avatar
Dominic Mulligan
  • Member for 11 years, 10 months
  • Last seen more than 3 years ago
Profile Activity
Stats
837
reputation
0
reached
0
answers
0
questions
Communities
View all
About

Senior Formal Verification Reasearcher at Arm Research, Cambridge. Previously a postdoc at the University of Cambridge and the University of Bologna.

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
3
bronze badges
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
26
Major unsolved problems in theoretical computer science?
15
How do 'tactics' work in proof assistants?
13
Powerful Algorithms too complex to implement
13
Are there any counterintuitive results in theoretical computer science?
12
Small steps for better TCS conferences?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.