Prof. Makowsky is currently engaged in research in Mathematical Logic with its applications to various fields in Computer Science, in particular the foundations of Data Base Theory, Logic Programming, Software Engineering and Artificial Intelligence. He has published over 50 contributions in these fields and is currently preparing a monograph on Logic in Computer Science, to appear with Springer Verlag, Heidelberg. Work with his students range from foundational questions to the design and implementation of intelligent user interfaces.
Prof. Makowsky is also engaged in scientific consulting. In this capacity he has been chief scientific advisor of MENTAL IMAGES , Berlin, since the foundation of that company, and worked for ZURICH , Financial Services and Insurance, Switzerland on issues in computer related risks, product liability and professional liability. He was also writing a regular column in FINANZ & WIRTSCHAFT on topics concerning computers and society.