programming world champions from Russia Why and what for Pavel Mavrin Fedor Tsarev Maxim Buzdalov St Petersburg National Research University of IT Mechanics and Optics Computer Technologies ID: 398674
Download Presentation The PPT/PDF document "“We are the champions”:" is the property of its rightful owner. Permission is granted to download and print the materials on this web site for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.
Slide1
“We are the champions”:programming world champions from Russia.Why and what for?
Pavel
Mavrin
,
Fedor
Tsarev
, Maxim
Buzdalov
St. Petersburg National Research University of IT,
Mechanics and Optics
Computer Technologies
Department
European Conference of Young
Presidents Organization (
http://www.ypo.org
/
)
Moscow, 22.09.2012, Ritz-Carlton HotelSlide2
Association for Computing Machinery International Collegiate Programming Contest (ACM ICPC)
Since
1979
, sponsored by IBMBecame world championship in early 90-sTeam = 3 students + 1 computerOver 10000 teams – 2200 universities – 85 countriesMulti-tiered competition:260 Quarterfinals30 SemifinalsWorld Finals (112 teams)Medals are given to top 12 teams – 4 gold medals, 4 silver medals and 4 bronze medals5 semifinals and 2 finals per student at mostWorld Finals 2013 will be hosted by University ITMO
2Slide3
Problem ExampleContest lasts for 5
hours
Problem set: 10-12
problemsProblem “Coffee Central” from ACM ICPC World Finals 2011Coffee shops are located at some of the intersections
3Slide4
Problem ExampleA person is willing to walk at most d
blocks for the morning coffee
Example: d = 2
Write the program to find the location from which you can reach the maximal number of coffee shops for the morning coffee
4Slide5
Problem ExampleSolution for the example – from best location you can reach 3 coffee shops
5Slide6
Russian teams on World FinalsWorld champions:
2000
– St Petersburg SU2001 – St Petersburg SU2004 – University ITMO 2006 – Saratov SU2008 – University ITMO2009 – University ITMO2012 – University ITMOMuch more gold medals6Slide7
2004, Prague, Czech Republic
University ITMO
– 1
-st placeMIT – 5-th placeCaltech – 7-th placeHarvard – 9-th placeSlide8
2004 World Champions
8Slide9
World champions 2004 and President of Russia Vladimir Putin
9Slide10
2008, Banff, CanadaUniversity ITMO – 1-st place
MIT
– 2
-nd placeTsinghua (China) – 6-th placeStanford – 7-th placeAll 11 Russian teams are among top 30 teams of the worldSlide11
World champions 2008 and St. Petersburg governor Valentina Matvienko
11Slide12
2009, Stockholm, SwedenUniversity ITMO – 1-st place
Tsinghua
– 2
-nd placeOxford – 5-th placeMIT – 7-th placeCarnegie Mellon – 8-th placeSlide13
World Champions 2009
13Slide14
World Champions 2009 with President of Russia Dmitry Medvedev
14Slide15
2012, Warsaw, PolandUniversity ITMO – 1-st placeHarvard – 7-th place
University of Tokyo – 11-th place
15Slide16
World Champions 2012
16Slide17
World Champions 2012 and President of Russia Vladimir Putin
17Slide18
Why University ITMO is four times World Champion?
Computer Technologies Department was founded by Vladimir
Vasiliev
(now – rector) and Vladimir Parfenov (now – dean of the IT & Programming faculty) in 1991Goal:To find high school students performing best in mathematics, physics and informaticsTo train them to be high-class software engineersCompetition-based educationBest coach in the world – Andrew StankevichTraditions18Slide19
19Slide20
Secrets of Success Pavel Mavrin – don’t stop when you loseFedor
Tsarev
– find a good teamMaxim Buzdalov – do not rest on laurels20Slide21
What happens after?
21Slide22
How business helps our departmentBest students are invited to work in the university after graduatingSave the intellectual environment and traditions
Teach students
Do research
IT companies sponsor them directlySave The Best initiative: savethebest.ruMail.Ru Group, Yandex, Yota, Transas, JetBrains, Speech Technology Center, eVelopers, DEVINO Telecom 22Slide23
Cooperation with ETH ZurichETH Zurich:21
Nobel
PrizesNever advanced to ACM ICPC World Finals before 2011University ITMO:Participates in ACM ICPC World Finals since 1995Four times ACM ICPC World ChampionsWorld Champions from University ITMO regularly come to ETH Zurich for trainingsResult – ETH Zurich team advanced to World Finals for the first time in the historyEstablishment of Software Engineering and Verification Chair in University ITMO (head – Prof. Bertrand Meyer)Davos Informatics camps for high-school students23Slide24
Plans for the futurePersonal careers – a lot of opportunities For the university – Gennady Korotkevich
, programming prodigy from Belarus
http
://en.wikipedia.org/wiki/Gennady_Korotkevich5 gold medals at International Olympiad in Informatics for high-school students, 3 absolute first placesHighest rated coder at Codeforces and TopCoderNow – first-year student of University ITMOHope to win two more World Championships 24Slide25
Contact information:pavel.mavrin@gmail.comfedor.tsarev@gmail.com
mbuzdalov@gmail.com
St. Petersburg National Research University of IT, Mechanics and OpticsComputer Technologies DepartmentRussia, St. Petersburg, Kronverksky pr. 49 Questions?Slide26
Training for ACM ICPC in University ITMOhttp://neerc.ifmo.ru/trains
Coach – Andrew
Stankevich
President of Russia Award in the area of education (2003), Award for Great Contribution to Spreading ACM ICPC in Europe (2004)Best Coach Award (2009)Five hour trainings two times a weekAbout 70% of first and second year students of Computer Technologies Department take part in trainings Special training camps in winter and summer in PetrozavodskSlide27
Russian Olympiads in Informatics for high-school studentsAll-Russia center for Olympiads in Informatics at Computer Technologies Department
Individual Olympiad (ROI, IOI-style, since 1989)
Team Olympiad (ICPC-style,
http://neerc.ifmo.ru/school, since 2000)Internet Olympiads (http://neerc.ifmo.ru/school/io):Team (ICPC-style, since 2005)Basic levelAdvanced levelIndividual (IOI-style)Basic level (since 2009)Advanced level (since 2006)CD “Programming with champions!” (yet – only in Russian)Basic level of Internet Olympiads50 problems with solutionsPersonal testing system27Slide28
Research at Computer Technologies DepartmentBioinformaticsAlgorithms for analyzing large amounts of genomic dataGenome assembly algorithmsSpin-off company “Cloud Genomics”
Software Engineering
Software verification
Automated programming using artificial intelligence and machine learning28