Paolo Parisen Toldin

Phd in theoretical computer science

Because theoretical computer science does not mean "deal with useless things"

Java LCD(1.1) is a tool (obviously written in java) that calculate weak reduction and abstraction in combinatory logic. It's distribuited under license GPL3.

COLOBO project. I'm the main developer of this project, whose aim is to create a framework in ocaml for the combinatory logic based languages. Obviously, it works also for the standard combinators in CL.