Other people in Computer Science
On this page you will find some links to private pages that
I have found, which share my interest in computer science
Originally from the Netherlands, this great computer
scientist lived in Texas, until
his death.
On November 20, 2001, I found the page
"In Pursuit of Simplicity" dedicated to
his many manuscript,
which give a good impression of his style of working.
EWD1166 gives a short autobiography.
Wrote many interesting articles about software engineering.
Two that I have referenced are dealing with
XP and
the Object Constraint Language
Has a lot of stuff on functional programming languages,
Generic Java, and such.
He has an interest in embedded systems, computer architecture
and compilers. He also has a page about
Forth & Stack Computers.
He has an interest in Object-Oriented Programming Systems.
He has an interest in logival programming and generic theory.
He also wrote an Experimental LISP OO Implementation in C++.
Has some ideas on
Generic Theory.
Stayed in the same building as I, but I cannot remember to have spoken
with him. He had some interesting things to say about Linux versus NetBSD
in his student information page.
Does research on how software is developed. Has manny pointers to other
resources.
He does research on theorem proving, and shares my interest in Dune.
Other people |
home and email