Dusko Pavlovic

Dusko Pavlovic
Professor

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

Education

  • Ph.D. 1990, Utrecht University

Research Interests

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

Recent Publications

  • Vladimir Vovk, Dusko PavlovicUniversal probability-free prediction. Ann. Math. Artif. Intell. 81(1-2): 47-70 (2017)
  • Depeng Li, Rui Zhang, Yingfei Dong, Fangjin Zhu, Dusko PavlovicA Multisecret Value Access Control Framework for Airliner in Multinational Air Traffic Management. IEEE Internet of Things Journal4(6): 1853-1867 (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

Courses

  • Spring 2018

Service