dusko's draft page

papers by subject:

• Security
• Search, social computation and networks
• Quantum computation
• Software engineering and specifications
• Coalgebra
• Semantics of computation
• Math and Logic

My old web pages are at

• Kestrel
• Oxford