dr hab. Szymon Toruńczyk profesor uczelni
Wydział Matematyki, Informatyki i Mechaniki
Dyscyplina naukowa:
informatyka, matematyka
Zainteresowania badawcze:
Moje zainteresowania dotyczą:
- logika w informatyce teoretycznej
- strukturalna oraz algorytmiczna teoria grafów
- teoria automatów
- teoria modeli skończonych oraz teoria baz danych
- teoria modeli
- teoria złożoności obliczeniowej
description of research interests:
My research interests include:
- logic in computer science
- structural and algorithmic graph theory
- automata theory
- finite model theory and database theory
- model theory
- complexity theory
Realizowane projekty:
Grant ERC CoG (2024-2029):
https://sites.google.com/view/buka-project/home?authuser=0">https://sites.google.com/view/buka-project/home?authuser=0">https://site...
research projects implemented:
ERC Consollidator grant (2024-2029)
https://sites.google.com/view/buka-project/home?authuser=0">https://sites.google.com/view/buka-project/home?authuser=0">https://site...
Słowa kluczowe:
skończona i algorytmiczna teoria modeli
Słowa kluczowe:
finite and algorithmic model theory
Kontakt:
Odnośniki:
Odnośniki:
« Wstecz