Institute of Computer Science
University of Bialystok
Akademicka 2, 15-267 Bialystok
Poland
phone (office): (085) 745-75-59
E-mail: milewski@math.uwb.edu.pl
WWW: http://math.uwb.edu.pl/~milewski/ http://alioth.uwb.edu.pl/~robert/
- Computer oriented formalization of mathematics,
- Theory of many sorted algebras,
- Lattice theory,
- Geometries locally coverable by planes,
- Programming (Pascal, Delphi, C++, Perl, HTML-Java Script),
- Groebner bases,
- Rings of polynomials,
- Testing robustness of systems for formalizing mathematics,
- Medical informatics,
- Medical statistics.
Here You can find a BattleShip game (Look also Adam Naumowicz's home page)