Lukas Prokop portrait
Fig.1 portrait
name Lukas Prokop
name (japanese script) プロコップ・ルーカス
birthday 29.04
citizenship Austria
characteristics without religion denomination, ovo lacto vegetarian [0]
series The BigBang Theory, Sherlock, The Simpsons
style of music jazz (Jamie Cullum, etc.),
electroswing (Parov Stelar, Caravan Palace, etc.)
musical instruments saxophone (8 years, jazz & classical)
piano (3 years)
recorder (2 years)
literature Sherlock Holmes, The Code Book
sports Aikidō (合気道), riding the bike, badminton, swimming
blogging since Feb 2007 private weblog
since Jun 2008 to Jul 2009 BRG Viktring Blog
TAOCP coefficient[1] Vol. 1, p. 9
projecteuler Level[2] 19
I know all xkcds up to 800
foreign languages English (FCE Grade C, B2)
French (A2)
hobbies jazz saxophone & piano, following development in web technologies, solving mathematical / algorithmic problems, developing my own projects, listening to podcasts
current oppucation student

Curriculum Vitae

Each span of years refers to the first number of the school year (ie. 2001 = school year 2001/02).

1997-2000 Volkschule 13 Annabichl
2001-2008 BRG Viktring musical focus
1999-2000 Lessons in recorder Musikschule Feldkirchen
2000-2008 Classical saxophone at BRG Viktring
2003-2007 Jazz saxophone Musikschule St. Veit
2007-2008 Jazz saxophone conservatorium Klagenfurt Michael Erian
2006 Jazzdays Wolfsberg (Herwig Gradischnig)
2008 Regular visitations of lectures at university of Klagenfurt ("Introduction to computer science")
2008 Jun First Cambridge Certificate (grade C)
2009-2010 Participation of Treffpunkt Mathematik (engl. "meeting point math", organized by Gerhard Hainscho)
2009 Jul A levels and therefore end of school
2009 Jul Internship as sailor (local lake) and programmer
2009 Aug Begin of civilian service at Red Cross (emergency assistant since Sept 2009)
2010 May Volunteer at Red Cross Klagenfurt
2010 May Internship as sailor
2010 July Emergency swimmer assistant exam passed
2010 Sept matriculation at TU Graz (SEBM, CS)
2011 Jul-Sep Internship at a local company for webdevelopment
PHP webdev, Zend Framework, IPv4
2011 WT Tutor (FOCS)
automaton theory, formal grammars, complexity theory
2012 Aug Summer job as python programmer
Flask, git-python
2012 WT Tutor (FOCS)
2013 Feb Member LaTeX@TUG
2013 Mar TUG Member (TeX User Group)
2013 Feb First attendance of a coursera course (Georgia University of Technology)
2013 WT Tutor (FOCS)
2014 Feb Internship as python programmer
GUI testing, python-dogtail, Test Anything Protocol
2014 Mar Member DruckZeug (local printing and typesetting community)
2014 Jul Bachelor degree in Computer Science
2014 Jul-Aug Internship as Java programmer
JUnit, ECC
2014 Aug Member freefutureforce (community maintaining event location)
2014 Sept Member Grazer Linuxtage (association for support of free soft- and hardware)
2014 WT Tutor (FOCS)
2015 Jan CEPT License received
2015 Apr Bachelor degree in Software development and Business Management
2015 Jul Development of an XML interface (1 month)
python, XML, XSLT, postgresql
2015 Sept Migration/update of a Django web application (1 week)
python, django, docker
2015 Nov Next release for the XML interface (0.5 months)
python, XML, postgresql
2015 Oct Registration as math student (KFU Graz)
2016 Apr grafx@GLT16: graphics work at Grazer Linuxtage 2016
2016 Oct – 2017 Sept Mathematics Exchange student @ Kobe University, Japan

Skills and projects

Started in 2006, I tried to learn HTML & CSS by studying the source code of my brother's website. In addition I learned PHP in december to support the webmaster team of our school communication platform. This way I learned about databases (MySQL in particular), clientside Javascript and software in general. As a result, I had lots of project ideas and spent my whole leisure into different projects.

Based on my interest in algorithmic problems, I learned about math, data structures and other computer science related stuff. I recognized that learning a different programming language might help me in understanding further programming concepts: I decided to learn python. The syntax of python is really something I love up to now. Learning new programming paradigms such as functional and aspect-oriented was also very helpful.

In July 2009 my time at school ended with my A levels and I was sure about studying computer science. However, in Austria we have to go either to the army for half a year or attend a civilian service for 9 months. For me, the second was the better option and I became an emergency assistant. Beside the work I continued my interest in software and finished some old projects. However, time was limited since my work was pretty stressful. Between civilian service and my studies I did different jobs and volunteered at the Red Cross. Computer science was not really the thing I spent the most time on.

When beginning my studies, I was able to focus completely into my field of interest and I cannot describe this period more precisely, because there are really lots of technical concepts I learned during that time. I did not have time to do something fun at the end of my studies which gave me a hard time.

However, my master's degree in CS with a focus on IT security and algorithm theory is about to end. In May 2015 I started my works on my master thesis; a concurrent SAT solver in Go with applications in differential cryptanalysis.

My next goal will be a milestone in my largest software project so far. It focuses on typesetting and typography.


Web and XML technologies
small and medium websites. Using PHP, [X]HTML, CSS[2.1|3], Javascript and SVG. Experience by projects (professional and hobby). Experience in database systems such as PostGreSQL and MySQL. Extensive usage of inkscape and SVG since 2010. Web development with python and Flask since 2011.
—since 2006
General interest and usage of available software
—since 2007
Interest in general problems of math and computer science. Implementation of algorithms in programming languages using existent technical concepts.
—since 2008
Cryptography und discrete mathematics
Extraordinary studies for my A levels. In 2013 bachelor thesis about encodings of problems in differential cryptanalysis with SAT solvers.
My newest field of interest. Focusing on Knuth's TeX (plain ΤeΧ and LuaLaΤeΧ) software and interest in development of modern replacements (XML- and Markup based, Patoline, XSL:FO).
—since 2011


Technologies and topics I was involved with more than the average (or currently are):

PHP, python, Lua, LaTeX & TeX, TWiki & Foswiki, Inkscape, Apache, differential cryptanalysis, Scratch MIT, digital typesetting, …


What does it mean? Decode it!

Version: 3.1
GCS/>M d- s+++:-- a-- C+++ U++ P++ L++ W+++ N+ w PS R b+ G++ e h! 
br:^ ie:% mo:) va:} de:> zu:} fl:( ss:} ls:& js:|
------END CODE BLOCK------

Hacker Key signature:


I support/accept

person, consuming vegetarian food. This includes eggs and milk products, but excludes meat such as cow, pig and fish. To avoid cultural diversities: When talking about meat I generally mean any food requiring the death of an animal. This is why (eg.) fish is included.
Self-initiated competition. I like Donald Knuth and therefore the TAOCP ("The Art of Computer Programming" by Donald E. Knuth) coefficient refers to the page number I was able to completely understand all the book contents before so I can use introduced concepts in practice. Especially included exercises in the book make it difficult to increase the coefficient.
projecteuler meisterluk profile