|
Faautomaták, fatranszformátorok
|
Informatika
|
Dr. Fülöp Zoltán kutatóműhelye
|
elméleti számítástudomány
|
Ismeretbővítő kutatás (alap- elméleti kutatás)
|
|
Formális nyelvek és automata elmélet
|
Matematika
|
Dr. Németh Zoltán kutatóműhelye
|
elméleti számítástudomány
|
Ismeretbővítő kutatás (alap- elméleti kutatás)
|
|
Heurisztikák optimalizálási problémákra
|
Informatika
|
Dr. Imreh Csanád kutatóműhelye
|
elméleti számítástudomány, operáció kutatás
|
Ismeretbővítő kutatás (alap- elméleti kutatás)
|
|
Kvantitatív számítási modellek
|
Informatika
|
Dr. Fülöp Zoltán kutatóműhelye
|
elméleti számítástudomány
|
Ismeretbővítő kutatás (alap- elméleti kutatás)
|
|
Modell ellenőrzés
|
Matematika
|
Dr. Németh Zoltán kutatóműhelye
|
elméleti számítástudomány, formális módszerek
|
Ismeretbővítő kutatás (alap- elméleti kutatás)
|
|
Online algoritmusok
|
Informatika
|
Dr. Imreh Csanád kutatóműhelye
|
elméleti számítástudomány, operáció kutatás
|
Ismeretbővítő kutatás (alap- elméleti kutatás)
|
