Mathematics; Computer Science; Software Engineering.
I am trying to combine theoretical research and practical applications.
My theoretical interests concentrate in applications of continuous mathematics to computing - domains for denotational semantics give the prime example of such applications.
My practical interests are in programming language design and implementation, and in methods and tools for software engineering.
If you are interested in collaboration please let me know - I am always looking for people to work with.
A project trying to organize technical and financial efforts related to applications of continuous methods in software engineering.
A new section of short essays on various topics.