Robert Knast

(1 V 1940 Lublin – 15 XII 1994 Poznań)

W latach 1954–1958 uczęszczał do Liceum Ogólnokształcącego nr 11 w Zielonej Górze. Po zdaniu matury studiował w latach 1958–1963 na Wydziale Elektrycznym Politechniki Poznańskiej, a w latach 1963–1967 na kierunku matematyka na UAM. W roku 1969 uzyskał doktorat na Wydziale Elektrycznym Politechniki Poznańskiej (promotor: Tadeusz Puchałka). W latach 1963–1970 pracował jako asystent i starszy asystent w Zakładzie Podstaw Automatyki Politechniki Poznańskiej. W roku 1970 przeszedł do Zakładu Podstaw Matematyki Instytutu Matematycznego PAN, Oddział w Poznaniu, gdzie pracował na stanowisku adiunkta do roku 1993. W latach 1993–1994 był adiunktem w Zakładzie Logiki Matematycznej Wydziału Matematyki i Informatyki UAM. Zajmował się naukowo  kombinatoryczną teorią półgrup i języków formalnych (teoria rozmaitości języków). Opublikował ok. 22 prac.

Opracował Roman Murawski