aacimp 2011 computer science

32
VI SUMMER SCHOOL “ACHIEVEMENTS AND APPLICATIONS OF CONTEMPORARY INFORMATICS, MATHEMATICS AND PHYSICS” (AACIMP-2011) Introductory lectures in CS-stream August 8, 2011 Kyiv, Ukraine

Upload: ssa-kpi

Post on 20-Jun-2015

468 views

Category:

Education


1 download

TRANSCRIPT

Page 1: AACIMP 2011 Computer Science

VI SUMMER SCHOOL“ACHIEVEMENTS AND APPLICATIONSOF CONTEMPORARY INFORMATICS, MATHEMATICS AND PHYSICS”(AACIMP-2011)

Introductory lectures in CS-streamAugust 8, 2011Kyiv, Ukraine

Page 2: AACIMP 2011 Computer Science

AACIMPGENERAL POINTSCS-stream

Room:

258 , build. #1 Hours in stream:

47 h Code in booklet

CS-xx Lecture duration

50 min Break duration

10 min

Page 3: AACIMP 2011 Computer Science

AACIMPCOMPUTER SCIENCECS-stream

The stream “Computer Science” introduces participants contemporary programming technologies, modern techniques and methodologies concerning the whole cycle of software development, project management tools and approaches for working at IT-projects, latest researches, held by strong specialists in this area.

Page 4: AACIMP 2011 Computer Science

Program overview

Page 5: AACIMP 2011 Computer Science

Actuality and novelty Diversity Quality

of topics, fields, approaches,teaching methods, studying etc.

AACIMP-2010MAIN CONCEPTS OF THE PROGRAMCS-stream program

Page 6: AACIMP 2011 Computer Science

STREAM STRUCTURECS-stream program

CoursesFunctional programming language

CS-01 Introduction to Erlang - functional programming language (9 h)

CS-02 Introduction to Practical Functional Programming using F# (5 h)

JavaCS-03 Java Performance (8 h)

Information securityCS-05 Information Security (6 h)

Page 7: AACIMP 2011 Computer Science

STREAM STRUCTURECS-stream program

CoursesSoftware engineering

CS-06 Software Design and Design Patterns (6 h)CS-07 User Interface Design and Prototyping (3 h)CS-08 Introduction to Version Control Systems (1 h)CS-09 Introduction to Agile Project Management (2 h)CS-10 Introduction to Clouds in real life (1 h)CS-12 Using Azure Development Environment (2 h)CS-04 Requirements Based Testing (3 h)

Page 8: AACIMP 2011 Computer Science

STREAM STRUCTURECS-stream program

LecturesCS-11 Telecommunication Industry Transformation.

Challenges and Opportunities (1 h)SGC-09 Numerical computations with infinite and

infinitesimal numbers and the Infinity Computer (2 h)

SGC-11 Synchronization of clocks (2 h)SGC-14 Siemens online project “Smart Cities in

Ukraine” (1 h)

Page 9: AACIMP 2011 Computer Science

STREAM SCHEDULE

Mon Tue Wed Thu Fri Sat

08.08-13.08

15.08-20.08

CS-02CS-09

CS-stream program

CS-11

CS-01

CS-08

CS-03

CS-12

CS-10

CGS-11

CGS-09

CS-07

CS-06 CS-05

CS-04

SGC-14

Page 10: AACIMP 2011 Computer Science

INTRODUCTION TO ERLANG – FUNCTIONAL PROGRAMMING LANGUAGECS-01

Tutor

Vasilij Savin IT Consultant, teaching assistant Uppsala University; UAB Sintagma;Netlight Consulting AB, Sweden

E-mail: [email protected]

Course overviewIn this course, students will learn how to solve problems in a functional way and how to develop simple concurrent programs. The course consists of 3 modules: Basic Erlang, Sequential Erlang (Funs & Lists), Concurrent Programming in Erlang.

10.08-11.08

Page 11: AACIMP 2011 Computer Science

INTRODUCTION TO PRACTICAL FUNCTIONAL PROGRAMMING USING F#CS-02

Tutor

Dmitriy SoshnikovPh.D.Microsoft Russia; National Research University “Higher School of Economics”, RussiaE-mail: [email protected]

Course overviewThe course starts with introduction into functional programming and language F#. Afterwards, both recursive data structures and purely functional data structures are discussed as well; attention is also paid to monadic expressions. One of the main emphasizes of the course refers to parallel and asynchronous computations at F#.

09.08

Page 12: AACIMP 2011 Computer Science

JAVA PERFORMANCECS-03

Tutor

Zdenek TronicekPh.D. in informatics, professorFaculty of Information Technology,Czech Technical University, Czech Republic

E-mail: [email protected]

Course overviewIn this course, students learn how to approach performance tuning, how to find a bottleneck in Java program, and how to solve common performance problems. The course consists of four modules: “Introduction”, “Performance Testing”, “Memory Management”, and “Threads and Synchronization”.

12.08-13.08

Page 13: AACIMP 2011 Computer Science

SOFTWARE DESIGN AND DESIGN PATTERNSCS-06

Course overviewIn this course, students will acquire general knowledge how to reason about and design complex and large system. The lectures cover basic aspects and principles of software architecture and design patterns.

17.08

Tutor

Vasilij Savin IT Consultant, teaching assistant Uppsala University; UAB Sintagma;Netlight Consulting AB, Sweden

E-mail: [email protected]

Page 14: AACIMP 2011 Computer Science

USER INTERFACE DESIGN AND PROTOTYPINGCS-07, room 40(3)

Tutor

Aleksej LeonovM.Sc. in System analysis, M.Sc in Administrative managementPhoenix Capital Investment Bank, Ukraine

E-mail: [email protected]

Course overviewThis course examines basics aspects of UI Design and teaches you how to create a sound user interface. You gain an understanding of the overall user interface design process, learn how to develop personas and create prototypes, how to ordering disorder with grids and many other techniques and approaches.  

16.08

Page 15: AACIMP 2011 Computer Science

INTRODUCTION TO AGILE PROJECT MANAGEMENTCS-09

Lecture overviewIn this lecture, students acquire general understanding about project management and agile practices. The main focus is on SCRUM project management technique and Extreme Programming (XP) practices.

08.08

Tutor

Vasilij Savin IT Consultant, teaching assistant Uppsala University; UAB Sintagma;Netlight Consulting AB, Sweden

E-mail: [email protected]

Page 16: AACIMP 2011 Computer Science

INTRODUCTION TO VERSION CONTROL SYSTEMSCS-08

Lecture overviewThis course examines basics aspects of working with Revision control systems and why this systems “must have” in almost every real world software development process. You get an understanding basics of revision control systems workflow on real life examples using GIT (one of most popular revision control systems) and GitHub.com service. 

11.08

Tutor

Aleksej LeonovM.Sc. in System analysis, M.Sc in Administrative managementPhoenix Capital Investment Bank, Ukraine

E-mail: [email protected]

Page 17: AACIMP 2011 Computer Science

INTRODUCTION TO CLOUDS IN REAL LIFECS-10

Lecture overviewThis lecture makes a practical introduction to Cloud computing and using clouds in real life. Participants examine basics aspects of clouds, their types (SaaS, IaaS, PaaS etc.) and what all this terms are really meaning. Students get understanding how one can use clouds in his own products, what benefits and difficulties he gets and overall, does it worth it or not.

15.08

Tutor

Aleksej LeonovM.Sc. in System analysis, M.Sc in Administrative managementPhoenix Capital Investment Bank, Ukraine

E-mail: [email protected]

Page 18: AACIMP 2011 Computer Science

USING AZURE DEVELOPMENT ENVIRONMENTCS-12

Lecture overviewThis lecture makes a practical introduction to Cloud computing and using clouds in real life. Participants examine basics aspects of clouds, their types (SaaS, IaaS, PaaS etc.) and what all this terms are really meaning. Students get understanding how one can use clouds in his own products, what benefits and difficulties he gets and overall, does it worth it or not.

15.08

Tutor

Denis PasechnikMicrosoft Ukraine

E-mail: [email protected]

Page 19: AACIMP 2011 Computer Science

REQUIREMENTS BASED TESTINGCS-04

Tutor

Maryna Didkovska Ph.D., associate professorVideo Internet Technologies Ltd., Institute for Applied Systems Analysis , NTUU KPI, UkraineE-mail: [email protected]

Course overviewIn this course, students acquire general understanding about requirement based testing, and main techniques of analyzing, such as ambiguity reviews and cause-effect graphing. The main focus is on requirement itself – what is good and bad requirement, how to validate it, how to create good test case based on it.

18.08

Page 20: AACIMP 2011 Computer Science

INFORMATION SECURITYCS-05

Tutor

Andrey RodionovPh.D. in information securityInstitute of Physics and Technology, NTUU KPI, Ukraine

E-mail: [email protected]

Course overviewIn this course lecturer demonstrates most common vulnerabilities that are permitted during the development of applications, analyzes the causes of their appearance, as well as shows how they can be prevented.

18.08-19.08

Page 21: AACIMP 2011 Computer Science

TELECOMMUNICATION INDUSTRY TRANSFORMATION. CHALLENGES AND OPPORTUNITIES.CS-11

Tutor

Ivan IshchenkoSenior Business Analyst, Group Manager NetCracker Technology Corporation, Ukraine

E-mail: [email protected]

Lecture overviewThe lecture highlights main trends in telecommunication industry, most probable scenarios of its development and what measures are taken by major players to address listed challenges. The lecture also tries to answer the question what world and what communication models we are moving to, what “future shocks” we should be ready to face.

11.08

Page 22: AACIMP 2011 Computer Science

SYNCHRONIZATION OF CLOCKSSGC-11, GPA

Tutor

Tomasz KapitaniakD.Sc. in physics and mathematics, professorDivision of Dynamics, Technical University of Lodz, Poland

E-mail: [email protected]

Lecture overviewThe lecture not only provides a general analysis of random effects in mechanical (engineering) systems, but addresses questions about the nature of randomness, and gives potentially useful tips for gamblers and the gaming industry.

15.08

Page 23: AACIMP 2011 Computer Science

NUMERICAL COMPUTATIONS WITH INFINITE AND INFINITESIMAL NUMBERS AND THE INFINITY COMPUTERSGC-09, GPA

Tutor

Yaroslav SergeyevD.Sc. in Physics and Mathematics, professorUniversity of Calabria, Rende (CS), Italy and N.I. Lobachevski Nizhni Novgorod State University, Russia

E-mail: [email protected]

Lecture overviewThe lecture discusses a new approach to numerical computations, allowing to build a simple and visual arithmetic for working not only with finite numbers, but also with an infinite and infinitesimal quantities.

16.08

Page 24: AACIMP 2011 Computer Science

SIEMENS ONLINE PROJECT “SMART CITIES IN UKRAINE”SGC-14, GPA

Lecture overviewThe lecture present a new on-line project of Siemens company - Smart Cities in Ukraine. Siemens is a largest of its kind engineering conglomerate in Europe. The company acts in three main business sectors: industry, energy and healthcare.

16.08

Tutor

Olena Sambrus

Siemens, Ukraine

Page 25: AACIMP 2011 Computer Science

Organizational issues

Page 26: AACIMP 2011 Computer Science

AACIMPMAIN PLACESOrganizational issues

Destinations: Center (Khreshchatyk)230, 249, 433

Stadium “Olympic”189, 199, 411, 427

Railway Station465

Page 27: AACIMP 2011 Computer Science

AACIMPKPI MAIN BUILDINGOrganizational issues

Daily (except Sunday) from 9:30 to 18:00 participants and tutors may visit the Lounge-room (7), where they can find free access to Wi-Fi, water and tea.

The Chart of Ideas — stand for ideas, comments, suggestions of participants and tutors is also there.

Page 28: AACIMP 2011 Computer Science

AACIMPACCOMMODATION AND MEALSOrganizational issues

Students’ Hostel Address:146 Borshchahivs’ka str.

Entrance is permitted till 23:00 and guest visits till 22:00

Restaurant “Domashnia Kuhnia” Address:31 Prospect Peremogy

Time of a breakfast: 9:00-9:45Time of a lunch: 13:00-14:00Time of a dinner will be changeable and will be announced beforehand by the organizers.

Page 29: AACIMP 2011 Computer Science

Day Time Action Meeting place

8, Mon 16:00 Welcome Party Building №1 entrance hall

9, Tue 15:55 Museum of Kyiv Polytechnic Institute (streams: CS, SGC) Building №1 entrance hall

9, Tue 19:00 Quest The Knowledge Square

10, Wed 15:55 Museum of Kyiv Polytechnic Institute (streams: OR, NS) Building №1 entrance hall

10, Wed 18:00 Kyiv City Tour “Along the Streets of Old Rus City” / Pinchuk Art Centre Red Memorial

11, Thu 18:00 Pinchuk Art Centre / Kyiv City Tour “Along the Streets of Old Rus City” Red Memorial

12, Fri 18:00 Photo Quest Red Memorial

14, Sun 10:00 Excursion Building №1 entrance hall

15, Mon 19:00 River Tour Along the Dnipro Red Memorial

16, Tue 18:45 Kyiv City Tour 2 “Between the Upper City and Pechersk” Red Memorial

18, Thu 18:00 Sport Evening in Hydropark Red Memorial

19, Fri 15:00 Closing Ceremony Building №1 entrance hall

AACIMPSOCIAL EVENTSOrganizational issues

Page 30: AACIMP 2011 Computer Science

AACIMPGENERAL RULESOrganizational issues

According to the Ukrainian law it is forbidden to smoke and drink alcohol in public places.

In case of any damage caused to the property of NTUU “KPI” reimbursement of such damages is accomplished at the expense of a person, who had caused that damage.

Organizing Committee is not responsible for any injury, loss of expensive things, documents or unpredicted expenses incurred during the Summer School.

The badge serves as the admission to lectures, actions and places of residence.

Feel free to contact organizing committee for additional informational for example, a code Wi-Fi access in a students’ hostel and in the main building.

Page 31: AACIMP 2011 Computer Science

AACIMPORGANIZING COMMITTEEOrganizational issues

Responsible on a work with participants – Vika MaryanskaResponsible for a work with tutors – Anton KasyanovTechnical support – Igor Stepanian

Student Science AssociationRoom 299(15), build.#1+38(044) 454 9243+38(096) 623 7423

Stream coordinator

Dmitriy FishmanContacts:+38 050 994 73 [email protected]

Page 32: AACIMP 2011 Computer Science

Thank you for attention.

Questions?

E-mail: [email protected]: summerschool.ssa.org.ua