Badania naukowe

Moje zainteresowania badawcze: logika w informatyce (teoria modeli, więzy mnogościowe, równania na słowach, prawa zero-jedynkowe, logiki z dwiema zmiennymi), programowanie w logice i teoria języków programowania (analiza statyczna, typy, bezpieczeństwo).