![[Two kestrels flying]](/Graphics/stafflogo.gif)
Home : Research Staff : Dusko Pavlovic
Dusko Pavlovic
Selected publications
- Math and Logic
- Semantics of computation
- Software specifications
- Coalgebra
- Security
- Quantum computation
- Search and networks
- Recent talks (link to Oxford)
Pictures: stef and temra (1998), Burning Man 1998. More on Abby's page.
Moozeek: goodbye set (15 Aug 2004), swinging voices (1 Oct 2004), sensual marching (3/3/5), love and abstraction (2/1/6), 2006512, Luke 00:0 (6/13/6), patterns of waiting (10/10/6)... more at cloudfactory.
- Back to Top -
-
Home
-
About Kestrel
-
Research Staff
-
Current Projects
-
Project Archive
-
-
Publications
-
Technology Transfer
-
Career Opportunities
-
Contact Kestrel
-