User:Anees ul Mehdi

Anees ul Mehdi is a research associate at the Institute AIFB, member of::affiliation::University of Karlsruhe.

Research Interests
Logic/Description Logics -- Complexity Theory -- Theoretical Computer Science