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:

schwarzw@inf.ug.edu.pl

Uwaga:

W semetrze zimowym 2020/2021 zajêcia odbędą się według planu przy pomocy Micosoft Teams.
Linki do spotkania w MSTemas znadują się na mojej stronie "Teaching".

Zadania dla uczestników laboratoriów zostaną podane na stronach wykładów.
Ponieważ wykłady nie odbędą się stacjonarnie, na stronach wykładów będę dołączać materiały do samodzielnej pracy.

Uczestników seminarium proszę o wysłanie prezentacji drogą elektroniczną.

Termin konsultacji proszę uzgadniać ze mną drogą elektroniczną.

W razie pytań proszę o kontakt mailowy.

---

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 Calculemus Project

• Mechanized Reasoning Systems

• The CoFI Project

• History of Mathematics Archive

Written Stuff

Teaching (in Polish)