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