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
Szoftverfejlesztés (BSc és MSc)
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 az informatikai háttérrendszerek fejlesztésére, a vonatkozó megvalósítási technikákra, heterogén platformok rendszerintegrációs elveire, és olyan automatizált technológiákra, amelyek követik a felhasználói igényeket, valamint a korszerű rendszerfejlesztési koncepciókat.
Kritikus rendszerek (MSc)
A nagy felelősség minőségi munkát igényelA biztonság szempontjából kritikus rendszerekkel találkozunk például gépjárművek, vasutak és repülők fedélzeti rendszerei esetén, de ugyanilyen kiemelt jelentőségűek az üzletileg kritikus szolgáltatások és számítógépes infrastruktúrák is. Napjainkban e kritikus rendszerek 70-80%-át szoftver alkalmazások teszik ki. A kritikus rendszerek és szoftverek fejlesztése jelentősen eltér a hagyományos webes és mobil alkalmazásokétól.
A Kritikus rendszerek MSc mellékspecializáció missziója, hogy olyan elit mérnökinformatikusokat képezzen ki, akik jártasak a kritikus rendszerek tervezésében, fejlesztésében, ellenőrzésében és üzemeltetésében, és bármilyen európai munkahelyen megállják a helyüket.
Tantárgyaink
Szoftvertechnológia
Szoftverfejlesztés mérnöki aspektusai
A tantárgy szoftver rendszerek tervezésének, fejlesztésének, karbantartásának tanítását tűzi ki célul, bemutatva a szoftver, mint termék előállításához szükséges eszközöket és módszereket.
Automatizált szoftverfejlesztés
Automatizált szoftverfejlesztési módszerek és eszközök
A tárgyban bemutatjuk új nyelvek tervezésének folyamatát, a fejlesztőkörnyezetek funkcióinak kiegészítését, folytonos integráció megvalósítását, valamint különböző tesztelési és teljesítménymérési technikák végrehajtását és statisztikai elemzését.
Rendszermodellezés
A modellalapú rendszertervezés alapvető folyamatai és eszközei
Elágazó tárgyunk a képzés korábbi tárgyaira építve a modellalapú rendszertervezést iparilag releváns példákon és eszközökön keresztül mutatja be.
Formális módszerek
Formális modelleken alapuló tervezés és megvalósítás, formális analízis
A hallgatók megtanulnak formális modelleket alkotni, illetve megismerik a különböző formális módszereket és technológiákat, ezek előnyeit, hátrányait, és alapvető eszközeit.
Megbízható mesterséges intelligencia és adatelemzés
Mesterséges intelligencia és adatelemzés megbízhatósági aspektusai
A tantárgy célja, hogy a hallgatók megismerjék a mesterséges intelligencia és adatelemzés megbízhatósági aspektusait, és azokat a szoftverfejlesztési folyamatba integrálják.
Modellalapú szoftverfejlesztés
Szakterület-specifikus modellezés és eszközfejlesztés technológiája
Bemutatjuk a szakterület-specifikus modellezési nyelvek használatát a modellalapú szoftvertervezési folyamat és az ipari implementációs technológiák szempontjából.
Megbízható elosztott és decentralizált rendszerek
Felhőalapú, autonóm, adaptív/átkonfigurálható rendszerek
Áttekintjük az elosztott és decentralizált rendszerekhez kapcsolódó kulcstechnológiákat, kiemelve az algoritmikus, modellezési és szolgáltatásbiztonsági aspektusokat.
Automatizált ellenőrzési technikák
Korszerű tesztelési és verifikációs technikák, eszközök
A tantárgy célkitűzése, hogy megismertesse a hallgatókat a teljes szoftver- és rendszerfejlesztési életciklus során alkalmazható különböző ellenőrzési technikákkal.
Szoftver verifikáció és validáció
Formális verifikációs és validációs módszerek matematikai háttere
A tárgy célja a szoftverfejlesztésben használatos verifikációs és validációs módszerek rendszerező ismertetése, hangsúlyozva a formális verifikációs technikák matematikai alapjait.
Empirikus rendszertervezés
Extrafunkcionális tulajdonságok garantálása tervezéskor és üzemeltetéskor
Bemutatjuk a metrikák folytonos világát és az informatikai rendszerek diszkrét kvalitatív modelljeit összekötő technikákat a legfontosabb alkalmazási területek érintésével.
Blockchain technológiák és alkalmazások
Blockchain eszközök alapvető tervezési elvei és sajátosságai, alkalmazásai
Az alkalmazások szempontjából kiemelt szerepű az általános célú üzleti szolgáltatások létrehozása és integrációja, valamint a kiberfizikai (Cyber-Physical Systems, CPS) alkalmazási esetek.
Adatelemzés és adatvizualizáció mérnököknek
Hogyan lesz az adatból információ? Hogyan találjuk meg a tűt a szénakazalban?
Megismertetjük a hallgatókat a vizuális adatelemzés alkalmazási lehetőségeivel, elsődlegesen informatikai rendszerek tervezésében és kiértékelésében.
Önálló munka
Hallgatóink változatos témákon dolgozhatnak már a önálló labortó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.
