Multifaceted Informatics
The course fee - that includes tuition fee, accommodation (student residence halls with shared rooms 2-3/ room), meals (breakfast and lunch for each day), local transport and the cost of the leisure time programs - is 470 EUR. All applicants are required to pay 70 EUR (out of this 470) as registration fee within 15 days of submitting their application. The registration fee is non-refundable.
Credits: 3 EC
Our courses offer ECTS points, which may be accepted for credit transfer by the participants' home universities. Those who wish to obtain these credits should inquire about the possible transfer at their home institution prior to their enrollment. The International Strategy Office will send a transcript to those who have fulfilled all the necessary course requirements and request one.
LECTURERS
Dr. Dániel Horpácsi (assistant lecturer);
Péter Bereczky (PhD student)
Dr. Dhulfiqar A Alwahab (assistant professor)
Dr. Anna Szlavi (assistant professor)
Dr. Zsuzsanna Ungvári (assistant professor)
Péter Kovács (Assistant professor)
Ádám Nagy (Assistant professor)
LECTURES
TIMETABLE
|
ELTE BUDAPEST SUMMER UNIVERSITY 2022 – MULTIFACETED INFORMATICS |
||||||
|
Time |
|
2022.07.25. |
2022.07.26. |
2022.07.27. |
2022.07.28. |
2022.07.29. |
|
9:00-10:30 |
Title of the course |
|
Introduction to formal semantics and interactive theorem proving (3) |
DevNet Associate (Hand-on) |
Close Encounters of the Third Kind with a GIS expert: Introduction to Geoinformatics (1) |
The Gender Aspects of Informatics |
|
Tutor(s) |
|
Dr. Dániel Horpácsi - Péter Bereczky |
Dr. Dhulfiqar A Alwahab |
Dr. Zsuzsanna Ungvári North Building 7.55 lab |
Dr. Anna Szlávi |
|
|
10:00-11:00 |
Break |
|||||
|
11:00-12:30 |
Title of the course |
Introduction to formal semantics and interactive theorem proving (1) |
Introduction to formal semantics and interactive theorem proving (4) |
Hand-on Learn how to connect things (IoT) without buying extra tools |
Close Encounters of the Third Kind with a GIS expert: Introduction to Geoinformatics (2) |
The Gender Aspects of Software Design |
|
Tutor(s) |
Dr. Dániel Horpácsi - Péter Bereczky |
Dr. Dániel Horpácsi - Péter Bereczky |
Dr. Dhulfiqar A Alwahab |
Dr. Zsuzsanna Ungvári North Building 7.55 lab |
Dr. Anna Szlávi |
|
|
12:30-13:30 |
Break |
|||||
|
13:30-15:00 |
Title of the course |
Introduction to formal semantics and interactive theorem proving (2) |
Introduction to formal semantics and interactive theorem proving (5) |
Interpolation methods in computer science |
Become a professional traveller! Illustrate your journeys with interactive maps! |
Hardware-specific optimization |
|
Tutor(s) |
Dr. Dániel Horpácsi - Péter Bereczky |
Dr. Dániel Horpácsi - Péter Bereczky |
Péter Kovács |
Dr. Zsuzsanna Ungvári North Building 7.55 lab |
Ádám Nagy |
|
INTRODUCTION TO FORMAL SEMANTICS AND INTERACTIVE THEOREM PROVING
Tutors: Dr. Dániel Horpácsi (assistant lecturer); Péter Bereczky (PhD student)
Summary: The goal of this course is to introduce the idea of the formal, mathematical definition of programming languages, and their implementation in an interactive theorem prover, Coq. We will be discussing the motivation of this theory, and we will overview some fundamental approaches to defining precise program semantics, including operational and denotational techniques. Understanding of the main concepts will be deepened by defining simple languages both in mathematical terms and in the Coq theorem prover. After completing the course, participants will better understand how program execution is modelled and how one can carry out formal arguments about the correctness of program behaviour in Coq.
Prerequisites: Participants are expected to have basic knowledge in set-theoretic foundations of mathematics, mathematical logic, the theory of formal languages, and functional programming.
Highlights: It will be a crash course on a subject that is part of our CS masters programme. Getting familiarity with understanding programming language formalization and interactive theorem proving is a very valuable experience, even more, because the tool we showcase, Coq, is one of the most widely used proof management systems in the software engineering world.
HARDWARE-SPECIFIC OPTIMIZATION
Tutor(s): Ádám Nagy (Assistant professor)
Summary: We will get acquainted with the main types of modern processor architectures and their features during the presentation. We introduce different levels of parallelism (instruction, data, thread, request) and briefly outline some widely used optimization techniques. In doing so, we examine what happens during the execution of already compiled code and what optimization options we have as a programmer for specific hardware. Finally, we present a case study outlining good practices and optimization pitfalls.
Prerequisites: none
DEVNET ASSOCIATE (HAND-ON)
Tutor: Dr. Dhulfiqar A Alwahab (assistant professor)
Summary: Embark on your journey to DevNet Associate certification. Develop software skills needed to become a vital part of today's IT teams. You’ll learn the best practices of modern software development practices, DevOps, and how to securely interact with Application Programming Interfaces (APIs) to automate existing manual processes with only a few lines of code.
Requirements: Basics in Python, Linux and computer networks.
Highlights: Software Skills That Transform IT Infrastructure. All the labs of the course solved by me here
HAND-ON LEARN HOW TO CONNECT THINGS (IOT) WITHOUT BUYING EXTRA TOOLS
Tutor: Dr. Dhulfiqar A Alwahab (assistant professor)
Summary: Nearly every object can now be connected to the Internet -- from washing machines to sophisticated components of an airplane’s jet engine, even organic items like crops and cows. The ability to connect things and capture useful data is transforming organizations in every industry and opening doors for new career specializations. Discover the basis of this exciting and emerging field using fun, hands-on activities to model securely connecting sensors to cloud services over IP networks and collecting data in an end-to-end IoT (Internet of Things) system.
All the labs of the course solved by me here
Requirement: Basic Python
Highlights: From Washing Machines to Jet Engines
INTERPOLATION METHODS IN COMPUTER SCIENCE
Tutor: Péter Kovács (Assistant professor)
Summary: In this talk, we review the polynomial interpolation techniques including some well-known practical applications in computer science. In the first half of the lecture, we give a brief introduction to the mathematical background of basic polynomial interpolation methods, such as the Lagrange and the Hermite interpolation. This is followed by the discussion of well-known theorems on the error and the convergence properties of the mentioned methods. Then, as a piecewise polynomial interpolation approach, we consider the splines. Typical practical usecases will be demonstrated in the second half of the lecture including resampling of audio signals, image resizing, making slow motion videos, implementing simple Photoshop effects such as image inpainting, and designing vector graphic font formats. In addition to the presentation, interactive MatLab demonstrations will be provided.
Prerequisites:
- Precalculus (definition of convergence, continuity differentiability)
- Basics of linear algebra (linear equations, Gauss elimination, etc.)
CLOSE ENCOUNTERS OF THE THIRD KIND WITH A GIS EXPERT: INTRODUCTION TO GEOINFORMATICS (1-2)
Tutor: Dr. Zsuzsanna Ungvári (assistant professor)
Summary: In the first part of the presentation, participants will get familiar with the fields of geoinformatics (GIS), and why it is a special field of informatics. In the next section, the main fields of geoinformatics are going to be presented: collection of spatial data, database building and handling, analysis of spatial and 3D data, as well as visualisation in maps illustrated with several examples. In the last section, participants can become geoinformatics scientists for this day: they are going to be introduced in the basic usage of Google Earth with some practical examples.
Requirements: No prerequisite is needed, but if participant has known the HTML language, the understanding of this course will be easier.
BECOME A PROFESSIONAL TRAVELLER! ILLUSTRATE YOUR JOURNEYS WITH INTERACTIVE MAPS!
Tutor: Dr. Zsuzsanna Ungvári (assistant professor)
Summary: Participants can acquire deeper experiences in geoinformatics: we learn about the story telling in Google Earth. We are going to create an interactive map, which represent a route of exploration in a city. The interactive map making process develop your programming skills, and introduce you to KML file structure.
Requirements: No prerequisite is needed, but if participant has known the HTML language, the understanding of this course will be easier.
THE GENDER ASPECTS OF INFORMATICS AND SOFTWARE DESIGN
Tutor: Dr. Anna Szlavi (assistant professor)
Summary: We are aware that creativity thrives on diversity; therefore, it is crucial in Informatics as well. This consideration is also essential in Human Computer Interaction when looking at the design of usable, useful, and used systems. Women’s scarcity in the IT sector is pronouncedly evident. In the EU28 zone, female IT specialists constitute only 16.5% of the workforce. Women’s low presence in IT is conspicuous not only in the labor market but also in higher education. This course has a dual aim: firstly, to reveal the key barriers that obstruct women from entering and staying in the IT field, and 2) to expose how the lack of diversity leads to technical problems. We propose to start from existing literature and studies reporting how male centered design (where designers, as well as testers and evaluators are mostly male) results in tools with poor usability and disappointing user experience. We aim to illustrate the importance of diversity in IT and software design.
Requirements: none
Highlights: This course covers a very important, yet often neglected aspect, of IT: gender. It is especially recommended for female or gender non conforming students, and students who are interested to learn how to make software design inclusive.
Application
The application form is available on this link.