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
back to
Zakład Sztucznej Inteligencji,
Instytut Informatyki