Dennis Furey, Ph.D.

Welcome to my home page. I've spent a lot of time in academia, most recently as a senior research fellow at London South Bank University. My main areas of interest have been in asynchronous circuits and functional programming. I've also taken an interest in mathematical finance and studied a bit about it at City University. The outcome of this period was a project investigating a novel computational lattice structure for financial derivatives valuation. Subsequently I gave a seminar about it at Caltech.

A pet project of possible interest to compiler developers is a virtual machine emulator called avram, which strives to be an easy compilation target for functional languages, offering portability and interoperability with industry standard free mathematical libraries.

My most recently completed project is a compiler for a general purpose programming language called ursala. This language runs on top of avram and incorporates some unconventional ideas about programming language design, striving for succinctness and expressiveness.

I have also written a couple of CAD tools called syndi and diana, collectively known as ditools, for synthesis and analysis of delay insensitive circuits, respectively. These address the issues of designing circuits automatically using a specification language, and detecting bugs or hazards in them.

Here is a page devoted to some GNU/Linux system administration tips from my own experience that I've recently started to record.

You can email me at . For personal and professional correspondence please send plain text. For correspondence of a commercial nature please use html (so that it will really stand out ;).