[Jacek Śliwerski]
(rzyjontko)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 18 foreign countries so far and visited more than 70 European cities since April 2005.
- My geekcode:
-----BEGIN GEEK CODE BLOCK----- Version: 3.12 GCS d s+:- a-- C+ UL+++ P L+++ E+++ W++ N o? K- w-- O-- M- V PS+ PE++ Y PGP++ t--- 5? X R+ tv-- b+ DI-- D+ G e h- r- y+ ------END GEEK CODE BLOCK------
[ Back to top ]
Experience
Industry
- Acxiom
[since 11.2007]
Software Developer. - Comarch Software AG
[02.2006 - 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. 11th European Conference on Software Maintenance and Reengineering (CSMR 2007).
- API
Changes - How Far Would You Go?
- Comarch SA
[11.2005 - 01.2006]
Software Developer. - International
Technology Consulting "Itechon"
[09.2003 - 09.2003]
Java Programmer. - Tannhauser Gate
[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).
- When Do
Changes Induce Fixes?
- 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 submit a whole .po file to the server.
I have created it from the ground up. - 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 ]
Knowledge
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.
Practice
- I have implemented a compiler
of a procedural language to x86 assembler. It is able to perform
the following optimizations:
- elimination of jumps to jumps and jumps over jumps,
- constant folding,
- copy propagation,
- dead code elimination,
- extracting invariant code before the loop,
- replacing multiplications with additions inside loops.
- I have implemented an application which manipulates Béziere surfaces and uses de Casteljau algorithm for approximation of the surface. It is able to display and edit the Utah Teapot, Teacup, and Teaspoon using the original data set.
- Elmo mail client has
two interesting features:
- a statistical spam-filter,
- the agrep search algorithm for finding patterns with possible mistakes online.
Languages
This is the list of programing languages in which I have written at
least one simple program:
AWK,
C,
C++,
C#,
CLIPS,
Delphi,
Java,
Lisp,
Nemerle,
Pascal,
Perl,
PHP,
Prolog,
Python,
SML,
Smalltalk,
SQL,
x86 Assembler.
[ Back to top ]
Words, words, words...
- Linux na California Access G533
- Nie mam Windowsów
- The GNU Privacy Handbook translation also at Linuxpub
- Articles for www.DebianUsers.pl
- Argante OS
- Designing network protocols for multiplayer games [pdf] [ps.gz]
- Statystyczny filtr antyspamowy [pdf] [ps.gz]
- Few tales at Night City Limits
[ Back to top ]
Contact
- IM: I prefer Jabber (sliwers@jabberpl.org). You can try to catch me via Skype, Gadu-Gadu or even MSN but the chances are rather low.
- Email: rzyj@o2.pl
If you happen to have a different e-mail address of mine, don't worry - it is probably valid too... unless it is one of the accounts, I have no control over any more:- rzyj@student.ii.uni.wroc.pl,
- sliwers@mpi-sb.mpg.de,
- sliwers@mpi-inf.mpg.de,
- sliwers@st.cs.uni-sb.de,
- s9jasliw@stud.uni-saarland.de.
- Mobile: (+48) 605 xxxxxx
Meine deutsche Handynummer wird nicht mehr verwendet.
[ Back to top ]
My PGP Public Key
You can download my public key or use the following command to import it automatically:
wget -O - http://sliwerski.net/gpg.pub | gpg --import
[ Back to top ]