Jonathan Daugherty
Contact
Research and Engineering
Office: 503.626.6616 x172
Email: jtd (at) galois (dot) com
Webpage: http://codevine.org/
GitHub: jtdaugherty
At Galois
At Galois I work on cross-domain projects, hack on hardware emulators and the Linux kernel using C and Haskell, and manage engineering infrastructure.
My Background
I'm interested in functional programming, software reliability, program analysis, database systems, and community tools like Hackage and Cabal. I have a B.S. in Computer Science from the University of Georgia. Before Galois, I worked for JanRain, Inc., a web identity company, Command Prompt, Inc., a PostgreSQL consultancy, and the University of Georgia UNIX group.
Projects
I always have various projects in the works, but the most recent developments can be found on Hackage.
-
dbmigrations (http://hackage.haskell.org/package/dbmigrations): A library and program for the creation, management, and installation of schema updates for relational databases.
-
vty-ui (http://hackage.haskell.org/package/vty-ui): A library of user interface widgets for composing and laying out Vty user interfaces.
-
mathblog (http://hackage.haskell.org/package/mathblog): A package for creating and maintaining a math-oriented blog with Gnuplot and LaTeX support.