Stack Overflow
Stack Overflow

S Bateman
13
reputation
5
  • Utah, United States
  • Member since November 20 2012
  • 6 profile views
  • Last seen Jul 19 '19 at 22:32

I write programs that verify the behavior of other programs. I haven't solved the halting problem yet and wonder if my job is, at some level, futile :)