Marek Zeman

• Home Adress: Budatínska 19, 851 05 Bratislava
• E-mail: mzeman AT dcs.fmph.uniba.sk, zemco AT ksp.sk
• Phone: +421 904 448 461

Education

• Since September 2010: PhD studies at the Faculty of Mathematics, Physics and Informatics of Comenius University.
• PhD thesis: Usefulness and time criticality of information in formal computational models, supervisor Professor B. Rovan.
• September 2008 - June 2010: Master studies at the same faculty, major Informatics. Graduated with honours.
• Master thesis: Computational complexity of game Net - problem of determining existence of a solution.
• September 2005 - June 2008: Bachelor studies at the same faculty, major Informatics. Graduated with honours.
• Bachelor thesis: Theory of recursive functions, primitive recursion and link to standard computational models.
• September 1997 - June 2005: High School, Gymnázium Jura Hronca in Bratislava.

Languages

• English (advanced)
• Russian (upper intermediate)
• German (elementary)
• French (elementary)

Conferences

• SOFSEM 2014 (Theory and Practice in Computer science), Novy Smokovec, Slovakia. Work in Progress session attendant.
• ITAT 2013 (Information Technologies - Applications and Theory), Donovaly, Slovakia. Conference attendance.
• MFCS 2012, Bratislava. Member of technical organizing team.
• SOFSEM 2011 (Theory and Practice in Computer science), Novy Smokovec, Slovakia. Member of technical organizing team.
• Students Science Conference (Študentská vedecká konferencia) 2010, College round, with paper "Computational complexity of game Net" - winner of the category Theoretical computer science and graph theory.

Publications

• Branislav Rovan, Marek Zeman, Modeling time criticality of information, Information Processing Letters, Volume 114, Issue 3, March 2014, Pages 147-151, ISSN 0020-0190, ScienceDirect link.

Teaching and Supervising Experience

• Supervised one bachelor thesis and several student software engineering projects.
• Spring 2014, Spring 2013, Spring 2012: Teaching assistant at Comenius University, System programming. Basics to Assembly language, system calls in C language, processes, networking...
• Autumn 2013: Teaching assistant at Comenius University, Programming in C/C++.
• Autumn 2010 - Spring 2013: Teaching assistant at Comenius University, Formal languages and automata. Basic and advanced courses.
• 2009/2010 - Teaching at Gymnazium Jura Hronca: efficient algorithm development and preparation for Olympiad in informatics.
• 2007/2008 - Teaching at Gymnazium Jura Hronca: efficient algorithm development and preparation for Olympiad in informatics.
• 2005/2006 - Teaching at Gymnazium Jura Hronca: programming in Pascal and introduction to efficient algorithm development.

Work Experience and Activities

• June - August 2014: Google internship, Zurich, Switzerland. Youtube, Content-ID. The goal of the project was to experiment with moving some parts of video match detection service to GPUs. This would result in significant CPU savings. Languages used: C++ and CUDA C/C++.
• June - August 2012: Facebook internship, Menlo Park, CA. Work in infrastructure (large distributed cache system). The goal of the project was to improve failover behavior of memcache servers. The project resulted in increased reliability of entire cache layer. Languages used: C and PHP.
• Since September 2008: High School programming competition ZENIT, head of the technical organising committee. ZENIT is a traditional high school programming competition in Slovakia (possibly the oldest one). I took it over in 2008 and my contribution includes both regular work (preparation of tasks and evaluation data) and overall technical development (improvements in judge system and competition organization). Currently, around 1000 high and elementary schoolers take part in the competition and the number is growing year by year.
• March 2008 - August 2010: Developer at MicroStep-MIS company. Development of software linked to meteorology and meteorological monitoring systems in Java or C++. Primarily desktop applications (swing GUI), some experience in console and web applications. Main project was to develop a desktop application both for Windows and Linux, which could connect to an automated weather station and download collected data or manage its configuration.
• Since September 2005 - Organizing Correspondence Seminar in Programming (CSP). Voluntary work with young programming talents. This work includes preparing algorithm tasks, doing lectures lectures about algorithms and computer science in general and organizing camps.
• Experience in newspaper work (Pravda). Writing, editing, statistical work.

Projects

• 2013, Website for basic programming course at Comenius University (in Slovak only, using PHP & Symfony, website allows to submit a solution for automated judgement).
• 2009, Attendance predictor for football club Spartak Trnava home matches (project for machine learning course; using linear regression).
• 2009, Parser for SLR grammars (given a grammar description, yield a parsing table; project for compiler course).

Competitions in Informatics

• Deputy Leader of Slovak team in International Olympiad in Informatics, July 2011 in Pattaya City, Thailand
• Member of Scientific Committee in Central European Olympiad in Informatics, July 2010 in Košice, Slovakia
• Member of Comenius University ACM ICPC team in ČVUT Open programming contest in 2009 and 2010
• Member of Comenius University ACM ICPC team in Central European Programming Contest in November 2008, 15th place
• Deputy Leader of Slovak team in Central European Olympiad in Informatics, July 2008 in Dresden, Germany
• TopCoder rated member, top rating 1820 (top rank 628)
• Google CodeJam participant (top rank 890), Facebook HackerCup participant (top rank 180)

Interests

• Football (playing and spectating)
• Swimming, Bike
• Table tennis, billiards
• Tea drinking
• Arts, cinema and theatre
• Regular blood donor

LinkedIn profile