CV of Grzegorz Jakacki

Grzegorz Jakacki

Work Experience

Enpoka Warsaw, Poland. Jan 2008-present

High-end software outsourcing services. Partner, CEO, senior developer, recruiter.
Exoweb.net Beijing, China. May 2005-Dec 2007

Design and implementation of distributed web applications. Technical leadership. Mentoring. Recruitment.

Python, Twisted, HTTP, Subversion, Bash, GraphViz, Flash, Laszlo, eXtreme Programming, Scrum.
Huada Electronic Design Co. Beijing, China. Jun 2001-Apr 2005

Design and implementation of ASIC verification tools. Mentoring. Implementation of development processes.

C/C++, STL, Boost, Autotools, Python, CVS, Bash, GraphViz, SystemC, Verilog, compiler technology, eXtreme Programming.
Synopsys, Inc. Marlborough, USA. Jan 2000-May 2001

Design and implementatin of ASIC verification tools.

C/C++, STL, Yacc, Lex, CVS/RCS, VCG, Verilog, compiler technology.
Institute of Informatics of Warsaw University Warsaw, Poland. Oct 1997-Jun 1999

Preparation and implementation of workshops for students. Mentoring. Evaluating tests.

Smalltalk, C++, Assembly Language.
ASPEKT kilcullen Warsaw, Poland; Prague, Czech Republic. 1997-1998

Design and implementation of system for analysis and publication of financial data.

Java, Database technology, TeX, PostScript, MetaPost.
Polish Children Foundation Warsaw, Poland. 1997-2000

Design and implementation of dedicated database system.

MS-Access, C.

OpenC++

Administration of open-source community project. Design, implementation and refactoring of C++ source-to-source translator and frontend library.

C++, Autotools, CVS.
TreeTrack

Design and implementation of source code repository visualization tool.

HTML, CSS, Python, CVS.
StaryHutong

Design and implementation of a website.

CVS, DHTML, PHP, CSS, Python, bitmap processing, JavaScript.
Extendible typesafe API for SystemC and TestBuilder

Design of type-safe introspection API for C++ ASIC simulation library (currently in worldwide distribution by OSCI and Cadence.)

SystemC, C++.
DEMON (Master Thesis Project)
Design and implementation of translator from monadic denotational semantics into language interpreters.

Haskell.
Compiler of non-strict fully-typed functional language with algebraic data types

Implementation and design of static analyzer.

Haskell.
Algebraic solver of recursive equations

Implementation and design.

Standard ML.
Compiler of Java-like typed object-oriented language

Implementation of the compiler.

C, Lex, Yacc.
Interpreter of object-oriented language with dynamic typing

Implementation of the interpretter.

Smalltalk.
Yaromir

Design and implementation of Redcode compiler, debugger and visual VM.

C++, BGI.

MSc. in Computer Science

Institute of Informatics of Warsaw University, Poland 1994-1999
Workshop on advanced C++ techniques

The C++ Seminar, Vancouver, WA, USA 2002
Internal Verilog class

Synopsys 2001

Brainbench Transcript ID#: 4970287

Polish(native), English (fluent), Russian (fair), German (basic), Mandarin Chinese (basic), Spanish (basic), Czech (basic).

OpenC++ Metacompiler and Introspection Library For C++, Software Developer's Journal, August 2005.
G. Jakacki, Aspect-Oriented Techniques for Extracting Characteristics of SystemC Designs, in: Proceedings of ASICON 2003, Beijing, China.
S. Dudani, J. Geada, G. Jakacki, D. Vainer, Dynamic Assertions using TXP, in: Electronic Notes in Theoretical Computer Science 2/55, Elsevier Science, New York, USA, 2001.
G. Jakacki, Structural Abstract Semantics, MSc. thesis., Warsaw University, Poland, 1999.
Numerous articles in Reports of Polish Olympiad in Informatics (also co-edited two issues), OEIZK, Warsaw, Poland, 1997-1999.

A. Alexandrescu, Modern C++ Design, WNT, Warsaw, 2005. (English into Polish.) See also website of Polish edition.
D. E. Knuth, The Art of Computer Programming, Vol. I, WNT, Warsaw, 2001. (English into Polish.)