Prof. Dr. rer. nat. Christoph Schwarzweller

Adress:

Instytut Informatyki

Uniwersytet Gdański

ul. Wita Stwosza 57

80-952 Gdańsk

Polska

Phone:

+48 58 552-3522

E-mail:

christoph.schwarzweller@ug.edu.pl

Urlop:
23.07.2025 - 24.07.2025
31.07.2025 - 01.09.2025
25.09.2025 - 01.10.2025

Main Interests

• Mechanized Reasoning
• Mathematical Knowledge Management
• Generic Algebraic Algorithms
• Specification and Verification of Algorithms

Minor Interets

• String Rewriting Systmes
• Inductive Inference
• History of Mathematics and Computer Science

Some Links

• The Mizar Project

• Mathematical Knowledge Management

• The Tecton Project

• The Theorema Project

• Mechanized Reasoning Systems

• The CoFI Project

• History of Mathematics Archive

Written Stuff

Teaching (in Polish)