Andrzej Trybulec
Andrzej Wojciech Trybulec (born January 29, 1941 , † September 11, 2013 ) was a Polish mathematician. He was the initiator and developer of the Mizar system . His main fields of interest were computer oriented formalization of mathematics , computational linguistics and the semantics of programming languages .
Life
Trybulec was born to Jan W. and Barbara H. Trybulec and grew up in Danzig . He studied mathematics at the University of Warsaw and graduated with a master's degree in 1966. In 1974 he was promoted to Dr. PhD in mathematics, the title of his dissertation was On the Movable Continua .
Scientific career
From 1964 to 1966 he had a teaching position at the Chair of Geometry and then until 1967 at the Institute of Mathematics at the University of Warsaw. From 1967 to 1971 he was an assistant professor at the Technical University in Warsaw. 1971 returned to the University of Warsaw to the Institute of Library and Information Science . In September and October 1973 he was visiting professor at the Institute of Scientic and Technical Information (VINITI) in Moscow, where he discussed the ideas of machine readability of mathematical texts for the first time. From 1978 until his death he taught as a professor at the Institute of Computer Science at the University of Bialystok, interrupted by a visiting professorship (1984–1985) at the Computer Science & Engineering Dept. from Connecticut University at Storrs .
Trybulec was the founder and developer of Mizar and founder of the Mizar Mathematical Library (MML), the world's largest collection of strictly formalized mathematics.
family
Trybulec's sister Krystyna Kuperberg , his brother-in-law Włodzimierz Kuperberg (* 1941) and their son Greg Kuperberg (* 1967) are all well-known mathematicians.
Publications
Trybulec has published a number of papers, most of which have appeared in the journal Formalized Mathematics .
- Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.): Mathematical Knowledge Management: Third International Conference, MKM 2004, Bialowieza, Poland. Springer, New York 2004. ISBN 978-3-540-23029-8
Awards
- Golden Medal of Merit of Warsaw Province, 1978.
- Silver Order of Merit (Order of Merit of the People's Republic of Poland), 1978.
- Golden Order of Merit, 1988.
- Sleszynski Prize, Mizar Users Assoc., 1994 (with Yatsuka Nakamura )
- Kapica Medal, Russian Academy of Natural Sciences, 1995
literature
- Piotr Rudnicki: An overview of the Mizar Project. Proceedings of the 1992 workshop on Types for Proofs and Programs. Chalmers University of Technology, Båstad 1992.
- Roman Matuszewski, Anna Zalewska (eds.): From Insight to Proof: Festschrift in Honor of Andrzej Trybulec. University of Białystok, 2007, ISBN 978-83-7431-128-1 .
Web links
Individual evidence
- ^ In memoriam Andrzej Trybulec
- ↑ www-history.mcs.st-and.ac.uk
- ↑ markun.cs.shinshu-u.ac.jp ( Memento from September 27, 2006 in the Internet Archive )
- ↑ Awards
| personal data | |
|---|---|
| SURNAME | Trybulec, Andrzej |
| ALTERNATIVE NAMES | Trybulec, Andrzej Wojciech (full name) |
| BRIEF DESCRIPTION | Polish mathematician |
| DATE OF BIRTH | January 29, 1941 |
| DATE OF DEATH | 11th September 2013 |