CV of Jan Malakhovski

List of interests, in the order of preference

• Programming languages theory (PLT), functional programming, type theory.
• Operating systems, software security.
• Intuitionistic logic, constructive mathematics.
• Rationality.
• Machine learning, artificial intelligence, related anthropology.
• Analytic philosophy.
• Physics.
• Rational fiction. (A good place to start is Rational Fiction on GoodReads.)
• Non-intuitionistic logics, mathematics in general.

Education and Academic Experience

Timeline

• 2005-2009 : Bachelor’s degree in Computer Science from ITMO University, Saint-Petersburg, Russia under supervision of Anatoly Shalyto.
• 2008-2011 : Teacher Assistant at ITMO.
• 2009-2011 : Masters’ degree in Computer Science from ITMO under supervision of Georgiy Korneev. Graduated with straight A’s.
• 2011-2015 : Lecturer at ITMO. Developer of educational materials for Yandex LLC.
  • Courses: Functional Programming and Proof Checking and Operating Systems.
  • Seminars: Type Theory for Vegetables and Metamathematics.
• 2016-2019 : Ph.D. in Computer Science from IRIT, University Toulouse-3 Paul Sabatier, Toulouse, France under supervision of Sergei Soloviev.
  • The thesis (in English, with summaries in other languages).
  • Papers it started from (all in English): one, two.

Regalia

• “Best student of ITMO”, 2008.
• “Best talk” awards at ITMO Young Scientists’ conference, twice: 2010 and 2011.
• Winner of Saint Petersburg Government’s Award for Students, … and Young Scientists, twice: 2010 and 2011.

List of peer-reviewed papers (co-)authored by me

Work Experience

Timeline

• 2005-2011 : Bachelor’s and Masters’ degrees at ITMO.
• 2007 : First professional work experience in software development.
• 2008-2011 : Teacher Assistant at ITMO.
• 2009-now : Contributing to Free/Libre/Open Source (FLOSS) software projects.
• 2011-2015 : Lecturer at ITMO. Developer of educational materials for Yandex LLC.
• 2015-2016 : Self-employed/Freelance.
• 2016-2019 : Ph.D. at IRIT, University Toulouse-3 Paul Sabatier.
• 2017-2019 : Part time Software and DevOps Engineer at Softbis LLC.
• 2019-2022 : Senior Software and DevOps Engineer at Softbis LLC.
• 2022-now : Self-employed/Freelance.

List of programming languages, in the order of preference, followed by rationalization

• Haskell : easy to write correct programs, good infrastructure, but very heavy compiler and binaries.
• Python : lightweight, lots of good libraries and FFI bindings from C, but slow.
• Scheme : lightweight, slow, but I like how simple meta-programming is.
• Prolog : not frequently useful, but usually lifesaving when it is applicable.
• Lean, Idris, Agda : “better Haskells”, but not nearly enough infrastructure.
• UNIX Shell, Nix, GNU Make : useful glue languages.

List of programming languages, in the order of LOC/year written, followed by rationalization

• UNIX Shell : I like to automate things away.
• Python : when it’s too hard/slow/ugly in UNIX Shell.
• Haskell : when I want it to work 100% of the time.
• Nix : for NixOS.
• C : only when I have to.
• Emacs LISP : because I use Emacs.

List of Free/Libre/Open Source (FLOSS) software projects (co-)authored by me