Wydziały
W roku 2019 w ramach Programu wymiany osobowej studentów i naukowców w
ramach współpracy bilateralnej – Węgry, ogłoszonego przez Narodową Agencję
Wymiany Akademickiej i Tempus Közalapítvány, przyznano grant na wyjazd do
Fault Tolerant Systems Research Group, Department of Measurement and
Information Systems, Budapest University of Technology and Economics.
nr PPN/WYM/2018/1/00065 kierownik projektu: dr inż. Dominik Tomaszuk.
W roku 2019 w ramach konkursu MINIATURA II, ogłoszonego przez Narodowe Centrum Nauki, przyznano grant na realizację projektu „Zastosowanie zaawansowanych metod uczenia maszynowego w badaniu transkryptów RNA raka przełyku”.
nr 2018/02/X/ST6/02571, kierownik projektu: dr Aneta Polewko-Klim.
W roku 2018 w ramach konkursu MINITURA II, ogłoszonego przez Narodowe Centrum Nauki przyznano grant na realizację projektu „Integracja grafowych modeli danych”, kierownik projektu: dr inż. Dominik Tomaszuk.
W roku 2017 w ramach konkursu MINITURA I, ogłoszonego przez Narodowe Centrum Nauki przyznano grant na realizację projektu „Rozwój interaktywnego dowodzenia twierdzeń w systemie Mizar”,
nr DEC-2017/01/X/STG/00012, kierownik projektu: dr Adam Naumowicz.
W roku 2016 decyzją Ministra Nauki i Szkolnictwa Wyższego przyznano grant na lata 2016-2019 na realizację projektu „Emulator środowiska systemu Mizar w systemie Isabelle jako narzędzie umożliwiające niezależną weryfikację bazy MML”
nr DEC-2015/19/D/ST6/01473, kierownik dr Karol Pąk.
W roku 2013 decyzją Ministra Nauki i Szkolnictwa Wyższego przyznano grant na lata 2013-2016 na realizację projektu „Algorytmy poprawy czytelności rozumowań w systemie naturalnej dedukcji”
nr DEC-2012/07/N/ST6/02147, kierownik dr Karol Pąk.
W roku 2009 decyzją Ministra Nauki i Szkolnictwa Wyższego przyznano grant na lata 2009-2011 na realizację projektu „Zarządzanie dużym repozytorium komputerowo zweryfikowanej wiedzy matematycznej”
nr N519 385136, kierownik dr Andrzej Trybulec.
W roku 2009 decyzją Ministra Nauki i Szkolnictwa Wyższego przyznano grant na realizację projektu „Nowoczesne i efektywne kształcenie we współpracy z przedsiębiorstwami”, współfinansowany ze środków Europejskiego Funduszu Strukturalnego.
nr UDA-POKL.04.01.01-00-368/08/00 kierownik dr Anna Rybak.
W roku 2010 decyzją Ministra Nauki i Szkolnictwa Wyższego przyznano grant na lata 2010-2012 na realizację projektu „Opracowanie i zastosowanie bezelementowej metody rozwiązywania złożonych trójwymiarowych zagadnień brzegowych”.
nr N519 579538, kierownik dr hab. Eugeniusz Zieniuk, prof. UwB.