Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
151
reputation
1
8

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.

2
answers
0
questions
~2k
people reached
  • Member for 8 years, 5 months
  • 22 profile views
  • Last seen 23 hours ago

Top Tags (6)

Score 4
Posts 1
Posts % 50
Score 4
Posts 1
Score 1
Posts 1
Score 1
Posts 1
Score 1
Posts 1
Score 1
Posts 1

Top Posts (2) All Questions Answers | Votes Newest

Badges (9)

Gold

Silver

1

Rarest

Bronze

8

Rarest