Strukturovaný životopis
Osobní údaje
| Jméno a příjmení | Mgr. Martin Děcký, Ph.D. |
|---|---|
| Datum a místo narození | 15. 7. 1981 Opava, Československo |
| Rodinný stav | ženatý |
| Státní příslušnost | Česká republika |
| Bydliště | Praha, Česká republika |
| Kontakt | tel.: +420 607 849 873 e-mail: martin@decky.cz web: http://www.decky.cz/ |
| http://www.linkedin.com/in/martindecky |
Zaměstnání
| 2021 — současnost | Kernkonzept GmbH, Německo senior software engineer |
|---|---|
| 2017 — 2021 | Huawei Technologies, Německo principal research engineer (OS Kernel Lab) |
| 2008 — 2018 | Matematicko-fyzikální fakulta, Univerzita Karlova, Česká republika vědecký pracovník (Katedra distribuovaných a spolehlivých systémů) |
| 2012 — 2014 | Inmite, Česká republika administrátor (správa serverů, programování administračních nástrojů) |
| 2008 | SciSys UK Ltd., Velká Británie výzkumník, programátor (Real-Time Java assessment project) |
| 2002 — 2010 | 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ě) |
Vzdělání
| 2006 — 2015 | Matematicko-fyzikální faktulta, Univerzita Karlova postgraduální studium informatiky (softwarové systémy) Katedra distribuovaných a spolehlivých systémů |
|---|---|
| 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 |
| 2001 — 2006 | Matematicko-fyzikální faktulta, Univerzita Karlova magisterský studijní obor informatika (softwarové systémy) |
Jazykové znalosti
| anglický jazyk | expert |
|---|---|
| německý jazyk | pokročilý |
| český jazyk | rodilý mluvčí |
Recenzované publikace
| Barbalace A., Děcký M., Picorel J., Bhatotia P.: blockNDP: Block-storage Near Data Processing, Proceedings of the 21st International Middleware Conference Industrial Track, ACM/IFP, prosinec 2020 |
| Barbalace A., Děcký M., Picorel J.: Smart Software Caches, 8th Workshop on Systems for Multi-core and Heterogeneous Architectures (SFMA 2018), federated with EuroSys 2018, duben 2018 |
| Děcký M.: Application of Software Components in Operating System Design, disertační práce, MFF UK, září 2015, PDF (1 MB) |
| Podzimek A., Děcký M., Bulej L., Tůma P.: A Non-Intrusive Read-Copy-Update for UTS, Proceedings of the 18th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2012), IEEE Computer Society, ISBN 978-1-4673-4565-1, prosinec 2012 |
| Děcký M.: A Road to a Formally Verified General-Purpose Operating System, Proceedings of the 1st International Symposium on Architecting Critical Systems, federated with CompArch 2010, Springer (LNCS), Jun 2010 |
| 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 |
| 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 |
| 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 2008), federated with ICSE 2008, 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 |
| 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, LibreOffice, 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