Contact

dr. Koen Lefever
Centre for Logic and Philosophy of Science (CLPS)
Faculteit Letteren en Wijsbegeerte
Vrije Universiteit Brussel
Pleinlaan 2
B-1050 Brussel
Belgium

koen.lefever@vub.be

Profiles

Research Interests

Philosophy of Science
Many-Sorted First-Order Logic
Definability Theory
Definitional Equivalence / Logical Synonymity
Logical Interpretation & Logical Translation
Axiomatizations of Classical and Relativistic Theories in Physics
Cylindric & Concept Algebras
Artificial Intelligence
Information Systems and Technology
Computational philosophy
Interdisciplinary research
Policy of Oceanographic Research and Marine Sciences
Philosophy of Science Policy

Links

Ghent University

Teaching Assistant: January 2016 - September 2016

Logica II - Syllabus in Dutch (PDF)

Vesalius College, Vrije Universiteit Brussel

Lecturer: May 2010 - August 2015

History and Philosophy Of Science - Syllabus (PDF)
History of Western Philosophy - Syllabus (PDF)
Introduction to Statistics
Intermediate Statistics - Syllabus (PDF)
Quantitative Methods - Syllabus (PDF)
Mathematics for Business and Economics - Syllabus (PDF)
Advanced Mathematics for Business and Economics
Information Systems - Syllabus (PDF)

Mathematics tutor: January 2011 - August 2015

English and Math Workspace - Poster (PDF)

"Best Professor Award" 2012 by Vesalius Student Government

INTEC Brussel vzw

Instructor: October 2005 - September 2007

Unix and Linux Systems and Services Administration - Example exam in Dutch (PDF)
Scripting in bash and SQL
Logic for Information Technologies
Virtualization Workshop (VMware Server and Xen)
Database Migration Workshop (from Microsoft SQL Server on Windows to Sybase ASE on Linux)
UEFI Workshop

Youth Computer Club

1984-1985

Booleaanse Algebra - course notes in Dutch (PDF)

Vrije Universiteit Brussel - Centre for Logic and Philosophy of Science