Martin Děcký – Curriculum Vitae

Curriculum Vitae

[Životopis v češtině]

Personal

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
e-mail: martin@decky.cz
web: http://www.decky.cz/
LinkedIn http://www.linkedin.com/in/martindecky

Education

2006 — 2015 Faculty of Mathematics and Physics, Charles University in Prague
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 in Prague
masters study of computer science (software systems)

Occupations

2008 — present Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic
researcher
(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
programmer
(Real-Time Java Assessment Project, contracted by European Space Agency)
2002 — 2010 Modry.cz, 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)

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

Programming

  • 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

Other

Open Source Contributions

*Title page
+*Curriculum Vitae
+*Publications