Menu
  • Maszyny abstrakcyjne dla języków programowania: podejście derywacyjne

    Kierownik: prof. dr hab. Witold Charatonik

    Okres realizacji: 2020-2023

    Projekt badawczy finansowany przez Narodowe Centrum Nauki

  • Algebraic Effects and Continuations

    Kierownik: Maciej Piróg
    Projekt finansowany przez Narodowe Centrum Nauki
    Okres realizacji: 2017–2019

  • Skalowalne metody wnioskowania o imperatywnych programach współbieżnych

    Kierownik: Filip Sieczkowski
    Projekt finansowany przez Narodowe Centrum Nauki
    Okres realizacji: 2017–2020

  • Zastosowanie logiki z funkcjami częściowymi - Kierownik: dr hab Jean Marie de Nivelle

    Okres realizacji: 2016-2019

    Projekt badawczy finansowany przez Narodowe Centrum Nauki

  • Metody wnioskowania o programach w językach wyższego rzędu - Kierownik: prof. dr hab. Witold Charatonik

    Okres realizacji: 2015-2018

    Projekt badawczy finansowany przez Narodowe Centrum Nauki

  • Struktura i interpretacja języków programowania w paradygmacie "dowody jako programy" - Kierownik: dr Małgorzata Biernacka

    Okres realizacji: 2012-2015

    Projekt badawczy finansowany przez Narodowe Centrum Nauki

  • Procedury decyzyjne w weryfikacji - Kierownik: prof. dr hab. Witold Charatonik

    Okres realizacji: 2012-2015

    Projekt badawczy finansowany przez Narodowe Centrum Nauki

  • Semantyka języków programowania i transformacji programów: derywacje i certyfikacja w teorii typów systemu Coq - Kierownik: dr Dariusz Biernacki

    Okres realizacji: 2009-2011

    Projekt finansowany przez Ministerstwo Nauki i Szkolnictwa Wyższego

  • Maszyny abstrakcyjne w implementacji języków programowania: podejście derywacyjne

    Kierownik: dr hab. Dariusz Biernacki

    Okres realizacji: 2021-2022

    Projekt badawczy finansowany przez Narodową Agencję Wymiany Akademickiej