Morten Sørensen

Morten Sørensen serves as a Clinical Instructor in the Department of Odontology at the Faculty of Health and Medical Sciences, University of Copenhagen. Based at Nørre Allé 20, 2200 Copenhagen N, he is contactable via phone (+4535325178) or email (morten.sorensen@sund.ku.dk).

His research centers on logic programming with specialized expertise in partial deduction and program transformation. He develops foundational theories and algorithms for conjunctive partial deduction, advancing applications in automated reasoning and declarative programming systems. This work bridges theoretical computer science with practical implementation challenges.

His seminal 1999 publication in the Journal of Logic Programming demonstrates significant scholarly impact, accumulating 82 Scopus citations. The research establishes critical frameworks for program specialization within artificial intelligence, reflecting sustained relevance in programming language theory despite its age.