[Jacek Śliwerski]

(rzyjontko)

Foreword

Red links point to documents written entirely (and exclusively) in the Polish language.

Summary

I was born in Łódź, Poland.
I have graduated in Computer Science from the University of Wrocław (thesis), and the Saarland University (thesis).
I speak Polish, English, and German.
I play football, and guitar.
I enjoy traveling. I have already been to 22 countries in Europe, 3 in the Middle East and 4 American States (+ DC).
I used to be a member of Rotaract Wrocław.

[ Back to top ]

Experience

Industry

Goldman Sachs (Warsaw, Poland) [since 04.2013]
Developer.
Acxiom (Warsaw, Poland) [11.2007 - 03.2013]
Developer.
Comarch (Cracow, Poland; Dresden, Germany) [11.2005 - 09.2007]
Organization of the team for the software adjustment to the German market. As a result of cooperation of my team with the scientists from the University of Technology in Dresden we have prepared the presentation:
- API Changes - How Far Would You Go?
  In Proc. 11^th European Conference on Software Maintenance and Reengineering (CSMR 2007).
Tannhauser Gate (Wrocław, Poland) [12.2001 - 01.2002]
Networking for massive multiplayer game Mimesis Online, administering game servers, porting C code from Windows to Linux.

Science

Directional Type Checker
I have implemented a type checker for prolog. Actually, I have implemented more than one as we were curious how far can one go with today's computers. Not far.
International Max Planck Research School for Computer Science
As a member of Software Evolution group I was trying to predict the risk of future changes in large, mature software projects. We have prepared the following 2 publications:
- When Do Changes Induce Fixes?
  In Proc. International Workshop on Mining Software Repositories (MSR 2005).
- HATARI: Raising Risk Awareness
  In Proc. ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2005).
During my stay in Saarbrücken, I have participated in the Dagstuhl Seminar on Multi-Version Software Analysis.
Nemerle
Nemerle is a hybrid programming language, which combines functional, objective, and imperative methodologies. The project has received funding from Microsoft Research.
My contributions include patches to standard library, emacs syntax mode, design of the build system, and debian packages.

Open Source Community

Open-Tran.eu
Open-Tran.eu offers an easy access to the translations of open source projects. It acts as a kind of a central Memory Translation database where you can look up a translation suggestion or compare the translations across some of the largest, highest-quality open-source projects: OpenOffice.org, Mozilla (of Firefox fame), KDE and GNOME among others.
I have created the service and have been maintaining it since February 2007.
Debian
I have successfully completed all the steps in New Maintainer process for Debian project, but have been rejected because of lack of the time I could devote to the project.
Elmo
Elmo is a feature-rich console mail client for UN*X power users. It integrates functionality commonly realized by separate pieces of software in other mailers.
I was the project leader and wrote most of the code.
Argante R Compiler
Procedural language compiler (with C-like syntax) for Argante operating system.
I designed the language and implemented the compiler.
Libtrash
Libtrash is a shared library which implements a trash can under GNU/Linux. When preloaded, it intercepts calls to a series of GNU libc functions and, instead of permanently destroying files, moves them to a "trash can".
I added regular expression support and improved performance.
Słownik Synonimów
Open Source thesaurus for the Polish language.
I wrote a set of macros for Emacs that automate finding synonyms.

[ Back to top ]

Expertise

Theory

Below I list several things I had to understand, use or implement. These are only the issues that I find complex or difficult. That you don't find binary trees or quicksort here, doesn't mean I don't understand them; it's just I don't find them particularly challenging. And before you ask... no, I don't expect to use this knowledge.

Data Structures: Suffix-Trees, OBDD, Mergable Heaps (Binomial, Fibonacci), Automata on Infinite Inputs (Büchi, Müller, Rabin, Streett), Tree-Automata on Finite and Infinite Inputs.
Static Analysis: Automatic Verification (PLTL - spin, CTL), Semi-Automatic Verification (Invariance, etc. - pvs), Parity Games, μ-calculus, CTL*, Directional Types for Logic Programs.
Algorithms: Rational Approximation with Continued Fractions, LLL, Heuristics for A* (FF, k-Subsets, PatternDB), Linear In-Place Array Merging.
Computational Complexity: undecidability, complete problems in various time/space classes (NP, coNP, PSpace, etc.), and their meaning.

Languages

This is the list of programing languages in which I have written at least one simple program (emphasized those with substantial experience):

AWK, Bash, C, C++, C#, CLIPS, Delphi, Java, Lisp, Nemerle, Pascal, Perl, PHP, Prolog, Python, SML, Smalltalk, SQL, x86 Assembler.