Curriculum Vitae
(Životopis v češtině)Personal
| First and last name | Martin Děcký |
|---|---|
| Academic degree | Mgr. (MSc. equivalent) |
| Date of birth | July 15th 1981 |
| Place of birth | Opava, Czechoslovakia |
| Citizenship | Czech Republic |
Education
| 2006 — present | 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) |
|---|---|
| 2002 — 2010 | Modry.cz, Czech Republic systems administrator, programmer (server and webhosting services administration, development of administration tools) |
| 2008 | SciSys UK Ltd., United Kingdom programmer (Real-Time Java Assessment Project, contracted by European Space Agency) |
| 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
- Extensive knowledge of LaTeX
- General knowledge of formal specification, modeling and verification methods
- University teaching (Operating Systems course labs, Middleware course labs, Crash Dump Analysis lecture, etc.)
- Academic publications
Open Source Contributions
- Co-author of the HelenOS research operating system
HelenOS organization administrator and mentor for Google Summer of Code 2011 and Google Summer of Code 2012 - Linux kernel contributor
EDID fix, HostAP fix, etc. - Fedora Project contributor & package maintainer
VESA VBE GRUB fix, btusb fix, etc.
Title page
Curriculum Vitae