Martin Děcký – Curriculum Vitae

Strukturovaný životopis

[CV in English]

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 svobodný, bezdětný
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/
LinkedIn http://www.linkedin.com/in/martindecky

Vzdělání a stáže

2006 — 2015 Matematicko-fyzikální faktulta, Univerzita Karlova v Praze
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 v Praze
magisterský studijní obor informatika (softwarové systémy)

Praxe

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ů)
2012 — 2014 Inmite, Česká republika
administrátor
(správa serverů, programování administračních nástrojů)
2008 SciSys UK Ltd., Velká Británie
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ě)

Jazykové znalosti

anglický jazyk velmi dobře
německý jazyk velmi dobře

Recenzované publikace

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, PDF (268 KB)
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, 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, 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čů)