Varró Dániel az SLE 2016 konferencia programbizottsági társelnöke

Dr. Varró Dániel a 2016-ban Amsterdamban megrendezésre kerülő SLE 2016 (9th International Conference on Software Language Engineering) konferencián a programbizottság társelnökeként működik közre Emilie Balland-dal (INRIA) együtt.

Részvételünk a STAF 2015 konferencián

Idén az olaszországi L'Aquila városában került megrendezésre a STAF 2015 (Software Technologies: Applications and Foundations) konferencia, amelyen több szerepben is részt vett kutatócsoportunk: Tovább »

Pataricza András előadása Visegrád 4 szakrendezvényén

A Visegrád 4 országok brüsszeli KFI irodái (a V4 elnökséget jelenleg betöltő Szlovákia KFI irodája, a SLORD, a cseh CZELO, a lengyel POLSCA és a magyar HunOR) rendezték meg "Visegrád 4 a Biztonságos Adatokért" című konferenciát.

Hallgatóink sikere az Országos TDK konferencián

Hallgatóink jól szerepeltek a XXXII. Országos Tudományos Diákköri Konferencia Informatika Tudományi Szekciójában, ahonnan két darab első, három darab második helyezést és egy jutalmat hoztak el: Tovább »

Salánki Ágnes ACM-W ösztöndíjat nyert

Doktoranduszunk, Salánki Ágnes elnyerte a legrangosabb számítástudományi nemzetközi szervezet, az ACM (Association for Computing Machinery) női tagozatának ösztöndíját a useR! 2015 évi konferenciáján való részvételének támogatására. Tovább »

IBM Watson előadás

Április 24-én Salil Ahuja, az IBM Watson Senior Product Manager-e tartott ismertetőt tanszékünk oktatóinak és kutatóinak a Watson Developer Cloud képességeiről. A Watson Developer Cloud olyan mesterséges intelligencia funkciókat tesz felhőben futó alkalmazások számára könnyen elérhetővé pl. az IBM Bluemix felhőplatformon, mint amiket a 2011-ben az amerikai Jeopardy! kvízjátékot megnyerő Watson számítógéprendszer is használ.

Kutatócsoportunk cikkei az ICST konferencián

Kutatócsoportunk két cikkel is képviseltette magát az idei IEEE International Conference on Software Testing, Verification and Validation (ICST) konferencián. Az ICST az egyik legrangosabb, kifejezetten szoftverteszteléssel foglalkozó tudományos konferencia. A konferenciára való bekerülésért idén is komoly verseny folyt (132 beküldött cikkből 32-t fogadtak el a bírálatok után).

Három hallgatónk vesz részt a "CERN Summer Student Programme" programban

Nagy örömünkre szolgál, hogy kutatócsoportunk három MSc-s hallgatója felvételt nyert a svájci CERN központba (Európai Részecskefizikai Laboratórium). Hallgatóink sikeréhez hozzájárult a tanszékünkön írt TDK győztes dolgozat és a tanszékünkön végzett oktatási munka. A TDK dolgozatok megtekinthetők az alábbi linkeken: Tovább »

"Robots on the rise"

Sikerrel zárult az R5-COP projekt első évének szakmai értékelése március 26-án Brüsszelben. Kutatócsoportunkból Majzik István mutatta be az inkrementális teszteléssel és futásidőbeli verifikációval foglalkozó munkacsomag eredményeit. A projekt 2015-ben is megnyerte az ARTEMIS Co-Summit "Exhibition Award" díját. Tovább »

Az R5-COP projekt éves megbeszélése

2015. január 21-22-én került sor az R5-COP - Reconfigurable ROS-based Resilient Reasoning Robotic Cooperating Systems (Átkonfigurálható ROS-alapú rugalmas és intelligens kooperatív robot rendszerek) ARTEMIS projekt éves megbeszélésére Rigában. A projektben csoportunk feladata új tesztelési és verifikációs módszerek kidolgozása. Tovább »

Tartalom átvétel