Generalist software developer with main interests in algorithms, mathematical optimization, programming languages, artificial intelligence, and using the right tools for the job.
Founder of Progopedia - free encyclopedia of programming languages (http://progopedia.com/ with Russian version http://progopedia.ru).
Likes: | python prolog c++ sql artificial-intelligence |
AI frameworks team: PyTorch, CNTK, ONNX, Horovod.
DoubleClick Search (ads) bid optimization team.
Worked on positive train control (PTC) system for railroads.
Freelance projects on Elance.com, Freelancer.com and TopCoder.com: PHP, Django, Python, HTML + CSS, JavaScript, Ajax, jQuery, Unix shell, SQL, Lisp.
Own projects: Progopedia - free encyclopedia of programming languages (http://progopedia.com with Russian version at http://progopedia.ru), several small Russian-language projects.
Was working in a small team on developing HTML5 application from legacy prototype for a client. Successfully delivered two iterations of the software, including major code and architecture refactoring.
Telecommuting in competitive crowdsourcing environment. Clients list includes companies like PayPal and IBM.
Some projects completed for TopCoder clients as a software developer:
I was a finalist of TopCoder Open 2010 Development Contest. My TopCoder username is kit1980
Mostly Python (Django and Pylons frameworks), AJAX (with help of jQuery). PostgreSQL as database server.
Technical Director of a small e-commerce company (programming, quality assurance, system administration, coordinating external developers work, coordinating multi-language translation efforts, staff hiring and other).
PHP, some Perl and Microsoft Access programming for small e-commerce company.
Picat is a new logic-based programming language. In many ways, Picat is similar to Prolog, especially B-Prolog, but it has functions in addition to predicates, pattern-matching instead of unification…
In this paper we present several examples of solving algorithmic problems from the Google Code Jam programming contest with Picat programming language using declarative techniques: constraint logic programming and tabled logic programming. In some cases the use of Picat simplifies the implementation compared to conventional imperative programming languages, while in others it allows to directly convert the problem statement into an efficiently solvable declarative problem specification without inventing an imperative algorithm.
In this paper we demonstrate several examples of solving challenging algorithmic problems from the Google Code Jam programming contest with the Prolog-based ECLiPSe system using declarative techniques like constraint logic programming and linear (integer) programming. These problems were designed to be solved by inventing clever algorithms and efficiently implementing them in a conventional imperative programming language, but we present relatively simple declarative programs in ECLiPSe that are fast enough to find answers within the time limit imposed by the contest rules. We claim that declarative programming with ECLiPSe is better suited for solving certain common kinds of programming problems offered in Google Code Jam than imperative programming. We show this by comparing the mental steps required to come up with both kinds of solutions.
Progopedia is a free web-based encyclopedia of programming languages. The project aims to create an exhaustive list of existing programming languages (including language implementations and versions), to provide structured information about them and to present solutions to a set of standard programming tasks in these languages.
Founder, admin.
First Computer: | Sinclair ZX-Spectrum |
Favorite Editor: | Emacs |