Advanced Boolean Techniques: Selected Papers from the 15th International Workshop on Boolean Problems

Rolf Drechsler received the Diploma and Dr. phil. nat. degrees in computer science from the Johann Wolfgang Goethe University in Frankfurt am Main, Germany, in 1992 and 1995, respectively. He worked at the Institute of Computer Science, Albert-Ludwigs University, Freiburg im Breisgau, Germany, from 1995 to 2000, and at the Corporate Technology Department, Siemens AG, Munich, Germany, from 2000 to 2001. Since October 2001, Rolf Drechsler is Full Professor and Head of the Group of Computer Architecture, Institute of Computer Science, at the University of Bremen, Germany. In 2011, he additionally became the Director of the Cyber-Physical Systems Group at the German Research Center for Artificial Intelligence (DFKI) in Bremen. His current research interests include the development and design of data structures and algorithms with a focus on circuit and system design. He is an IEEE Fellow.

Sebastian Huhn received the B.S. and M.S. degrees and the Dr.-Ing. doctorate degrees in computer engineering from the University of Bremen, Bremen, Germany, in 2012, 2014, and 2020, respectively. He is currently a PostDoc in the Group of Computer Architecture at this university and a Senior Researcher at the German Research Center for Artificial Intelligence (DFKI), Bremen. His current research interests include design for test, reliability, and debug, in particular, novel test generation, test interfaces and pattern retargeting techniques. Besides this, he is interested in formal techniques, formal reliability analysis & enhancement of complex systems and circuits.

Rolf Drechsler於1992年和1995年分別在德國法蘭克福的約翰·沃爾夫岡·歌德大學獲得計算機科學的學士和博士學位。他在德國弗賴堡的阿爾伯特·路德維希大學計算機科學研究所工作了五年，從1995年到2000年，並在德國慕尼黑的西門子公司企業技術部門工作了一年，從2000年到2001年。自2001年10月起，Rolf Drechsler擔任德國不來梅大學計算機科學研究所計算機架構組的全職教授和組長。2011年，他還成為德國人工智能研究中心（DFKI）不來梅分部的物理系統組主任。他目前的研究興趣包括以電路和系統設計為重點的數據結構和算法的開發和設計。他是IEEE的會士。

Sebastian Huhn於2012年、2014年和2020年分別在德國不來梅的不來梅大學獲得計算機工程的學士、碩士和博士學位。他目前是該大學計算機架構組的博士後研究員，也是德國人工智能研究中心（DFKI）不來梅分部的高級研究員。他目前的研究興趣包括測試設計、可靠性和調試，特別是新型測試生成、測試接口和模式重定向技術。此外，他還對形式技術、複雜系統和電路的形式可靠性分析和增強感興趣。