Programs as Diagrams: From Categorical Computability to Computable Categories
暫譯: 程式作為圖示:從範疇可計算性到可計算範疇
Pavlovic, Dusko
- 出版商: Springer
- 出版日期: 2024-09-21
- 售價: $2,530
- 貴賓價: 9.5 折 $2,404
- 語言: 英文
- 頁數: 252
- 裝訂: Quality Paper - also called trade paper
- ISBN: 303134829X
- ISBN-13: 9783031348297
海外代購書籍(需單獨結帳)
商品描述
作者簡介
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篇經過審核的出版物。在他充裕的空閒時間裡,他喜歡為他的三個孩子提供策略建議,並以第三人稱撰寫有關自己的文章。