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

• 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