Skills

• Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
• Agile software development
• Artificial Intelligence
• Categorical Programming
• Compilers
• Computer algebra
• Concurrent Haskell
• Cryptography
• Databases
• Denotational design
• Distributed systems
• Game development
• Generic Programming
• Graphical User Interfaces
• Machine Learning
• Metaprogamming via Template Haskell
• Monadic Parser Combinators
• Network programming
• Parallelism
• Programming using Arrows
• Purely functional data structures — design and implementation
• Quantitative Finance
• Reactive programming
• Reverse Engineering
• Robotics and Automation
• Signal Processing
• Streaming data (conduit/enumerator/pipes)
• Systems programming
• Transactional business applications development
• UNIX Scripting
• Web development (HTML, CSS and Javascript)
• Yesod Web Framework