Newbie (3 points)
- Member Since: Oct 11, 2005
- Last Logged In: Nov 11, 2011 1:38 PM
-
Company:
IT University of Copenhagen
-
Occupation:
Associate Professor
-
Biography:
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. I am also a member of the IT Group for ITU which sets strategy, goals, and priorities for IT infrastructure and support for the university. Finally, I am a member of the ITU Board of Directors, which is the superior authority for the university.
-
Expertise:
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.
-
Alternate Email:
kiniry@itu.dk
