PIOTR GAW KOW SKI

Transkrypt

PIOTR GAW KOW SKI
INSTYTUT INFORMATYKI
gawkowski
PIOTR GAWKOWSKI
Piotr Gawkowski urodzi³ siê 19 listopada 1974
roku. W 1993 roku ukoñczy³ Liceum w Zambrowie i rozpocz¹³ studia na Wydziale Elektroniki Politechniki Warszawskiej. Po ukoñczeniu studiów, w 1998 roku, w specjalnoœci Budowa i Oprogramowanie Maszyn Cyfrowych
zosta³ przyjêty na studia doktoranckie. W roku
2005 obroni³ z wyró¿nieniem doktorat. W latach 2003 –2005 pracowa³ na stanowisku asystenta w Instytucie Informatyki Politechniki
Warszawskiej w Zak³adzie Oprogramowania
i Architektury Komputerów, a od 2005 roku na
stanowisku adiunkta.
Od pocz¹tku swej dzia³alnoœci Piotr Gawkowski zajmuje siê problematyk¹ wiarygodnoœci systemów cyfrowych. Inicjatywy badawcze
i prace Piotra Gawkowskiego dotycz¹ przede
wszystkim badañ nad programowymi mechanizmami i algorytmami detekcji i tolerowania
b³êdów oraz technikami eksperymentalnej analizy wiarygodnoœci i ich wykorzystaniem w in¿ynierii oprogramowania do celów weryfikacji
i poprawy wiarygodnoœci systemów komputerowych. W efekcie prac powsta³o wiele narzêdzi (m.in. tak zwanych symulatorów b³êdów oraz systemów wspomagania analizy).
Dziêki ich wykorzystaniu opracowano wiele
algorytmów programowej detekcji i tolerowania b³êdów.
Piotr Gawkowski bra³ udzia³ w grantach
i projektach finansowanych ze œrodków bud-
¿etowych oraz kierowa³ dwoma grantami
dziekañskimi. Zaanga¿owany by³ tak¿e w projekty maj¹ce na celu praktyczne wdro¿enie
wyników prowadzonych prac badawczo-rozwojowych. W latach 2010 –2011 realizowa³
projekty dla firmy SAMSUNG oraz Plum. Piotr
Gawkowski jest autorem lub wspó³autorem
ponad 60 publikacji naukowych.
¯onaty, ma dwie córki. Absolwent szko³y
muzycznej I stopnia w klasie gitary. Oprócz
gitarowej muzyki klasycznej jego muzyczne
gusta kr¹¿¹ wokó³ wszelkiej muzyki gitarowej.
Przez ponad dziesiêæ lat od ukoñczenia szko³y podstawowej by³ cz³onkiem zespo³u muzycznego (gitara elektryczna). Z zami³owania
fizyk i elektronik, lubi¹cy samodzielnie naprawiaæ samochody i motocykle.
Słowa kluczowe
n wiarygodność systemów
cyfrowych
n detekcja i tolerowanie
błędów
n autodiagnostyka
n systemy wbudowane