Prof. Dr. Paul Molitor studied computer science at the University of Saarland, Germany, from 1978 to 1986. He received the Dipl.-Inform., the Dr.rer.nat., and the Dr.habil. Degrees in 1982, 1986, and 1992, respectively.
Between 1982 to 1992, he was with the research group on VLSI design methods and parallelism at the University of Saarland. After serving as a Visiting Professor at the University of Halle in 1992/93 and the University of Freiburg i.Br. in 1993, he was an Associate Professor in the Computer Science Department of the Humboldt University Berlin in 1993/94. Since 1994, he bas been a Full Professor at the Martin-Luther-University Halle-Wittenberg, Germany.
He is author and co-author of two books and about 50 international papers in the field of modelling, physical design, logic synthesis, and formal logic verification of digital circuits, and genetic algorithms.
Dr. Molitor is a member of the IEEE, the ACM, and the GI.
Main Research Interests:
- specification, synthesis, and formal verification of digital circuits
- hardware algorithms