Paul Molitor

ORCID iD
https://orcid.org/0000-0003-1461-7936
  • Country
  • Show details Hide details
Germany,

Sources:
Paul Molitor (2016-01-24)

Luxembourg

Sources:
Paul Molitor (2018-06-15)

  • Keywords
  • Show details Hide details
Hardware Verification,

Sources:
Paul Molitor (2018-06-15)

Circuit Synthesis,

Sources:
Paul Molitor (2018-06-15)

eHumanities,

Sources:
Paul Molitor (2018-06-15)

Efficient Algorithms,

Sources:
Paul Molitor (2018-06-15)

Binary Decision Diagrams (BDD),

Sources:
Paul Molitor (2018-06-15)

Traveling Salesman Problem (TSP)

Sources:
Paul Molitor (2018-06-15)

  • Websites
  • Show details Hide details

Biography

Prof. Dr. Paul Molitor (*1959, Luxembourg) studied Computer Science and Mathematics at the University of Saarbrücken (Diplom 1982, Promotion 1986, Habilitation 1992). He was member of the scientific staff of Prof. Dr. Gunter Hotz (1982-1994) where he leads a project in the National Research Center 124 "VLSI and Parallelism" (1992-1994). In 1993, he was with the Humboldt-University of Berlin as Associate Professor for Circuit Technology. Since 1994 he is a Full Professor for Computer Engineering at the Martin-Luther-University Halle-Wittenberg (MLU). Prof. Dr. Molitor's interests concern not only Technical Computer Science, in particular Formal Hardware Verification, but also Combinatorial Optimization and eHumanities. He is author of 4 lecture books and more than 100 research papers. Prof. Dr. Molitor was/is managing director of the Institute for Computer Science in 1994-1998, 2000-2003, and 2010-2018. He was founding director of the Centre for Informatics at MLU and chairman of the board for IT-investments at MLU (2003-2014). Since 2016, he is chairman of the IT steering group of MLU. He was chairman of the "Landes-Hochschul-DV-Kommission" (1995-2014) and the IT Board of the Universities of Saxony-Anhalt (2015-2016). Since 2003, he is Editor-in-Chief of it - Information Technology , De Gruyter, which is the oldest German scientific journal on information technology (launched in 1959).
  • : , ,

    {{group.getActive().startDate.year}}-{{group.getActive().startDate.month}}-{{group.getActive().startDate.day}} to present {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} |  ()
    • Show Details Hide Details
    Organization identifiers
    {{group.getActive().orgDisambiguatedName}}: {{group.getActive().orgDisambiguatedCity}}, {{group.getActive().orgDisambiguatedRegion}}, {{group.getActive().orgDisambiguatedCountry}}
    Other organization identifiers provided by {{group.getActive().disambiguationSource.value}}
    • {{orgDisambiguatedExternalIdentifier.identifierType}}: {{orgDisambiguatedExternalIdentifier.preferred}} (preferred), {{orgDisambiguatedExternalIdentifierAll}}{{$last ? '' : ', '}}
    Created
    Source: {{(group.getActive().sourceName == null || group.getActive().sourceName == '') ? group.getActive().source : group.getActive().sourceName}}
No education added yet
  • : , ,

    {{group.getActive().startDate.year}}-{{group.getActive().startDate.month}}-{{group.getActive().startDate.day}} to present {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} |  ()
    • Show Details Hide Details
    Organization identifiers
    {{group.getActive().orgDisambiguatedName}}: {{group.getActive().orgDisambiguatedCity}}, {{group.getActive().orgDisambiguatedRegion}}, {{group.getActive().orgDisambiguatedCountry}}
    Other organization identifiers provided by {{group.getActive().disambiguationSource.value}}
    • {{orgDisambiguatedExternalIdentifier.identifierType}}: {{orgDisambiguatedExternalIdentifier.preferred}} (preferred), {{orgDisambiguatedExternalIdentifierAll}}{{$last ? '' : ', '}}
    Created
    Source: {{(group.getActive().sourceName == null || group.getActive().sourceName == '') ? group.getActive().source : group.getActive().sourceName}}
No employment added yet
No Funding added yet
No publications added yet

Record last modified {{lastModifiedDate}}