Moje badania koncentrują się na dwóch wątkach:

1. Teoria typów i związane z nią logiki konstruktywne


2. Specyfikacja i weryfikacja programów

My research interests focus on

1. type theory and constructive logics


2. software verification and specification

Brałem udział w następujących projektach

• NCN grant "Automatyzacja logiki konstruktywnej"


• MOBIUS">http://mobius.inria.fr/twiki/bin/view/Mobius">MOBIUS - Mobility, Ubiquity and Security, europejski projekt w formacie Integrated Project


• TYPES">http://www.cs.chalmers.se/Cs/Research/Logic/Types/">TYPES - Types for Proofs and Programs, europejski projekt w formacie Coordination Action


• EUTYPES">https://eutypes.cs.ru.nl/">EUTYPES - The European research network on types for programming and verification - Cost Action


• GAMES">http://www.games.rwth-aachen.de/">GAMES - europejski projekt w formacie Research Training Network


• Rozumowanie na temat programów z użyciem narzędzi teorii typów - grant Ministerstwa Nauki i Informatyzacji

I was involved in the following projects

• NCN grant "Automatisation of constructive logic"


• MOBIUS">http://mobius.inria.fr/twiki/bin/view/Mobius">MOBIUS - Mobility, Ubiquity and Security, EU funded Integrated Project


• TYPES">http://www.cs.chalmers.se/Cs/Research/Logic/Types/">TYPES - Types for Proofs and Programs, EU funded Coordination Action


• EUTYPES">https://eutypes.cs.ru.nl/">EUTYPES - The European research network on types for programming and verification


• GAMES">http://www.games.rwth-aachen.de/">GAMES - EU funded Research Training Network


• Reasoning about programs with the help of tools based on the type theory - the grant funded by the Polish Ministry of Science and Informatisation