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/ |
| http://www.linkedin.com/in/martindecky |
Occupations
| 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 | 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) |
Education
| 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
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.