[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] Mizar - Trybulec = ...

Dear Mizar-Forum members,

On behalf of the Mizar team I am writing to share our deepest grief and sorrow after we have received the sad news that Andrzej Trybulec passed away last night.

For all of us He was a model of a researcher who devoted His whole scientific career to develop a project which He created more than 40 years ago and then successfully lead for the rest of His life, gathering around Him enthusiastic scientists from all over the world.

Although formally retired from the university a couple of years ago, He continued to work on Mizar and the Mizar library with His characteristic engagement and dedication. He always had a wealth of stories to share and was always eager for a discussion. Discussions with Andrzej were invaluably inspiring and thought-provoking. He spent his last days preparing a special journal issue to celebrate 40 years of Mizar and working with us on a new grant proposal...

One thing is certain - without Andrzej Mizar will not be the same anymore. But it will no doubt continue. We are sure that Andrzej's pioneering ideas will continue to grow towards His big dream that the Mizar Mathematical Library would form the basis of a modern encyclopedia of computer verified formal mathematics and some day become a standard reference source for working mathematicians.

No words can express the deep emptiness that Andrzej's loss has left in our hearts. At that mournful moment, we wish to extend condolences to Andrzej's sister Krystyna, His two sons Wojciech and Michal, and all of His family and friends.

Adam Naumowicz

Dept. of Programming and Formal Methods  Fax: +48(85)7457662
Institute of Informatics                 Tel: +48(85)7457559 (office)
University of Bialystok                  E-mail: adamn@mizar.org
Sosnowa 64, 15-887 Bialystok, Poland     http://math.uwb.edu.pl/~adamn/