dr Karol P±k

Unit Department of Programming and Formal Methods
Position adiunkt
Room 2023
Phone 85 738 8310
E-mail address pakkarol@uwb.edu.pl
Web page http://alioth.uwb.edu.pl/~pakkarol/
Tutorial
  • Tuesday 15:00 - 16:30
    p. 2023
Grants
  • 2016 Narodowe Centrum Nauki
    Emulator ¶rodowiska systemu Mizar w systemie Isabelle jako narzędzie umożliwiaj±ce niezależn± weryfikację bazy MML
    # DEC-2015/19/D/ST6/01473
  • 2016 OeAD – Austrian Agency for International Cooperation in Education and Research
    Niezależna weryfikacja logiki systemu Mizar
    # No. PL03/2016 DWM.ZWB.183.5.2016
  • 2013 Narodowe Centrum Nauki
    Algorytmy poprawy czytelno¶ci rozumowań w systemie naturalnej dedukcji
    # DEC-2012/07/N/ST6/02147