Kevin Glynn's Home Page

Interests

Mozart/Oz

I am developing P2PKit a toolkit for developing peer-to-peer applications. I am having a lot of fun deploying it on the PlanetLab and Evergrow networks. This is, errrr, challenging, and I have lots of ideas for developing and using P2PKit - so watch that space.

Functional Programming

I am interested in all aspects of functional programming languages and along with like minded buddies in the department we have started the Functional Programming Union (FPU). Named after a notorious drinking club I was in many years ago, when the F stood for Flagship and the U for Up ....

Along with other researchers I have been researching methods for the effective analysis of strongly-typed, polymorphic, functional languages with structured data (OK, OK, it's Haskell and the analyses have been implemented in the Glorious Haskell Compiler, GHC). By effective we mean that they must have an adequate precision/run-time tradeoff for inclusion in real compilers. In particular, we have shown that Boolean constraints are effective for various type based analyses. More information can be found from here or by emailing me.

Check out Martin Sulzmann's great work on using CHR's to provide a common, semantic framework for advanced type system design. Martin Sulzmann and his team have written a test bed called Chameleon. The software and more information is available from a place a way away.

Here is another great scientist called Kevin. Kudos to The Register for keeping tabs on his good work.

Here are some resources that I find useful to have archived locally (the FPU page has the functional programming links).

CVS Book. Some useful chapters from Open Source Development with CVS, by Kurt Fogel. For more information (and your own copy!) see The CVS Book

Really finally, a note on the state of my research. Well, since a picture is worth a thousand words, an animation must be a good sized paper:

Footnotes:

1. I have been asked to point out that y is a trademark of Yale University

Contact

Kevin Glynn

Université catholique de Louvain
Département d'Ingénierie Informatique
Place Sainte Barbe, 2
B-1348 Louvain-la-Neuve, Belgium
Phone: (++32) (10) 47 90 13
E-mail: glynn@info.ucl.ac.be

My GnuPG Public key is here.

Obviously, this page, its contents and style, are the responsibility of the author [Kevin Glynn] and do not necessarily represent the views, policies or opinions of the Universite catholique de Louvain - or, indeed, his own.

Last modified: Wed Jun 22 10:03:08 CEST 2005