Strukturovaný životopis
(CV in English)Osobní údaje
| Jméno a příjmení | Mgr. Martin Děcký |
|---|---|
| Datum a místo narození | 15. 7. 1981 Opava, Československo |
| Rodinný stav | svobodný, bezdětný |
| Státní příslušnost | Česká republika |
| Bydliště | Vřesová 17 181 00 Praha 8 – Troja Česká republika |
| Kontakt | tel.: +420 607 849 873 e-mail: martin@decky.cz web: http://www.decky.cz/ |
Vzdělání a stáže
| 2010 | 40th International Summer School in Marktoberdorf, Germany Software and Systems Safety: Specification and Verification Advanced Study Institute of the NATO Science for Peace and Security Programme |
|---|---|
| 2006 — současnost | Matematicko-fyzikální faktulta, Univerzita Karlova v Praze postgraduální studium informatiky (softwarové systémy) Katedra distribuovaných a spolehlivých systémů |
| 2001 — 2006 | Matematicko-fyzikální faktulta, Univerzita Karlova v Praze magisterský studijní obor informatika (softwarové systémy) |
Praxe
| 2008 | SciSys UK Ltd., Velká Británie programátor (Real-Time Java assessment project) |
|---|---|
| 2008 — současnost | Matematicko-fyzikální fakulta Univerzity Karlovy v Praze, Česká republika vědecký pracovník (Katedra distribuovaných a spolehlivých systémů |
| 2002 — současnost | Modry.cz, Česká republika administrátor, prográmátor (správa serverů, administrace webhostingových služeb, programování administračních nástrojů) |
| 2002 — 2007 | E-Invent s. r. o., Česká republika programátor, vedoucí vývojového týmu (návrh a implementace informačních systémů a webových portálů, především ve státní správě) |
Jazykové znalosti
| anglický jazyk | velmi dobře |
|---|---|
| německý jazyk | velmi dobře |
Recenzované publikace
| Děcký M.: A Road to a Formally Verified General-Purpose Operating System, accepted for publication in the Proceeding of the 1st International Symposium on Architecting Critical Systems (federated with CompArch 2010), Springer (LNCS), Jun 2010, PDF (326 KB) |
| Bureš T., Děcký M., Hnětynka P., Kofroň J., Parízek P., Plášil F., Poch T., Šerý O., Tůma P.: CoCoME in SOFA, Proceedings of the CoCoME project, Springer (LNCS), srpen 2008, PDF (317 KB) |
| Bulej L., Bureš T., Coupaye T., Děcký M., Ježek P., Parízek P., Plášil F., Poch T., Rivierre N., Šerý O., Tůma P.: CoCoME in Fractal, Proceedings of the CoCoME project, Springer (LNCS), srpen 2008, PDF (515 KB) |
| Babka, V., Bulej, L., Děcký, M., Holub, V., Tůma, P.: Teaching Operating Systems: Student Assignments and the Software Engineering Perspective, Proceedings of the 2008 International Workshop on Software Engineering in East and South Europe (SEESE), ACM, May 2008, link |
| Babka V., Děcký M., Tůma P.: Resource Sharing in Performance Models, Proceedings of Fourth European Performance Engineering Workshop (EPEW 2007), Springer (LNCS), září 2007, PDF (403 KB) |
| Děcký M.: Mechanismy virtualizace běhu operačních systémů, diplomová práce, MFF UK, srpen 2006, PDF (754 KB), PS (4 MB) |
Profesní dovednosti
Operační systémy
- GNU/Linux (aplikační a systémové programování, znalost kernelu)
- Windows XP/2003 (aplikační a systémové programování)
- FreeBSD, NetBSD, OpenBSD, Mac OS X, Irix, Solaris, QNX
Programování
- Aktivní znalost jazyků C, C++, Pascal, Perl, Java, PHP, Prolog, Lisp/Scheme, Haskell, Promela, JavaScript, Bash, AWK
- Znalost assembleru procesorů rodiny IA-32 (x86), IA-64, AMD64, MIPS, PowerPC
- Znalost distribuovaného prostředí CORBA a dalších middleware prostředků
- Procesní algebra, modelování, behavior protocols
- Překladače GCC, Visual Studio C++
- Prostředí Delphi/Kylix, C++ Builder, NetBeans, Eclipse, Visual Studio
Databáze
- Znalost SQL
- Praxe s databázemi Oracle, MaxDB, MS SQL, PostgreSQL, MySQL
Webové technologie
- Znalost HTML, XHTML, DOM, CSS, SOAP
- Praxe ve vývoji webových aplikací pomocí PHP, Perl (CGI obecně)
Sítě, Internet
- Konfigurace a administrace služeb nad TCP/IP (DNS, SSH, HTTP, SSL, SMTP, POP3, IMAP, SMB, NFS, AFS, DHCP atd.)
- Konkrétní znalost produktů Apache, Bind, OpenSSH, Exim, Dovecot, Samba, OpenAFS, MySQL, PostgreSQL a dalších
- Internetworking, firewally, heterogenní prostředí, bezpečnostní politiky
Aplikační software
TeX, OpenOffice.org, Adobe Photoshop, Adobe InDesign, Adobe Premiere Pro, Bentley MicroStation
Teoretické znalosti
- Metody procedurálního (strukturovaného, objektového) i neprocedurálního programování, algoritmy a datové struktury
- Elementární vysokoškolská matematika
- Znalosti teoretické informatiky (principy a konstrukce hardwarových komponent, operačních systémů a překladačů)
Titulní stránka
Curriculum Vitae
