,
research,
teaching,
cv,
publications,
![]() |
Grzegorz Bancerek |
||
|---|---|---|---|
![]() |
Mizar project | ||
| Megrez server | ![]() |
||
![]() |
MML Query server | ||

| Adiunkt | |||||
![]() |
Faculty of Computer Science
Bialystok Technical University |
ul. Wiejska 45A
15-351 Bialystok Poland |
tel: +48 (85) 746 9116
fax: +48 (85) 746 9057 |
||
![]() |
Faculty of Technical Sciences
University of Finance and Management Elk Branch |
ul. Grunwaldzka 1
19-300 Elk Poland |
tel: +48 (87) 621-80-95 | ||
| Former | 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 |
||
| Adiunkt | |||||
![]() |
Institute of Computer Science
Faculty of Mathematics and Physics University of Bialystok |
ul. Akademicka 2
15-267 Bialystok Poland |
tel: +48 (85) 7457559
fax: +48 (85) 7457073 |
||
| Phd student, Asystent | |||||
![]() |
Institute of Mathematics
Polish Academy of Sciences |
00-956 Warszawa 10, Poland
ul. Sniadeckich 8. P.O.Box 21 |
tel: +48 (22) 5228-100
fax: +48 (22) 629-39-97 |
||