معرفی
Szilvia Varro-Gyapay is a Lecturer at the Department of Computer and Information Science (IDA) at Linköping University, affiliated with the Human-Centered Systems (HCS) research group. Her work focuses on computer science education and human-centered systems design. She is based at Campus Valla in E-huset, Room 329:164.
Her research interests span Petri nets, graph transformation systems, optimization in IT systems, and model transformation techniques. She has contributed to formal methods in informatics and the application of systems engineering principles to critical infrastructure and production systems.
Her publications reflect a strong emphasis on optimization algorithms, trajectory analysis, and verification methodologies. Key themes include the integration of Petri nets with graph transformation for system modeling and the development of formal methods for software and IT system validation.
She has not been explicitly linked to scientific awards in the provided materials. No advising or grant details were specified, though her role in the HCS group suggests involvement in educational and collaborative research initiatives.
