Dusko Pavlovic
Professor

Office: POST 311B
Tel: 808-956-9639
Email: dusko@hawaii.edu

Education

  • Ph.D. 1990, Utrecht University

Research Interests

Security, Network computation and economics, Quantum computation, Software, Semantics, Categories

Recent Publications

  • Jason Castiglione, Dusko Pavlovic, Peter-Michael Seidel: Privacy protocols. LNCS 11565: 167-189 (Springer 2019)
  • Dusko Pavlovic, Muzamil Yahia: Monoidal computer III: A coalgebraic view of computability and complexity. LNCS 11202: 167-189 (Springer 2018)
  • Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic: Sound up-to techniques and complete abstract domains. LICS 2018: 1-12 (ACM-IEEE 2018)
  • Vladimir Vovk, Dusko Pavlovic: Universal probability-free prediction. Ann. Math. Artif. Intell. 81(1-2): 47-70 (2017)
  • Dusko Pavlovic, Bertfried Fauser: Smooth coalgebra: Testing vector analysis. Mathematical Structures in Computer Science 27(7): 1195-1235 (2017)
  • Filippo Bonchi, Joshua Holland, Dusko Pavlovic, Pawel Sobocinski: Refinement for Signal Flow Graphs. CONCUR 2017: 24:1-24:16
  • Dusko Pavlovic, Peter-Michael Seidel: Quotients in monadic programming: Projective algebras are equivalent to coalgebras. LICS 2017: 1-12 (ACM-IEEE 2018)

Courses

  • AsecoLab Courses
  • Fall 2019
    • ICS 222 Basic Concepts of Computer Science
    • ICS 355 Security and Trust I

Service