Stack Overflow
Stack Overflow

Joseph Kiniry
51
reputation
2
  • Dublin, Ireland
  • Member since October 20 2009
  • 18 profile views
  • Last seen Oct 24 '09 at 11:23

I'm an applied formal methods researcher and entrepreneur.