Grzegorz Bancerek
|
Grzegorz Bancerek | |
|---|---|---|
|
Projekt Mizar | |
| Serwer Megrez | | |
| Adiunkt | ||||
| Instytut Informatyki
Politechnika Białostocka |
ul. Wiejska 45A
15-351 Białystok Polska |
tel: +48 (85) 742 8206
fax: +48 (85) 742 2393 |
||
| Poprzednio JSPS Postdoctoral Fellow | ||||
| Department of Information Engineering
Faculty of Engineering Shinshu University |
380-8553 Japan
Nagano-ken, Nagano-city Wakasato 4-17-1 |
tel: +81 (26) 269 5462
fax: +81 (26) 269 5495 |
||
| Poprzednio Adiunkt | ||||
| Instytut Informatyki
Wydział Matematyczno-Fizyczny Uniwersytet w Białymstoku |
ul. Akademicka 2
15-267 Białystok Polska |
tel: +48 (85) 7457559
fax: +48 (85) 7457073 |
Magisterium z matematyki, Uniwersytet Warszawski, Filia w Białymstoku
(obecnie Uniwersytet w Białymstoku)
Praca magisterska: ``Mizar jako metajęzyk dla teorii zbiorów ZF'', 1990.
Doktorat z matematyki,
Instytut Matematyczny,
Polska Akademia Nauk.
Teza doktorska: ``O pewnym algebraicznym podejściu do dowodów
w intuicjonistycznej logice zdań i pewnych fragmentów logiki liniowej
oraz morfizmów pokrewnych kategorii'',
1997.
Moja dziedziną badań jest komputerowo wspomagana formalizacja matematyki, mechaniczne tłumaczenie i generowanie teksów, algebraiczne aspekty teorii kategorii i logiki.
Moje działalność jest związana z Mizar project, Japonese Mizar web site, Journal of Formalized Mathematics oraz Mizar codification of the theory of continuous lattices.
| Curriculum vitae: | Nagrody
Publikacje Przebieg zatrudnienia |