Budapesti Műszaki és Gazdaságtudományi Egyetem
| bme.hu
Villamosmérnöki és Informatikai Kar
| vik.bme.hu
Méréstechnika és Információs Rendszerek Tanszék
| mit.bme.hu
education.heroTitle

Education and talent care

We teach sofware engineer students at the BSc, MSc and PhD level; our elective courses offer exciting and state-of-the-art topics.

HomeEducation

Specializations

education.specializations.swdev

Software Engineering (BSc and MSc)

Programming is easy, but high quality software is hard

The goal of the specialization is to teach contemporary development technologies and tools that can be used to design, code, and verify software.

education.specializations.critsys

Critical Systems (MSc)

High expectations necessitates quality work

The mission of the Critical System MSc specialization is to educate leading software and systems engineers, who are capable of designing, developing, and verifying critical software systems, and can easily join the global job market.

Courses

education.subjects.softeng

Software Engineering

BSc

Engineering Aspects of Software Development

The subject aims to teach the design, development, and maintenance of software systems, presenting the tools and methods necessary for producing software as a product.

education.subjects.ase

Automated Software Engineering

BSc specialization

Methods and Tools for Automated Software Development

The subject introduces the process of designing new languages, enhancing developer environments, implementing continuous integration, and executing various testing and performance measurement techniques with statistical analysis.

education.subjects.remo

System Modeling

BSc elective

Fundamental Processes and Tools of Model-Based System Design

Our comprehensive subject builds upon previous courses in the curriculum to demonstrate model-based system design through relevant industry examples and tools.

education.subjects.form

Formal Methods

MSc

Using formal methods for design, implementation and analysis

Students learn to create formal models and become familiar with various formal methods and technologies, their advantages, disadvantages, and basic tools.

education.subjects.thrustAI

Trustworthy AI and Data Analysis

MSc

Reliability Aspects of Artificial Intelligence and Data Analysis

The aim of the subject is for students to understand the reliability aspects of artificial intelligence and data analysis and integrate them into the software development process.

education.subjects.mdsd

Model-based Software Development

MSc specialization

Technologies for domain-specific modeling and tool development

We introduce the use of domain-specific modeling languages in the context of model-based software design processes and industrial implementation technologies.

education.subjects.rdds

Reliable Distributed and Decentralized Systems

MSc specialization

Cloud-Based, Autonomous, Adaptive/Reconfigurable Systems

We review key technologies related to distributed and decentralized systems, emphasizing algorithmic, modeling, and service security aspects.

education.subjects.avt

Automated Verification Techniques

MSc specialization

Modern Testing and Verification Techniques, Tools

The objective of the subject is to acquaint students with various verification techniques applicable throughout the entire software and system development life cycle.

education.subjects.swvv

Software Verification and Validation

PhD

Mathematical foundations of formal V&V methods

The aim of the subject is to provide a systematic overview of verification and validation methods used in software development, emphasizing the mathematical foundations of formal verification techniques.

education.subjects.emprete

Empirical Systems Engineering and Modeling

PhD

Assuring extra-functional properties during design and operations

We present techniques that bridge the continuous world of metrics with discrete qualitative models of computer systems, touching upon key application areas.

education.subjects.blockchain

Blockchain Technologies and Applications

Elective

Technologies and tools for designing blockchain-based systems

The subject emphasizes the creation and integration of general-purpose business services and Cyber-Physical Systems (CPS) application cases.

education.subjects.maviz

Data Analysis and Visualizaton for Engineers

Elective

How to turn data into information using visual methods?

We introduce students to the application possibilities of visual data analysis, primarily in the design and evaluation of computer systems.

Project work

Our students can start to work on engaging topics during their first project work course. We offer project and thesis topics ranging from practical developments inspired by our industrial partners to challenging research problems with strong theoretical background. Our goal is to find topics for students, where they can deepen their knowledge and improve their skills.

Project work

Systems Engineering (BSc)

Impulzus 41:2, page 47

The systems thinking approach is illustrated in the courses, but the material is hands-on and can be used in the practice. I was able to find the joy of research, the research groups pays attention to the individual work of the students.”

Critical Systems (MSc)

Impulzus 42:2, page 51

Both the BSc and MSc specialization outperformed my initial expectations. I have not thought before that are so many exciting at the research group.”

Talent care

Motivated students can start to work with us even in the beginning of their undergraduate studies, and later join our international research and innovation projects or one of our open source developments.

We offer special talent care opportunities and unique one-on-one mentoring for our talented students.

Students' achievements

education.achievements.publications

Joint publications

Research results with our students are published in prestigous publications. For example, in the recent years we had joint publications at the EMSOFT conference (New York) or in the STTT and STVR leading journals.

education.achievements.workplaces

Typical workplaces

Our students have no problem in finding the perfect job. You can find our past students at start-ups, big tech companies or international R&D centers, frequently in senior positions.

education.achievements.scholarships

Awards and scholarships

Our students perform exceptionally well on university or national student research competations and scholarships. They take part in various international visits and summer schools (e.g. in Switzerland or Germany).

Contact <0>{{firstName}} {{lastName}}</0> with questions related to our research group
Current version: https://github.com/ftsrg/ftsrg.github.io/commit/a7d7ffd49fc80e1998df2dd1d0fe789cff7a3629