Handbook of Formal Optimization
暫譯: 正式優化手冊

正式優化手冊是一部全面的指南，涵蓋了廣泛的主題。它包括文獻回顧、優化方法的數學公式、流程圖和偽代碼、插圖、問題與應用、結果與批判性討論等內容。該書涵蓋了各種正式優化領域，包括數學優化和貝葉斯優化、神經網絡和深度學習、遺傳算法及其應用、混合優化方法、組合優化、優化方法中的約束處理以及基於群體的優化。這本手冊對於專家和非專家來說都是極好的參考資料，因為它提供了引人入勝的材料。該書還涵蓋了研究趨勢、挑戰和未來主題，使其成為希望擴展該領域知識的讀者的寶貴資源。

Anand J Kulkarni holds a PhD in Artificial Intelligence (AI) based Distributed Optimization from Nanyang Technological University, Singapore, MS in AI from the University of Regina, Canada. He worked as a Postdoctoral Research Fellow at Odette School of Business, University of Windsor, Canada. Anand has a Bachelor of Engineering in Mechanical Engineering from the Shivaji University, India, and holds a Diploma from the Board of Technical Education, Mumbai, India. Since 2021, he has been working as a Research Professor and Associate Director of the Institute of Artificial Intelligence at the MITWPU, Pune, India. His research interests include AI-based nature-inspired optimization algorithms and self-organizing systems. Anand pioneered optimization methodologies such as Cohort Intelligence, Ideology Algorithm, Expectation Algorithm, Socio Evolution & Learning Optimization Algorithm, Leader-Advocate-Believer Algorithm, and Snail Homing and Mating Search Algorithm. Anand has published over 80 research papers in peer-reviewed reputed journals, chapters, and conferences along with 7 authored and 15 edited books. He has so far guided 6 doctoral, 10 masters, and over 100 UG students. Anand is the lead series editor for Springer and Taylor & Francis as well as associate editor of Elsevier journals such as 'Engineering Applications of Artificial Intelligence' and 'Systems and Soft Computing' as well as IOS Press KES journal. He is the recipient of the best paper award in IEEE ICNSC, Chicago, USA, and 'The Swatantry Veer Savarkar Award' 2023 by 'Pune Marathi Granthalay', Pune for his Marathi book entitled 'Artificial Intelligencechya Watewar'.

Amir H. Gandomi is a Professor of Data Science and an ARC DECRA Fellow at the Faculty of Engineering & Information Technology, University of Technology Sydney. Before joining UTS, Prof. Gandomi was an Assistant Professor at the Stevens Institute of Technology and a distinguished research fellow at BEACON Center, Michigan State University. Prof. Gandomi has published 400+ journal papers and 14 books. He has received multiple prestigious awards for his research excellence and impact, such as the 2023 Achenbach Medal and the 2022 Walter L. Huber Prize, the highest-level mid-career research award in all areas of civil engineering. He has served as associate editor, editor, and guest editor in several prestigious journals. Prof Gandomi is active in delivering keynotes and invited talks. His research interests are data analytics and global optimization (big) in real-world problems in particular.

Anand J Kulkarni 擁有新加坡南洋理工大學的人工智慧（AI）基於分散優化的博士學位，以及加拿大雷吉納大學的人工智慧碩士學位。他曾在加拿大溫莎大學的奧德特商學院擔任博士後研究員。Anand 擁有印度希瓦吉大學的機械工程學士學位，並持有印度孟買技術教育委員會的文憑。自2021年以來，他一直在印度普納的 MITWPU 擔任研究教授及人工智慧研究所的副所長。他的研究興趣包括基於人工智慧的自然啟發優化算法和自組織系統。Anand 開創了多種優化方法論，如群體智慧（Cohort Intelligence）、意識形態算法（Ideology Algorithm）、期望算法（Expectation Algorithm）、社會進化與學習優化算法（Socio Evolution & Learning Optimization Algorithm）、領導者-倡導者-信仰者算法（Leader-Advocate-Believer Algorithm）以及蝸牛回家與交配搜索算法（Snail Homing and Mating Search Algorithm）。Anand 在同行評審的知名期刊、書籍章節和會議上發表了超過80篇研究論文，並著有7本書和編輯15本書。他至今指導了6位博士生、10位碩士生以及超過100位本科生。Anand 是 Springer 和 Taylor & Francis 的首席系列編輯，並擔任 Elsevier 期刊如《Engineering Applications of Artificial Intelligence》和《Systems and Soft Computing》以及 IOS Press KES 期刊的副編輯。他曾獲得美國芝加哥 IEEE ICNSC 的最佳論文獎，以及2023年由普納馬拉地圖書館頒發的「斯瓦坦特里·維爾·薩瓦卡爾獎」，以表彰他所著的馬拉地語書籍《Artificial Intelligencechya Watewar》。

Amir H. Gandomi 是悉尼科技大學工程與資訊技術學院的數據科學教授及 ARC DECRA 研究員。在加入 UTS 之前，Gandomi 教授曾在史蒂文斯理工學院擔任助理教授，並在密歇根州立大學的 BEACON 中心擔任傑出研究員。Gandomi 教授已發表超過400篇期刊論文和14本書籍。他因其研究卓越和影響力獲得多項著名獎項，如2023年阿肯巴赫獎（Achenbach Medal）和2022年沃爾特·L·霍伯獎（Walter L. Huber Prize），後者是土木工程各領域中最高級別的中期研究獎。他曾在多個知名期刊擔任副編輯、編輯和客座編輯。Gandomi 教授積極參加主題演講和受邀演講。他的研究興趣主要集中在數據分析和全球優化（大規模）在現實世界問題中的應用。