Joseph Roland Kiniry - Magnifier (Anagram: Opinions Hardly Jerk) IT University of Copenhagen - Software Development Group (SDG) - Programming, Logic, and Semantics Group (PLS) - KindSoftware Research Group Mobius Trac - SenseTile Trac - UCD CSI Trac - SRG Trac - UCD Trac My Calendar - Available Student Projects Wiki Homepage - Advogato Homepage - Picasa Photos NICE - ACM - IEEE Computer Society - AMS - USENIX Curriculum Vitae - Industry Resume - Academic Genealogy Contact Information Ph.D. Dissertation

I am an Associate Professor in the Software Development Group at the IT University of Copenhagen (aka ITU). I am also a member of the Programming, Logic, and Semantics Group. I lead the KindSoftware research group.

My current PhD students are:

• Dermot Cochran,
• Fintan Fairmichael, and
• Josu Martinez

My current senior research and engineering staff are:

• Dr. Vieri del Bianco
• Mr. Dragan Stosic

My KindSoftware research group has been partially funded by the European Project Mobius within the IST 6th Framework and CHARTER within the IST 7th Framework, the Science Foundation Ireland via the UCD CASL SenseTile System grant and the Lero, the Irish Software Engineering Research Centre, Enterprise Ireland, the IRCSET Embark Initiative, the EU Framework Program via the COST Program (European Cooperation in the field of Scientific and Technical Research) action IC0701 "Formal Verification of Object-Oriented Software," the IT University of Copenhagen, and various UCD Seed Funding Initiatives. Our total funding since 2005 is approximately 1.9M Euro.

Between Fall 2004 and February 2010 I was a tenured Lecturer in the School of Computer Science and Informatics at the University College Dublin and a founding member of the Complex & Adaptive Systems Laboratory there.

Between Fall 2002 and Fall 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 PhD graduate of the Department of Computer Science at the California Institute of Technology and also earned several degrees from UMass, Amherst and FSU. 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, (end-to-end) electronic voting systems, 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 Software Development Group webpages for updates about my work.

My amazing partner is Genevieve Fu. We have a gorgeous daughter together. Her name is An ('ahn') Kiniry.

My surname "Kiniry" is pronounced Kin-eye-ree and is a reduced form of McEnery, an Americanized form of the Irish Mac Innéirghe ("son of Innéirghe").

Last modified: Tue Jun 1 13:22:20 CEST 2010