Frank van Harmelen (born 1960) is a Dutch computer scientist and professor in Knowledge Representation & Reasoning in the AI department at the Vrije Universiteit Amsterdam.

"[4][5][6] After studying mathematics and computer science in Amsterdam, Van Harmelen moved to the Department of AI of the University of Edinburgh, where he was awarded a PhD in 1989 for his research on meta-level reasoning.

While in Edinburgh, he "co-developed a logic-based toolkit for expert systems, and worked with Alan Bundy on proof planning for inductive theorem proving".

[4] Van Harmelen was elected a member of the Royal Netherlands Academy of Arts and Sciences in 2017.

[7][8] In 2019, Van Harmelen received a Zwaartekracht grant from the Dutch Ministry of Education, Culture and Science for The Hybrid Intelligence Center[9] Van Harmelen's research interests include artificial intelligence, knowledge representation and the semantic web, approximate reasoning and Medical Protocols.