• Wstęp do programowania (podejście imperatywne)
  
• Podstawy matematyki
• Metody realizacji języków programowania
• Logika i teoria typów
• Logika
• Języki, automaty i obliczenia
• Programowanie funkcyjne
• Zaawansowane programowanie funkcyjne (Advanced functional programming

• przepisywanie termów
• rachunek lambda i systemy typów
• dowodzenie twierdzeń, systemy wspomagania dowodzenia
• specyfikacja i weryfikacja programów
• bezpieczeństwo

Niektóre poprzednie projekty:

• Automatyzacja wnioskowania konstruktywnego - grant finansowany przez Narodowe Centrum Nauki
• MOBIUS - Mobility, Ubiquity and Security, EU funded Integrated Project
• TYPES - Types for Proofs and Programs, EU funded Coordination Action