Re: Grzegorz Bancerek has passed away

Dear Krystyna,

On Tue, 21 Nov 2017, Krystyna Kuperberg wrote:

> To jest bardzo smutna wiadomość. Czy będzie dla niego wirtualna świeczka
> tak jak była dla Andrzeja?
>
> Krystyna
>

Yes, that's a great idea. This will make a chance to celebrate Grzegorz's 
memory for all those who otherwise won't have the opportunity to visit his 
grave in Choroszcz, where he rested.

I've set up a similar memento page for Grzegorz at:

http://mizar.uwb.edu.pl/cgi-bin/grzegorz/memento

and provided a link to it on the Mizar people page.

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: [email protected]
Ciolkowskiego 1M, 15-245 Bialystok, Poland   http://math.uwb.edu.pl/~adamn/
===========================================================================


>
> On 11/21/17, 16:51, "[email protected] on behalf of Adam
> Naumowicz" <[email protected] on behalf of
> [email protected]> 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: [email protected]
>> Ciolkowskiego 1M, 15-245 Bialystok, Poland
>> http://math.uwb.edu.pl/~adamn/
>> ==========================================================================
>> =
>>
>
>