Master's Thesis Projects in Symbolic Logic, Proof Theory, and Theorem Proving

Verfügbar als Thema einer Masterarbeit

Betreuer Tim Lyon
Computational Logic
Beginn
Download

Overview

I supervise Master’s thesis projects in areas related to symbolic logic, proof theory, and automated reasoning. Students interested in formal methods, non-classical logics, decision procedures, verification, or theorem proving are encouraged to contact me to discuss potential projects.

Research topics can range from foundational studies in logic to practical implementation of reasoning tools. Examples include, but are not limited to:

Study and implementation of proof calculi for non-classical logics.
Theoretical investigations of non-classical logics used in computer science and knowledge representation.
Investigation of decision algorithms, proof search strategies, and complexity results.
Development of theorem provers for modal or related logics.
Study and verification (e.g., in Ada/SPARK) of proof transformation algorithms.

Getting in Touch

If you are interested in undertaking a thesis project in any of the areas listed above, or wish to propose a related project of your own, please contact me via email to discuss possible topics:

Email: timothy_stephen.lyon@tu-dresden.de
Office: APB 2031, Andreas-Pfitzmann-Bau, Fakultät für Informatik, TU Dresden

In your email, please briefly introduce yourself, indicate your degree program, and mention any prior experience in logic, programming, or formal methods.

Further Information

Note that the above information is included in a PDF, which can be downloaded with the "download" link on this webpage. For further information, including research interests, descriptions of past projects, and related resources, please see my research page: https://sites.google.com/view/timlyon/home?authuser=0