Skills

• IT/Tech
• Analysis
• Algorithms
• Java
• Machine Learning
• Programming
• LaTeX
• Python
• Compilers
• Type Systems
• Scala
• Programming Languages
• Shell Scripting
• GNU Make
• Compiler Optimization
• Program Analysis
• Twelf
• ML
• Haskell
• Clojure
• Compiler
• Emacs
• Emacs Lisp