Curriculum Vitae

[Životopis v češtině]


First and last name Martin Děcký
Academic degree Ph.D.
Date of birth July 15th 1981
Place of birth Opava, Czechoslovakia
Citizenship Czech Republic
Place of stay Prague, Czech Republic
Contact phone: +420 607 849 873


2017 — present Huawei Technologies, Germany
senior research engineer
(Central Software Institute, IT Software Infrastructure Lab)
2008 — 2018 Faculty of Mathematics and Physics, Charles University, Czech Republic
research scientist
(Department of Distributed and Dependable Systems)
2012 — 2014 Inmite, Czech Republic
systems administrator
(server administration, development of administration tools)
2008 SciSys UK Ltd., United Kingdom
researcher, programmer
(Real-Time Java Assessment Project, contracted by European Space Agency)
2002 — 2010, Czech Republic
systems administrator, programmer
(server and webhosting services administration, development of administration tools)
2002 — 2007 E-Invent s. r. o., Czech Republic
senior programmer, IT architect
(design and implementation of software systems for the public sector)


2006 — 2015 Faculty of Mathematics and Physics, Charles University
postgraduate study of computer science (software systems)
Department of Distributed and Dependable Systems
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 Faculty of Mathematics and Physics, Charles University
masters study of computer science (software systems)

Language skills

English fluent
German fluent
Czech native

Professional skills

Operating systems

  • Application and kernel programming in GNU/Linux, OpenBSD, RTEMS
  • General design knowledge of Windows, Mac OS X, IRIX, Solaris
  • Co-author of the HelenOS research operating system


  • Extensive knowledge of C, C++, Perl, Python, PHP, JavaScript, Pascal, HTML, CSS, shell scripting
  • Extensive knowledge of IA-32 (x86), IA-64, AMD64 (x86-64), MIPS and PowerPC assemblers
  • General knowledge of Java, Prolog, Lisp/Scheme, Haskell, Promela, SQL
  • General knowledge of TCP/IP, CORBA, RPC, RMI, JMS, EJB

Networking, Internet

  • Administration of networking services (Apache, FastCGI, Bind, Exim, Dovecot, Samba, MySQL, etc.)
  • Internetworking, firewalls, heterogeneous environments, security policies


Open Source Contributions