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.
-
Member for 9 years, 8 months
-
125 profile views
-
Last seen Dec 26 '20 at 15:22
Communities (122)
Top network posts
Badges (15)
Gold
Rarest
-
Nov 30 '16
Silver
Rarest
-
Apr 8 '17
-
Oct 9 '16
-
Jan 28 '18
Bronze
Rarest
-
Sep 23 '16
-
Sep 23 '16
-
Apr 5 '17