Joseph Roland Kiniry - Magnifier (Anagram: Opinions Hardly Jerk) UCD - CASL - Systems Research Group (SRG) - KindSoftware Research Group NICE - Moodle - GForge - My Calendar - Available Student Projects Wiki Homepage - Advogato Homepage - Picasa Photos Curriculum Vitae - Industry Resume - Academic Genealogy Contact Information Recent Papers Ph.D. Dissertation

I am a lecturer (what would be called an assistant professor elsewhere in the world) in the School of Computer Science and Informatics at University College Dublin (aka UCD, and sometimes known as the National University of Ireland, Dublin). I help lead the Systems Research Group (SRG).

My PhD students are:

• Fintan Fairmichael,
• Robin Green,
• Radu Grigore,
• Mikoláš Janota, and
• Alan Morkan

My KindSoftware research group is partially funded by the European Project Mobius within the IST 6th Framework, by the Lero: The Irish Software Engineering Research Centre, the IRCSET Embark Initiative, and UCD.

Between October 2002 and October/November 2004, I was a postdoctoral scholar in the Security of Systems (SoS) Group in the Nijmegen Institute for Computing and Information Science at the Radboud University Nijmegen.

I am a Ph.D. graduate of the Department of Computer Science at the California Institute of Technology. I am also an entrepreneur. I have started five companies thus far and I am an independent consultant with well over a decade of experience.

I am interested in formal methods, foundations of mathematics, software engineering, software/system/network security, distributed systems, object-oriented and component-based systems and languages, knowledge representation, systems modeling, artificial life, and the many different theoretical underpinnings of computing. In short, I am a Computer Scientist/Mathematician researcher and hacker, in the old sense of the term.

See the KindSoftware and Systems Research Group (SRG) webpages for updates about my work.

Last modified: Sun Jun 3 18:24:15 IST 2007