Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 
avatar of JAB

JAB

JAB has asked 6 questions and find answers to 92 problems.

Stats

2.4k
EtPoint
827
Vote count
6
questions
92
answers

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.