Vincent Vialard is Senior Research Engineer at derivo GmbH. He worked on automated theorem proving at the Université Aix-Marseille II and formal compiler verification at the Universität Ulm before going freelance for 10 years. He joined derivo 6 years ago to lead the development of the company's OWL2-RL inference engine GraphScale and graph visualization tool SemSpect. He is also actively involved in various customer projects relying on knowledge graph technology.
