Hello, I'm Bruno Teheux
Assistant Professor at the University of Luxembourg
Welcome to my academic portfolio. This page presents my research contributions, my teaching activities, and my public engagement initiatives in mathematics.

About me
I am an Assistant Professor at the Department of Mathematics of the University of Luxembourg, focusing on research in mathematical logic and universal algebra. My work connects various semantics for non-classical logics.
My research interests include:
- Many-valued logics and their algebraic semantics
- Modal logics and their topological semantics
- Logic for computer science
- Universal algebras, lattice and duality theory
- Ordered algebraic structures
My teaching portfolio spans multiple levels of instruction—bachelor’s, master’s, and continuing education—with courses ranging from Discrete Mathematics for IT students to Advanced Graph Theory.
Beyond research and teaching, I’m dedicated to developing innovative outreach initiatives that bridge contemporary mathematical concepts with broader audiences, creating various entry points to modern mathematics.
In my spare time, I learn trumpet, hike in Luxembourg and go to the playground with my kids.
Short CV
Administrative & Service Roles
Elected Member of the Staff Delegation
Go-to Person of the Doctoral School
Member of the Advance Mentorship Programi of Uni.lu
Feature Editor for EMS Magazine
Secretary of the Luxembourg Mathematical Society
Research
Publications
Each of the following publication is linked to an electronic version from a public repository.
Peer-reviewed Articles
Other Publications
Projects
I am currently or have been recently involved in the following research projects.
GRACE
Choice
GPS
Research Team
Current Members
- Franceso Tognetti - PhD Candidate
- Simon Lemal - PhD Candidate (co-supervised with Nick Bezhanishvili)
Former Members
- Wolfgang Poiger - PhD Candidate 2020 - 2024
- Francesca Guffanti - Postdoc 2023-2024
Teaching
My teaching portfolio spans across various programs, disciplines, and levels. I regularly supervise student projects and theses, and oversee the “Math Forge” department initiative, which offers activities to help Bachelor of Mathematics students successfully transition from high school to university.
Here is a list and description of the recent courses I’ve been responsible for.
Period: 2016 - Present
This introductory course to discrete mathematics aims at providing a basic toolkit to first-year IT students. It covers fundamentals such as propositional logic, naive set theory, elements of combinatorics, basic arithmetic, and modular arithmetic. It also introduces notions of order and graph theory. Connections with problems arising from IT are made apparent throughout the course.References:
- Harris Kwong. A spiral Workbook for Discrete Mathematics. LibrTexts, 2O21.
- Eric Lehman, F. Thomson Leighton and Alberty R. Meyer. Mathematics for Computer Science. LibreTexts, 2021
- Franck Leprévost. How big is big? How fast is fast?: a hands on tutorial on mathematics of computation. S.I.: Amazon
- Oscar Levin. Discrete Mathematics. An open Introduction, 3rd edition.
Period: 2023 - Present
This course serves two fundamental objectives. First, it introduces essential mathematical structures that form the foundation of the bachelor’s degree in mathematics. Second, it introduce students to authentic mathematical thinking—the systematic intellectual approach characteristic of the discipline.
The course introduces propositional calculus, naive set theory (including an introduction to infinite cardinals), relations and functions, the language of predicate logic, proof techniques, order and equivalence relations, modular arithmetic, permutations, groups, and homomorphisms. Weekly exercise sessions are organized to support student learning and provide hands-on practice with the theoretical concepts.
References:
- Oscar Lewin. Discrete Mathematics - An Open Introduction.
- Richard Hammack. Book of Proof, 3rd edition, 2018.
- Paul Halmos. Naive Set Theory, Springer-Verlag, 1974.
Period: 2013 - 2023
This course provides a general introduction to the fundamental concepts of point-set topology. It aims to establish the necessary foundation for students to pursue further studies in algebraic topology. The course covers topological spaces and continuous transformations, connectedness, compactness, separation axioms, and product topology (quotient topology will be introduced if time permits).
The material is reinforced through essential weekly exercise sessions that help students develop problem-solving skills and deepen their understanding of abstract concepts.
The challenge of this course lies in its significant step up in abstraction from the first-year bachelor courses, requiring students to develop new mathematical intuition and reasoning abilities.
References:
- John L. Kelley. General Topology. Dover Publications, 2017
- J.Munkres. Topology. Pearson, 2014.
Period: 2021 - Present (every other year)
This course provides a standard introduction to graph theory for Bachelor students in mathematics. It focuses on the most relevant topics, problem-solving methods, and proof techniques, while occasionally considering algorithmic aspects.
The course content includes an introduction to graphs and digraphs, trees and spanning trees, shortest path algorithms, Eulerian graphs, Hamiltonian graphs, and planar graphs.
Exercises are an integral part of the learning process and will help students develop their problem-solving skills and deepen their understanding of theoretical concepts.
References:
- J. Matousek and J. Nesetril. Invitation to Discrete Mathematics. Second edition. Oxford University Press, 2008.
- J. A. Bondy and U. S. R. Murty. Graph Theory with Applications. North-Holland, 1976.
- D. Jungnickel. Graphs, Networks and Algorithms. Fourth edition.i Springer-Verlag, 2013
Period: 2025 - Present (every other year)
References:
- J. Matousek and J. Nesetril. Invitation to Discrete Mathematics. Second edition. Oxford University Press, 2008.
Period: 2021 - 2022
Graphs constitute a fundamental data structure for representing and analyzing complex relational information. This course offers a comprehensive introduction to graph theory, striking a careful balance between abstract mathematical concepts and practical algorithmic applications.
The curriculum begins with essential definitions and terminology before exploring key topics including: graph traversal techniques and shortest path algorithms, minimum spanning tree constructions, network flow analysis and the min cut-max flow theorem, and clustering algorithms and their applications.
References:
- D. Jungnickel. Graphs, Networks and Algorithms. Fourth edition.i Springer-Verlag, 2013
Period: 2020 - Present
This course serves as a second course in Graph Theory for mathematics students. It introduces a selection of more advanced topics and problems that have significantly contributed to the development and reputation of the field.
The course is structured in two main parts. The first part focuses on vertex colorings, including an introduction to chromatic polynomials and perfect graphs. The second part explores algebraic flows and the flow-duality theorem.
Additionally, we examine selected sporadic problems of current interest in graph theory, which may vary from year to year.
References:
- J. A. Bondy and U. S. R. Murty. Graph Theory with Applications. North-Holland, 1976.
- D. Jungnickel. Graphs, Networks and Algorithms. Fourth edition.i Springer-Verlag, 2013
Period: 2024 - Present
This course serves a dual purpose. First, it introduces the foundational principles of lattice theory with computer science applications in mind. Second, it explores practical applications of lattices in computer science, including Conflict-Free Replicated Data Types, parallel programming, and abstract interpretation.
I am responsible for the lattice theory component, covering essential concepts such as partial orders, lattices, lattice constructions, complete lattices, fixed-point theorems, closure operators, and Galois connections.
References:
- B. A. Davey and H. A. Priestley. Introduction to lattices and Order. Cambridge University Presse, 2002
Outreach
Under Construction
This section is currently being developed. Please check back later for updates on mathematical outreach activities.