Oktatás és tehetséggondozás
A csoport a mérnökinformatikus BSc, MSc és PhD képzésben is jelen van, választható tárgyaink pedig izgalmas és naprakész tudást adnak hallgatóinknak.
Specializációk
Rendszertervezés (BSc)
Tervezés és integráció a szoftveren innen és túlEgy modern kiber-fizikai rendszer olyan megbízható és intelligens komponensekbol és szolgáltatásokból álló, döntően szoftveralapú nyílt rendszer, amely az Interneten keresztül közvetlen összeköttetésben áll a különféle mobil- és okoseszközökkel, a külvilágot érzékelő szenzorokkal és beavatkozókkal, a szinte korlátlan kapacitású számítási felhővel – és azokkal a kritikus alrendszerekkel is, amelyek helyes működésén életek múlnak.
A specializáció célja olyan rendszermérnökök képzése, akik képesek e modern rendszerek specifikálására, tervezésére, integrációjára, ellenőrzésére és megvalósítására egy felülről lefelé történő, modellcentrikus megközelítéssel, amely már napjainkban is domináns a kritikus rendszerek számos területén (pl. autó, repülőgép, gyógyászati berendezések, bioinformatika).
Szoftverfejlesztés (BSc)
Programozni bárki megtanulhat, de jól csinálni nehézA specializáció célja megismertetni a hallgatókat azokkal a kurrens szoftvertechnikákkal és eszközökkel, amelyek informatikai rendszerek megvalósításához, teszteléséhez, karbantartásához és dokumentálásához szükségesek.
A specializáció kiemelt hangsúlyt fektet a legfrissebb szoftverirányzatok teljes spektrumának lefedésére, különös tekintettel a kliens oldalra és az informatikai háttérrendszerek fejlesztésére, a vonatkozó megvalósítási technikákra, heterogén platformok rendszerintegrációs elveire, olyan igényes grafikai információmegjelenítési és felhasználói interfész kialakítási módszerekre és fejlesztési technológiákra, amelyek követik a felhasználói igényeket, valamint a korszerű rendszerfejlesztési koncepcióknak való megfelelés követelményeire.
Tantárgyaink
Rendszermodellezés
Az informatikai rendszerek tervezési folyamatának modellalapú megközelítései
Informatikai rendszertervezés
A modellalapú rendszertervezés alapvető folyamatai és eszközei
Formális módszerek
Formális modelleken alapuló tervezés és megvalósítás, formális analízis
Kiberfizikai rendszerek
Felhőalapú, autonóm, adaptív/átkonfigurálható beágyazott rendszerek
Modellalapú rendszertervezés
Szakterület-specifikus modellezés és eszközfejlesztés technológiája
Szoftver- és rendszerellenőrzés
Automatikus ellenőrzési és tesztelési technikák, eszközök
Empirikus rendszertervezés
Extrafunkcionális tulajdonságok garantálása tervezéskor és üzemeltetéskor
Szoftver verifikáció és validáció
Formális verifikációs és validációs módszerek matematikai háttere
'Big Data' elemzési módszerek
Nagy adatmennyiségből adódó speciális problémák kezelése
Blockchain technológiák és alkalmazások
Blockchain eszközök alapvető tervezési elvei és sajátosságai, alkalmazásai
DevOps
A rendszerfejlesztés és ‑üzemeltetés automatizálása és kapcsolódásai
Mérési adatok vizuális elemzése
Hogyan lesz az adatból információ? Hogyan találjuk meg a tűt a szénakazalban?
Önálló munka
Hallgatóink változatos témákon dolgozhatnak már a témalabortól kezdődően: az ipari partnereink által inspirált gyakorlati fejlesztési feladatoktól kezdve az elméleti jellegű kutatási témákig széles spektrumon biztosítunk konzultációt. Célunk, hogy hallgatóink olyan témákat találjanak, amikben elmélyülnek és szakmailag fejlődnek.
Tehetséggondozás
A motivált, érdeklődő hallgatókat szívesen látjuk már a BSc tanulmányaik kezdetén. Ők később a közös munka során rendszeresen bekapcsolódnak nemzetközi kutatási és ipari projektjeinkbe, nyílt forráskódú szoftverfejlesztéseinkbe.
Számukra tehetséggondozó programot, kiemelt konzultációs hátteret és egyéni mentorálást biztosítunk a TDK konferenciától kezdve egészen a doktori képzés végéig.
Hallgatóink eredményei
Jellemző munkahelyek
Hallgatóinknak nem esik nehezükre elhelyezkedni a végzés után: start-up cégeknél, multinacionális cégek hazai vagy akár nemzetközi fejlesztőközpontjaiban mind-mind megtalálhatók volt hallgatóink, nem ritkán senior pozícióban.
