My blogs

Blogs I follow

Gender	Male
Industry	Education
Occupation	Associate Professor
Location	Copenhagen, Denmark
Links	Wishlist
Introduction	In short, I am a Computer Scientist/Mathematician researcher and hacker, in the old sense of the term.
Interests	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, the many different theoretical underpinnings of computing
Favorite movies	Highlander, Hudson Hawk, The Adventures of Buckaroo Banzai Across the 8th Dimension, Le Fabuleux Destin d'Amélie Poulain, La Cité des Enfants Perdus
Favorite music	http://www.last.fm/user/kiniry
Favorite books	Moorcock, Lovecraft, MacAvoy, A. Lowell, Cummings, Ligotti, Asimov, Dick, Herbert, Weis, Hickman, Burroughs, Niven, Card, Bradbury, Gibson, Stevenson