Programming Languages

Expert knowledge

Aspect Oriented

AspectJ

Object Oriented

Scala

OCaml

Ruby

Java

Python

C++

Javascript

Prolog++

Functional

Scala

OCaml

SML/NJ ML

Haskell

Logic Programming

Prolog

lambda-Prolog

Goedel

Declarative

C

Perl

Applescript

Pascal

Coral

Assembler

x86

PPC

68xxx

Other

Ruby on Rails

Akka

Play!

PHP

Stratego/XT

HTML

XML/XSLT

Operating Systems

Admin/programmer knowledge

Linux/Unix

OS X

Expert knowledge

Windows XP

Theorem Provers

Expert knowledge

Isabelle

Coq

ESC/Java

PVS

Alf

Formal Methods

Expert knowledge

VDM (with rely and guarantee conditions)

Z

various Hoare logics (including use of Separation logic with Abstract Interpretation)

various process algebras (e.g. CSP, CCS, SCCS and pi-calculus)

various temporal/modal logics (e.g. TLA)