Stats
21,177
reputation8.4m
reached434
answers19
questionsLoading…
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.
Badges
View all badges 6
gold badges
- ElectorateMay 13, 2017
- FanaticNov 13, 2017
- Great Answer
× 3Nov 13, 2022
73
silver badges
- pythonAug 9, 2013
- GeneralistDec 10, 2022
- SportsmanshipJun 6, 2013
80
bronze badges
- ProofreaderJan 23, 2014
- Tag EditorFeb 20, 2014
- QuorumMay 5, 2014
Top tags
View all tagsTop Meta posts
0
1