Programs as Diagrams: From Categorical Computability to Computable Categories

Dusko Pavlovic was born in Sarajevo, studied mathematics and programming in Utrecht, taught at McGill, Imperial College London, Oxford, and Royal Holloway, before joining University of Hawaii in 2014. In the meantime he also spent 12 years thinking and talking about applications in Palo Alto CA. His research interests evolved from pure mathematics, through theoretical computer science and software engineering, to network computation and security, with excursions into quantum computation and game theory. He authored more than 100 refereed publications. In his ample spare time he enjoys providing strategic advice to his 3 children and writing about himself in third person.

Dusko Pavlovic 出生於薩拉熱窩，曾在烏特勒支學習數學和程式設計，並在麥吉爾大學、倫敦帝國學院、牛津大學和皇家霍洛威大學任教，於2014年加入夏威夷大學。期間，他還在加州帕洛阿爾托花了12年時間思考和討論應用。他的研究興趣從純數學演變到理論計算機科學和軟體工程，再到網路計算和安全，並曾涉獵量子計算和博弈論。他發表了超過100篇經過審核的論文。在他充裕的空閒時間裡，他喜歡為他的三個孩子提供策略建議，並以第三人稱的方式撰寫關於自己的文章。