Iavor S. Diatchki
I am a research and development engineer at Galois Inc. My academic interests lie in the area of programming language design and implementation, functional programming, and type systems. Over the last year, I've had the opportunity to use functional programming technology (Haskell) for the development of web applications.
Links
- Publications---a list of my publications.
- monadLib---a library of monad transformers.
- CIV in Isabelle---an exercise in using the Isablle theorem prover.
- Haskell in LaTeX---A note about literate Haskell scripts that are LaTeX articles.