Maarten de Mol's homepage

Name:: drs. M.J. (Maarten) de Mol
Profession:: Junior Researcher at the Deparment of Computing Science of the University of Nijmegen in the research group Functional Programming Languages
Visiting address:: Computing Science Institute; University of Nijmegen; Toernooiveld 1 (HG 02.632)
Postal address:: Computing Science Institute; P.O. Box 9010; 6500 GL Nijmegen; The Netherlands
Phone(private):: +31 (0)6 41 82 38 76
E-mail:: M.deMol@science.ru.nl

Thesis

Research: Sparkle

The development of a proof tool tightly integrated in the pure, lazy functional programming language Clean. (prototype)

Warning: information below is outdated (1998!)

Conferences (old)

1998: IFL98 (Implementation of Functional Languages '98) (paper, sheets)
1998: NSCCS98 (Nijmegen Student Conference on Computing Science '98) (paper, abstract, sheets, proof development in COQ, proof in COQ, description of proof)

Graduation project(old)

For my master's thesis I did some initial research on theorem proving in relation to Clean. One of the results was a prototype for the theorem prover I am currently developing.

Research plan

Master's Thesis

Fun Stuff(old)

Schaakvereniging Westervoort (SVW) (Dutch only)
Tafeltennisvereniging Westervoort (WESTA) (Dutch only)
Mud Connector Jump Center

Interesting links(old)

Hotbot

Yahoo

Ilse

NOS-teletekst

Kabelfrequenties in Nederland

Related Home Pages(old)

Sven Koster

Michael Sigmond (zie ook: zijn home page bij het KNMI)

Page last updated on Sep 01 2008 by Maarten de Mol