Laboratory is a joint project of JetBrains and the Department of Software Engineering at the Faculty of Mathematics and Mechanics of Saint Petersburg State University. The Lab was established to carry out scientific research in the area of programming languages, compilers, and tools, and to develop and implement prototypes. It is located in 3246-3251 cubicle at the Faculty of Mathematics and Mechanics of Saint Petersburg State University (Saint Petersburg, Stary Peterhof, Universitetskii pr-t, 28).
During a semester, the Lab supplies some of its students with scholarships. Students with promising results can also be rewarded with one- or two-year research grants to complete their bachelor's or master's theses. Also, those students who successfully graduated from the Laboratory and entered the postgraduate program can hold a Ph.D. research grant (as a rule, a peer-reviewed publication in English is required). In other words, the laboratory gives motivated students a chance to start their academic career.
Besides research projects, the laboratory carries out the following activities:
- Annual summer/winter schools.
- Weekly global seminar.
- Open supplementary courses. The courses are carried out each semester, once a week, and devoted to a certain topic (usually easy to learn). Attendance is open and free.
- Post-graduate internships. The laboratory facilitates self-education and professional development of its members, who are encouraged to visit leading research groups and institutions to explore the cutting-edge research topics.
- Summer internships at JetBrains – they provide an opportunity for students to work at the company for 1-3 months. For those students who have demonstrated promising abilities at the Laboratory on-site internships can be provided as well. In rare cases an extended 5-month internship is available for most outstanding students.
- Annual mini-conference. At this event in the middle of October, students can present the results of their term papers, bachelor's and master's theses, and summer internships.
- Seminar on reading and writing papers – developing specific skills required for reading, analyzing and writing research papers (both in Russian and English). Dr. Dmitry Koznov supervises the seminar.
- Annual proceedings.
New members are always welcomed at the Lab. The best way to join the group is to either attend the global seminar and open courses or choose one of the available research topics to pursue.
The ideal time to enter the Lab is on 4th-5th semester of bachelor's program.
- Seminar on Mechanized proof of the correctness of bounding the maximum response time of a CAN message
- Seminar on Typed Embedding of a Relational Language
- Seminar on Synchronization of Horn Clauses and Unbounded Model Checking
- Dmitry Boulytchev Laboratory supervisor
- Semyon Grigorev Researcher
- Dmitry Koznov Educational Supervisor
- Rustam Azimov Researcher
- Daniil Berezun Researcher, Graduate Student
- Artem Gorokhov Researcher
- Dmitrii Kosarev Researcher
- Peter Lozov Researcher
- Evgenii Moiseenko Researcher
- Anton Podkopaev Researcher, Graduate Student
- Dmitry Rozplokhas Researcher
- Ekaterina Verbitskaia Researcher