Franz Baader

Franz Baader (Spalt, 15 de junho de 1959) é um cientista de computação alemão. Ele recebeu seu doutorado em Ciência da Computação em 1989 pela Universidade de Erlangen-Nuremberg, Alemanha, onde foi assistente de ensino e pesquisa por 4 anos. Em 1989, foi para o Centro Alemão de Pesquisa para Inteligência Artificial (DFKI) como pesquisador sênior e líder de projeto. Em 1993, tornou-se professor associado de ciência da computação na RWTH Aachen, e em 2002 professor titular de ciência da computação na TU Dresden. Ele recebeu o Herbrand Award para o ano 2020 "em reconhecimento de suas contribuições significativas para a teoria da unificação, combinações de teorias e raciocínio em lógicas de descrição".