Skip to main content
JAB's user avatar
JAB's user avatar
JAB's user avatar
JAB
  • Member for 13 years, 1 month
  • Last seen this week
Stats
251
reputation
2k
reached
1
answer
2
questions
Loading…
About

I'm a science fiction & fantasy buff and casual tabletop gamer who majored in Computer Engineering and Computer Science (and a Japanese minor on the side), currently working on a PhD in CE (focusing on formal binary verification using Isabelle).

Python and C++ are currently my preferred programming languages, but I've done some work with Java and Objective-C (iOS apps) and some projects in Javascript (node.js, jQuery, etc.). I'm also trying out Scala and LISP, though I haven't made much progress on that recently.

1
gold badge
4
silver badges
10
bronze badges
Top tags
5
Score
3
Posts
100
Posts %
5
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts