Logic in Computer Science
暫譯: 計算機科學中的邏輯

Hantao Zhang is a professor of Computer Science with the University of Iowa, USA. His research interests include automated reasoning, constraint solving and discrete mathematics. He is the recipient of numerous NSF awards, including the prestigious NSF Young Investigator Award. He has published more than 100 papers in these areas, including a book on automated mathematical induction and a book chapter for the Handbook of Satisfiability. He won the Skolem Award by CADE (International Conference on Automated Deduction) in 2015 as his paper on SATO has passed the test of time as one of the most influential papers in the field.

Jian Zhang is a researcher with the Institute of Software, Chinese Academy of Sciences, and a professor with the University of Chinese Academy of Sciences. His research interests include automated reasoning, constraint solving, program analysis and software testing. Jian Zhang serves on the editorial boards of several journals, including IEEE Transactions on Reliability, Journal of Computer Science and Technology, Frontiers of Computer Science, Science China - Information Sciences, and Chinese Journal of Computers. He is the author of Deciding the Satisfiability of Logical Formulas: Methods, Tools and Applications (in Chinese, Science Press, 2000) and a co-author of Automatic Generation of Combinatorial Test Data (Springer, 2014).

張漢濤是美國愛荷華大學的計算機科學教授。他的研究興趣包括自動推理、約束求解和離散數學。他獲得了多項國家科學基金會（NSF）獎項，包括享有盛譽的NSF青年研究者獎。他在這些領域發表了超過100篇論文，包括一本關於自動數學歸納的書籍和一本《滿足性手冊》（Handbook of Satisfiability）的書章。他於2015年獲得CADE（國際自動推理會議）頒發的斯科倫獎，因為他的論文《SATO》經受住了時間的考驗，成為該領域最具影響力的論文之一。

張健是中國科學院軟件研究所的研究員，也是中國科學院大學的教授。他的研究興趣包括自動推理、約束求解、程序分析和軟件測試。張健擔任多本期刊的編輯委員會成員，包括《IEEE可靠性期刊》（IEEE Transactions on Reliability）、《計算機科學與技術期刊》（Journal of Computer Science and Technology）、《計算機科學前沿》（Frontiers of Computer Science）、《中國科學 - 信息科學》（Science China - Information Sciences）和《計算機學報》（Chinese Journal of Computers）。他是《邏輯公式的滿足性決策：方法、工具與應用》（中文，科學出版社，2000）的作者，並且是《組合測試數據的自動生成》（Springer，2014）的共同作者。