Hiromi ISHII

Using Haskell since 2006

I am not currently seeking employment

Living in Tsukuba, Ibaraki, Japan

Twitter	mr_konn

About Me

I love haskell and am interested in using Haskell in every day works. Ph.D. in Math.

My interests:

* Type-level Programming
* Generic Programming
* Computational Algebra
* Code Generation

Skills

Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Agda
Compilers
Computational Geometry
Computer algebra
Concurrent Haskell
Distributed systems
Foreign Function Interface (FFI)
Formal Verification
GHC internals
Generic Programming
Graphical User Interfaces
High-performance Haskell
Idris
Metaprogamming via Template Haskell
Monadic Parser Combinators
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
Reactive programming
Software packaging/distribution tools
Streaming data (conduit/enumerator/pipes)
Teaching Haskell
UNIX Scripting
Web development (HTML, CSS and Javascript)
Yesod Web Framework

About Me

Skills

Packages

Login withLogin using — OR —

Login using

— OR —

Login with
Login using

— OR —