Skills

• Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
• Agile software development
• Artificial Intelligence
• Attribute Grammar
• Bioinformatics
• Cabal internals
• Categorical Programming
• Computational Geometry
• Concurrent Haskell
• DSL Design
• Darcs internals
• Databases
• Denotational design
• Digital Forensics
• Foreign Function Interface (FFI)
• Formal Verification
• Functional graphics programming (2D, 3D, GPU)
• GHC internals
• Generic Programming
• Graphical User Interfaces
• Happstack Web Framework
• Hardware Acceleration DSLs
• Haskell on embedded devices
• High-performance Haskell
• Machine Learning
• Metaprogamming via Template Haskell
• Monadic Parser Combinators
• Natural Language Processing (tagging, parsing, translation,...)
• Network programming
• Numerical Computation
• Parallelism
• Physics & Simulation
• Programming language translation
• Programming using Arrows
• Property based testing (QuickCheck)
• Prototyping
• Proving observational equivalence between Haskell programs
• Purely functional data structures — design and implementation
• Quantitative Finance
• Reactive programming
• Reverse Engineering
• Robotics and Automation
• Signal Processing
• Snap Web Framework
• Software packaging/distribution tools
• Sound & Audio
• Systems programming
• Teaching Haskell
• Transactional business applications development
• UNIX Scripting
• Web development (HTML, CSS and Javascript)
• Yesod Web Framework