Skills

• Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
• Agile software development
• Compilers
• Concurrent Haskell
• DSL Design
• Databases
• Digital Forensics
• Formal Verification
• Graphical User Interfaces
• High-performance Haskell
• Image processing
• Monadic Parser Combinators
• Network programming
• Numerical Computation
• Packaging for Debian
• Parallelism
• Physics & Simulation
• Programming language translation
• Prototyping
• Purely functional data structures — design and implementation
• Quantitative Finance
• Reactive programming
• Reverse Engineering
• Signal Processing
• Snap Web Framework
• Software packaging/distribution tools
• Sound & Audio
• Systems programming
• Transactional business applications development
• UNIX Scripting
• Video Systems
• Web development (HTML, CSS and Javascript)