[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
Re: [mizar] Grzegorz Bancerek has passed away
To jest bardzo smutna wiadomość. Czy będzie dla niego wirtualna świeczka
tak jak była dla Andrzeja?
Krystyna
On 11/21/17, 16:51, "owner-mizar-forum@mizar.uwb.edu.pl on behalf of Adam
Naumowicz" <owner-mizar-forum@mizar.uwb.edu.pl on behalf of
adamn@math.uwb.edu.pl> wrote:
>With deepest regret I have to announce that our colleague Grzegorz
>Bancerek passed away prematurely on November 18th at age 51. Today we
>accompanied Grzegorz on His last journey and united in sorrow with His
>wife Ewa and two children, Bartek and Maria.
>
>Grzegorz was an indispensable member of the Mizar team, who was
>several times awarded with the Sleszynski and Lesniewski Prizes of the
>Association of Mizar Users. He took part in the founding of the Mizar
>Mathematical Library, and He still remains one of the most prolific Mizar
>authors to date with 124 MML contributions. It must be noted that He
>never
>avoided difficult scientific challenges. His formalizations concerned a
>great variety of mathematical domains, including foundations of set
>theory, topology, lattice theory, universal and many-sorted algebra, or
>category theory. He was also the leader of the team-effort project aimed
>to formalize the Compendium of Continuous Lattices in Mizar. Recently,
>His
>works focused on computer science topics, most notably the analysis of
>algorithms and the formalization of the metatheory of the Mizar system.
>
>Being a mathematician by education, Grzegorz was also a self-educated
>programmer who was always keen to discover new technologies and
>programming techniques and to apply them in His projects. Among His
>various tools and services He developed several versions of remote Mizar
>processors, on-line Mizar courses and e-learning classes. But most
>importantly He was the author of the current implementation of the
>translation software used in automatic generation of English math text
>from Mizar articles for the Formalized Mathematics journal, of which He
>was the Scientific Editor. He also developed several data formats and
>on-line systems to help browsing, searching, and analyzing the MML. The
>powerful MML Query system was His invention intended to aid writing Mizar
>articles, but also to explore and present the contents of the Mizar
>library.
>
>For the last nine years Grzegorz was struggling with severe illnesses,
>but
>still remained active and spared no strength for the good of the Mizar
>project.
>
>Personally, I will always remember Grzegorz as a brilliant scientist and
>a
>dedicated university teacher, but also as a very cheerful and open person
>with great devotion to family life, who very much enjoyed Japanese
>cuisine
>and loved playing the guitar classical pieces in His free time.
>
>
>Adam Naumowicz
>
>==========================================================================
>=
>Dept. of Programming and Formal Methods Fax: +48(85)738-83-33
>Institute of Informatics Tel: +48(85)738-83-06
>(office)
>University of Bialystok E-mail: adamn@mizar.org
>Ciolkowskiego 1M, 15-245 Bialystok, Poland
>http://math.uwb.edu.pl/~adamn/
>==========================================================================
>=
>