Pavel Shved Moscow, Russia e-mail: pavel.shved@gmail.com web: coldattic.info CURRICULUM VITAE SKILLS AND ABILITIES 1. Programming languages. I know well: C++, Ruby, Perl, C; not so well: OCaml, Bash, SQL, Pascal; know "on hello-world level": Java, PHP. 2. Proven ability to learn new languages if it's necessary for the project. 3. Adept of good engineering practices: I advocated Git over SVN and CVS in our department, and I ScrumMaster the current project. EXPERIENCE Sep 2007 - Current RESEARCH INTERN/DEVELOPER INSTITUTE FOR SYSTEM PROGRAMMING OF RUSSIAN ACADEMY OF SCIENCE There were two major projects I participated. 1. Linux Driver Verification program (Apr 2009 - Current) Studied and improved BLAST—an orphaned open-source tool for static analysis of C programs, the tool itself written in OCaml. Among other improvements, I increased its speed by a factor of hundreds by optimizing bottlenecks with faster algorithms. I designed and implemented several extensions to the static checking algorithms used in BLAST; my Master's Thesis was devoted to some of them. Today I, as a part of our team, also do a lot of infrastructural work for the project, in order to automate driver checking process. I have set up a custom continuous build server that runs tests before commits. I designed how to port our application to run in a cloud, and implemented the relevant infrastructure in Ruby (cluster controller and the scheduler I programmed run over AMQP). We use Scrum, and I am the Scrum master of this project. 2. Linux Standard Base infrastructure (Sep 2007 - Mar 2009) Within the contract of the employer and the Linux Foundation, I designed and implemented a tool to automatically harvest information of an interface of C++ shared libraries on Linux, keep track on backward binary compatibility and to generate hypertext interconnected headers. Database with sources contained millions of rows and had to have optimized queries. Also, I improved C++ support in Linux Standard Base tools; for instance, revised and implemented verification of virtual tables in system libraries. Researched C++ ABI and binary compatibility, published a paper about it (it's referenced from GCC manual). May 2009 - Aug 2009 GOOGLE SUMMER OF CODE STUDENT Refactored source code of OpenJDK7 to make it compliant with Linux Standard Base rules. Backported changes to IcedTea6. Worked with LSB workgroup on the standard C library specifications. Successfully accomplished the project. EDUCATION 2004 - 2008 B.S. Applied Mathematics Moscow Institute of Physics and Technology 2008 - 2010 M.S. System Programming Moscow Institute of Physics and Technology OTHER * I use Gentoo Linux on my desktop PC; * I run a programming blog at http://coldattic.info/ with 1000 hits a month. I developed the backend of it in Ruby, along with personal image gallery and video storage; * I have 2 conference publications, and three more are under a review at the moment; * I was an active StackOverflow user, and now I'm ranked #680 out of more than 500,000 users; * I found a bug in GCC. THE END