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.

View graph of relations

View all »

View all »

Download as:
Download as PDF
Select render style:
ShortLong
PDF
Download as HTML
Select render style:
ShortLong
HTML
Download as Word
Select render style:
ShortLong
Word
Download as: To download, please limit the number of search results to 1,000 or less.

Latest activities and conferences

ID: 10551379