Author: Bernd Steinbach

Bernd Steinbach studied Information Technology at the University of Technology in Chemnitz, Germany, where he graduated with an MSc in 1973, a PhD in 1981, and a Doctor scientiae technicarum in 1984 for his second doctoral thesis from the Faculty of Electrical Engineering. In 1991, he obtained the Habilitation from the same Faculty. Following this, he worked as a research engineer, developing programs for test pattern generation for computer circuits at the company Robotron. He returned to the Department of Information Technology of the Chemnitz University of Technology as Associate Professor for Design Automation in Logic Design. He is currently, and has been for more than two decades, the head of a group that developed the XBOOLE software system and the head of the Steinbeis Transfer Center of Logic Systems in Chemnitz. He has been a Full Professor of Computer Science/Software Engineering and Programming at the Freiberg University of Mining and Technology since 1992. Professor Steinbach is also the co-author of 12 books, and has published more than 250 papers in books, journals and proceedings. He is the initiator, and has served as General Chair, of a biennial series of International Workshops on Boolean Problems (IWSBP), which started in 1994.