• Inventor of Radio Communication• Prof. Alexander S. Popov

• (1859-1906)

• 1903 • 2011

• Nobel Prize Laureate in Physics (2000)• Prof. Zhores I. Alferov

1886 – The Engineering College of the Russian Post and Telegraph Department was founded in St. Petersburg under the edict of the Russian Emperor Alexander III1891 – The Engineering College was reorganized into the Imperial Institute of Electrical Engineering1924 – The Institute was renamed as Leningrad Electrotechnical Institute (LETI)1992 – The Institute was granted the University status. The name was consequently changed to St. Petersburg Electrotechnical University (ETU) "LETI"

• • The University MissionThe mission of St. Petersburg Electrotechnical University "LETI" is to contribute to society through the pursuit of education, learning, and research at the highest international levels of excellence

• • Education at ETU "LETI"Education at ETU "LETI"

School of Radio School of Radio Engineering and Engineering and

TelecommunicationsTelecommunications

School of Computer School of Computer Science and TechnologyScience and Technology

School of ElectronicsSchool of ElectronicsSchool of Economics and School of Economics and ManagementManagement

School of HumanitiesSchool of Humanities

School of Electrical School of Electrical Engineering and Engineering and

AutomaticsAutomatics

School of Information, School of Information, Measurement, and Measurement, and

Biotechnical SystemsBiotechnical Systems

● About 10 000 students including 400 international students from almost 40 countries

● Near 1200 academics including 130 Professors, 200 Doctors of Science, and more than 700 Ph.D.s

● About 100 major educational programs and over 40 Ph.D. courses

● 40% of academic curricula are devoted to fundamental disciplines

● Over 1600 BSc, MSc, and Integrated Degree Diplomas every year

Faculty of Computer Science and Technology

Master’s Degree Programs

● 010400.68 Applied mathematics and Computer Science

● 010479.68 – Mathematical and Software for Computers

● 220400.68 Control in technical systems

● 220454.68 – Control and Information Technologies in Technical Systems

● 230100.68 Computer systems engineering and informatics

● 230151.68 – Computer Technologies in Engineering

● 230152.68 – Corporate Information Management Systems

● 230156.68 – Computer-Aided Design in Electronics and Mechanical Engineering

● 230161.68 – Microsystem Computer Technologies: Systems on Chips

● 230162.68 – Distributed Intelligent Systems and Technologies

● 230163.68 – Software for Information and Computer Systems

● 230193.68 – Information Systems and Technologies

● 230400.68 Information Systems and Technologies

● 230451.68 – System analytics

● 230452.68 – Management of IT Projects and Software Products

● 230453.68 – Corporate Information Management Systems

● 230454.68 – Distributed Real-Time Computer Systems

● 232051.68 – Development of Distributed Software Systems

Bachelor's Degree Programs

● 010400.62 – Applied Mathematics and Computer Science

● 220100.62 – System Analysis and Control

● 220400.62 – Control in Technical Systems

● 220401.62 – Control and Informatics in Technical Systems

● 230100.62 – Computer Systems Engineering and Informatics

● 230101.62 – Computers, Computer Complexes, Systems and Networks

● 230103.62 – Computer Aided Design Systems

● 230400.62 – Information Systems and Technologies

● 230401.62 – Information Systems and Technologies

● 230406.62 – Information Systems and Technologies in Business

● 231000.62 – Software Engineering

● 231001.62 – Development of Software Information Systems

Mathematics Department№ 2

Founded at 1977

First head of department was academician Mark Bachmakov

Now head of department is professor Alexander Kotochigov

Department has strong specialists in algebra, statistics, discrete math, e-learning.

Among them those who will participate in MetaMath project:

Vladimir Egorov and Sergei Pozdniakov

C U R R I C U L U M V I T A E : V.A. EGOROV● Full professor of Mathematics, St.- Petersburg University of Electrical

Engineering, since 1993

Scientific international experience● Visiting professor, Lund University, Sweden ,1993-94● Visiting professor , University Lille-1, France, ,1999, 2002 ● Grants, Scholarships● Scholarship of C.I.E.S. University Lille-1, France, 1997● Supervisor of Grants of Russian Found of Fundamental Research N 96-0100547

and n 99-01-00724. ● Supervisor of Russian Education Grant E02-1.0-219● Researcher of Grants of Russian Found of Fundamental Research N 01-01-00031,

02-01-010999a, and Grant E00-045

Fields of Interests● Limit theorems of Probability Theory and Mathematical Statistics, Applications of

the Theory of Random Processes● Referee more then 30 candidat’s thesis’s, member of Scientific Council of St.-

Petersburg Informatics and Automation Institute of Russian Academy of Science (2005-2012),member of Sankt-Petersburg Mathematical Society (from 1974).

●

Prof. Sergei Pozdniakov works directions

1) Domain specific languages for description of mathematical tasks and their decisions and verification of formally presented solutions

2) Generation of problems

3) Studying of human cognitive mechanisms and their modeling for productive approach to training

4) e-learning software development to support of productive approach to training

5) development of methods for protocols analysis of trainee interaction with the rich information environment

Every year I teach about 200 students in Discrete Math, Math Logic and Algorithms Theory

Prof. Sergei Pozdniakov works directions

In 2012 we open Internet School of modern informatics and discrete mathematics

Every year from 2004 we organize Distant Contest in maths, science and technologies which base on experiments and researches with special computer laboratories («Construct-Test-Explore»)

•Kaleidoscope of CTE Contest problems

This year we combined all our competitions under common environment which give us possibility to organize new contest during some hours. This year we will hold First Olympiad in Theoretic Informatics and Discrete Math

16 years from 1998 we edit and publish Computer Tools in Education Journal which unite researchers in area of information education technologies and informatics

Known founders of the Computer Tools in Education Journal

Joseph Romanovsky, Svyatoslav Lavrov and

Seymour Papert

E-learning software development

Autogenerated problemsl Javascript based DSL for description of autogenerated problemsl Edit in an IDE or in a Browserl Interaction with Computer Algebra Systemsl Other DSLs intended for non-programming teachersl Examples:l Questions on

● tabular data● DSLs for narrow● domains

l Questions on● natural language● texts (language, math, etc.)