Polskie Towarzystwo Informatyczne
NUMER ARCHIWALNY:     9 / 89 rok VIII | wrzesień 1989
Archiwum
Menu chronologiczne Menu tematyczne


Polskie Towarzystwo Informatyczne

Adam Fierla 1961–1989
 
                Adam Fierla był absolwentem Wydziału Elektroniki Politechniki Wrocławskiej. Studiował trybem indywidualnym wybierając inżynierię oprogramowania jako wiodącą specjalność. Jego praca dyplomowa “Ocena efektywności systemów komputerowych z wykorzystaniem sieci Petriego” została wyróżniona w II konkursie PTI na najlepszą pracę magisterską. Miał dużą kulturę matematyczną i był bardzo dobrym programistą. Po ukończeniu studiów rozpoczął pracę w Centrum Obliczeniowym Politechniki Wrocławskiej. Zajmował się tematyką związaną z formalnymi metodami specyfikacji oprogramowania współbieżnego, w szczególności tematyką związaną z wykorzystaniem logiki modalnej i temporalnej. Ostatnio pracował nad skonstruowaniem zupełnego systemu dowodowego dla nadzbioru CCS stanowiącego jądro języka Lotos.
                Był człowiekiem niezwykle zdolnym. Już w szkole średniej brał udział w wielu olimpiadach — matematycznej, fizycznej, astronomicznej. Zajmował w nich czołowe lokaty, był laureatem olimpiady matematycznej. Studia ukończył z wyróżnieniem. W pracy dał się poznać jako człowiek bardzo solidny, a jednocześnie bardzo skromny i wręcz nieśmiały. Z Jego tragicznym odejściem straciliśmy kolegę i świetnie zapowiadającego się naukowca.

Ludwik Kuźniarz

Archiwum PTI Ewa Łukasik ( elukasik@cs.put.poznan.pl) Grzegorz Przybył ( grzegorz.przybyl@wp.pl ) www.pti.org.pl Kontakt PTI ( pti@pti.org.pl )
Tutorial


Tutorial

Wyszukiwanie

Całość
tylko prodialog
tylko biuletyny
tylko konferencje
tylko multimedia
tylko sprawozdania
tylko uchwały
tylko zawody
tylko zjazdy
pozostałe treści

Rodzaj przeszukiwania
Słowa kluczowe
Pełen tekst

pelen zakres dat
ograniczony zakres
od:

do:




Kontakty

Instytut Informatyki

Polskie Towarzystwo Informatyczne

Nasz Skrzynka Pocztowa

+ - D A