My Life, My Universe, My Everything

Hello,

I created a few new pages detailing my previous research. They contain a short description of the research I conducted at the University of Kent as well as abstracts of my publications and PhD dissertation. In my research I was mainly concerned with Handling Inconsistency and Underdefinedness in Z Specifications using Paraconsistency and multi-valued logics.

Best,
Ralph

This entry was posted on Wednesday, November 2nd, 2005 at 9:40 pm and is filed under Research. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.