Upload
metamath
View
92
Download
2
Embed Size (px)
Citation preview
• 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.)