Stack Overflow
Stack Overflow

ntabee
416
reputation
2
5
  • Sendai, Japan
  • Member since March 17 2014
  • 17 profile views
  • Last seen Jul 25 '21 at 12:20

Used to be a researcher on software verification, theoretical aspects of security & XML processing: http://scholar.google.co.jp/citations?user=Vq8IswQAAAAJ

Now writing a solver for combinatory optimization, don't know why...