Koen Lefever is a research affiliate to the Centre for Logic and Philosophy of Science of the Vrije Universiteit Brussel. His main research interests are the use of methods from mathematical logic in philosophy of science and the formal axiomatization of scientific theories, in particular theories in physics (classical mechanics and relativity theories).

He is a regular visiting scholar to the Alfréd Rényi Institute of Mathematics in Budapest. His work can be situated in the tradition of the Andréka–Németi School which is inspired by David Hilbert's sixth problem Mathematical Treatment of the Axioms of Physics, by the logical empiricism of the Wiener Kreis, and by Alfred Tarski's initiative Logic, Methodology and Philosophy of Science.

Koen Lefever

Dr. Lefever obtained his Bachelor, Master and Doctor of Philosophy degrees at the Vrije Universiteit Brussel. The supervisors of his PhD research were prof. dr. Jean Paul Van Bendegem and dr. Gergely Székely.Academic genealogy

From 2010 until 2015, he has been teaching Mathematics, Statistics, Information Systems, History & Philosophy of Science, and History of Western Philosophy at Vesalius College Brussels. In 2012, the Vesalius Student Government bestowed its "Best Professor Award" upon him.

Since 2019, he is programme manager at the Belgian Federal Science Policy Office (Belspo), where he is responsible for interdisciplinary oceanographic research and marine sciences. He is a Belgian delegarion member to the general assembliy of the Intergovernemental Oceanographic Commission (IOC-UNESCO), a board member of the European Marine Board (EMB) and of the Joint Programme Initiative Healthy and Productive Seas and Oceans (JPI Oceans), a member of the steering group of the Think Tank North Sea, a member of the general assembly of the European Marine Biology Resource Centre (EMBRC-ERIC), and a member of several advisory committees and expert panels such as on marine spatial planning in the Belgian part of the North Sea.

He has been studying, using, designing and programming computers as a hobbyist since 1975. He has worked in the information systems industry as consultant, analyst, programmer, Unix & Linux systems administrator, database administrator (on Sybase ASE, PostgreSQL, Oracle & IBM Informix), instructor, and digital electronics designer. He is proficient in a broad range of programming languages, from low level machine code and assembly language, over imperative languages such as C, Fortran, Python, Basic, Pascal/Modula2 and various batch/scripting languages, to declarative languages such as SQL and Prolog.

Vrije Universiteit Brussel - Centre for Logic and Philosophy of Science