Skip to main content
Theoretical Computer Science
Stephen Magill's user avatar
Stephen Magill's user avatar
Stephen Magill's user avatar
Stephen Magill
  • Member for 14 years, 1 month
  • Last seen more than 13 years ago
Profile Activity
Stats
71
reputation
619
reached
1
answer
0
questions
Communities
About
Currently a post-doc at the University of Maryland, working in the area of software verification.
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
4
bronze badges
Top tags
7
Score
1
Posts
100
Posts %
7
Score
1
Posts
100
Posts %
7
Score
1
Posts
100
Posts %
7
Score
1
Posts
100
Posts %
Top posts
answer
7
How hard is it to reduce termination to partial correctness?
Aug 23, 2010