297
reputation
3
10

JAB

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
answer
1
question
~9k
people reached
  • Member for 8 years, 6 months
  • 12 profile views
  • Last seen Nov 15 at 22:36

Top tags (4)

Score 3
Posts 2
Posts % 100
Score 3
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (2) All Questions Answers | Votes Newest

Badges (13)

Gold

Silver

3

Rarest

Bronze

10

Rarest