Find Academic Supervisors

• Software Engineering
• Model-Driven Engineering
• Software Architecture
• +5 more

Alexander Egyed serves as a full Professor at the Institute of Software Systems Engineering, Johannes Kepler University Linz, where he directs the LIT Secure and Correct Systems Lab. His leadership spans 350+ research outputs and 50+ projects, with current active grants securing research through 2029 in critical software engineering domains. His research focuses on advancing model-driven engineering practices through innovations in software evolution, variability management, and process guidance. Key contributions include reactive link propagation for model consistency, AI-driven refactoring of legacy systems, and industrial-strength process compliance solutions. His work bridges formal methods with practical industrial applications, particularly in secure system development and software modernization. Recent publications (2024-2025) reveal a pronounced shift toward AI-integrated solutions for legacy system transformation, with consistent emphasis on scalable techniques for model consistency and variability control. This trajectory demonstrates increasing industrial collaboration in developing actionable engineering guidance tools. His scientific excellence is recognized through: ACM Best Paper Award (2015) ACM Recognition of Service Award (2024) ACM SIGSOFT Distinguished Paper Awards (2021, 2023) Best Paper Award (2014) Professor Egyed currently leads major funded initiatives including the FWF-sponsored 'Co-Existence of Modeling Language Versions and Co-Evolution' (2025-2029) and dual 'RefactorAI' projects for legacy system modernization (FFG 2025-2028). His supervision of 12 graduate students reflects commitment to academic mentorship alongside his extensive editorial and program committee service across 147 recorded academic activities. He directs the LIT Secure and Correct Systems Lab, a nexus for interdisciplinary research in formal verification, model-driven security, and AI-assisted software engineering, maintaining strong industry partnerships for real-world validation of research outputs.

• Computer Hardware
• Electronics and Circuit Design
• Digital Systems
• +3 more

Markus Pfaff is a Professor at the University of Applied Sciences Hagenberg within the department AG Biosciences Embedded Systems. His research focuses on computer hardware, FPGA design, verification methods, and embedded systems. He has contributed to multiple publications, including books on electronics and circuit design, and holds a patent for a synchronization circuit. Key projects include the Interreg Austria-Bavaria initiative on health tourism in forests (2020–2022). His recent activities involve presenting on high-performance digital radar systems, open-source VHDL tools (e.g., OSVVM, Cocotb), and FPGA-to-disk data transfer at conferences in 2024. His work spans academic publications, patents, and educational materials, emphasizing practical applications in digital electronics and FPGA-based systems.

Martin HorauerView profile

Professor

• Embedded Systems
• Automotive Electronics
• Communication Sub-Systems
• +4 more

Prof. Martin Horauer is a Professor and Head of both the Bachelor in Electronics Engineering and Master in Embedded Systems programs at Technikum Wien, Austria. He holds a Doctoral degree from Vienna University of Technology and has over two decades of expertise in embedded systems, automotive electronics, and real-time communication protocols. His research focuses on fault tolerance, high-level synthesis, and verification of embedded systems. Education: Electrical Engineering from Vienna University of Technology (1994 Ph.D.) Affiliations: Research Group Embedded Systems, Vienna University of Technology (1997–2002), Technikum Wien (2002–present) His work spans FlexRay automotive networks , FPGA reliability , and system-on-chip verification . Notable contributions include the SynUTC synchronization project and contributions to the Josef Ressel Center for Verification of Embedded Systems. Awards include the Vienna MA27 Research Prize (2008) and best paper awards at FMICS 2011 and DSN 2001. Grants include EU EFRE-funded projects (AC-Centrope II) and FFG initiatives (Flexicount). He chairs review boards for academic programs and serves on technical committees for DATE, RTAS, and MESA conferences.

• Databases
• Database Theory
• Complexity Theory
• +2 more

Christoph Koch is an Associate Professor at Technische Universität Wien specializing in databases and artificial intelligence. His research spans database theory, complexity theory, and logic in computer science, with a focus on XML processing, query optimization, and parallel data science techniques. Lead projects: KnowledgeGraph (2020–2028), HINT (2012–2017), Weblearn (2005–2008) Developed the Lixto visual extraction system and contributed to DLV knowledge representation framework Supervised T. Lukasser's diploma thesis on XPath query processing

Thomas MoraView profile

Lecturer

• Bass
• Composition
• Music Theory
• +5 more

Thomas Mora is a Lecturer for Bass, Theory, Arrangement, and Composition at the Faculty of Music of JAM MUSIC LAB Private University for Jazz and Popular Music, and also teaches at the Friedrich Gulda School of Music. His affiliations include the Vienna Conservatory (2013-2015), where he taught electric bass, ensemble lessons, and studio internship. Artistic education includes: 2 years at Konservatorium der Stadt Wien with Prof Rudolf Hansen (Jazz Bass) 2 years of private lessons with Prof Harald Putz (Jazz Bass) 5 years of accordion training at music school Csery Mora's research interests center on bass performance, composition, and music theory/arrangement, with extensions into jazz, popular music production, and film scoring. His work demonstrates interdisciplinary innovation across performance, studio engineering, and creative composition. His publication output shows consistent productivity in music and film, with recent works emphasizing popular music production (2020-2021) and film scoring (2016). Trends include genre fusion, technical audio engineering, and collaborative compositions. Earlier works reveal foundational focus on acoustic arrangements and vocal productions. Mora collaborates extensively with bands and artists including: Grooveyard Ramon Tha Family Andreas Gabalier Brunner und Brunner Georg Danzer

• Real-time systems
• Multi-threaded systems analysis
• Weak memory models
• +5 more

Johann Blieberger is an Associate Professor and Head of the Institute of Computer Engineering at Technische Universität Wien. He also leads the Automation Systems Research Unit (E191-03) and serves as a Principal Member of the Faculty Council. His work focuses on real-time systems, concurrent programming, railway operation optimization using Kronecker Algebra, static analysis, and Ada programming. Key projects include developing simulation tools for sustainable public transport (2021–2023), coordinating autonomous vehicles in pedestrian environments (2017–2019), and optimizing railway systems via Kronecker Algebra (e.g., the Zagreb-Rijeka line). He has secured grants from the Austrian Research Promotion Agency (FFG) and Austrian Science Fund (FWF). Blieberger’s research interests span weak memory models, symbolic evaluation, and algorithm analysis. He actively contributes to the ISO JTC1/SC22/WG9 committee for Ada language development. His advising spans multiple PhD and master’s theses, including work on concurrent program verification and Kronecker Algebra applications.

• Worst-Case Execution Time Analysis
• Real-Time Systems
• Testing of Embedded Systems
• +2 more

Raimund Kirner is an academic at the Institute of Computer Engineering (E191-01) at Technische Universität Wien , specializing in real-time and embedded systems. His career spans research in Worst-Case Execution Time (WCET) Analysis , Time-Triggered Communication , and Automated Testing for safety-critical systems. He has contributed to projects such as ALL-TIMES, COSTA, and HINT, focusing on timing predictability and composability in real-time systems. Key Research Areas : WCET Analysis, Real-Time Systems, Embedded Testing, Time-Predictable Computing Notable Collaborations : Peter Puschner, Andreas Prantl, Martina Zolda Recent Publications analyze cybersecurity in automotive networks, quantitative interface evaluation for time-triggered systems, and synchronization trade-offs. His work bridges theoretical timing models with practical compiler and hardware solutions for deterministic execution. Awards : Recipient of the Mobilitätsstipendium der Creditanstalt AG (2003) for outstanding dissertation. Advising includes supervising 11 theses from 2002–2014 on topics like Automated Load Balancing , WCET Estimation , and Compiler Timing Models .

Berry GérardView profile

Professor

• Models of computation
• Programming language design
• Synchronous programming
• +5 more

Berry Gérard is a distinguished Professor at Collège de France, holding the Chair in Algorithms, Machines, and Languages since 2012. He previously served as Director of Research at INRIA Sophia Antipolis and Chief Scientist at Esterel Technologies. His academic journey includes roles at École des Mines de Paris and École Polytechnique. Gérard specializes in models of computation, programming language design, and synchronous systems. He has contributed significantly to the development of the Esterel language for embedded systems and formal verification techniques. Education: Docteur d’Etat in Mathematics, Université Paris VII (Computer Science option), 1979 Ingénieur des Mines, Corps National des Ingénieurs des Mines, 1970 École Polytechnique, 1967 Research Interests: Focuses on computational models (e.g., lambda-calculus, synchronous concurrency), programming languages (Esterel, Hop/HipHop), circuit synthesis, and formal verification. His recent work explores diffuse programming and web orchestration. Key Awards: 2014: Médaille d'or du CNRS 2005: Member, Académie des technologies 1993: Member, Academia Europaea 1979: Bronze Medal of CNRS Professional Roles: President of the Council of Education and Research at École Polytechnique Member of the Scientific Council of IRCAM Former President of the INRIA Evaluation Committee Labs/Teams: Active in INRIA’s Indes project on diffuse programming and collaborates with IRCAM on real-time music systems.

Marion MurzekView profile

Senior Lecturer

• Model Transformation
• Business Process Modeling
• Enterprise Systems
• +3 more

Marion Murzek is a Senior Lecturer at Technische Universität Wien (TU Wien), affiliated with the Business Informatics Group. She holds a Dr.rer.soc.oec. (PhD) from TU Wien and a Magister degree from the University of Vienna. Her research focuses on model transformations, business process modeling, and enterprise systems engineering. She has contributed to advancing methodologies for horizontal transformation of business process models and model-driven architectures. Her work includes the development of the Model Morphing approach, addressing challenges in business process model interoperability. She has published extensively in venues like the International Conference on Enterprise Information Systems and the Workshop on Perspectives in Business Informatics Research. Murzek completed her doctoral thesis in 2008 under the Women's Postgraduate College for Internet Technologies (WIT) program, which supported her research. She has also been involved in teaching courses such as Model Engineering and has held positions in software development prior to academia.

• Production Planning
• Logistics Management
• Operations Research
• +3 more

Hubert Missbauer is a Full Professor for Production and Logistics Management at the University of Innsbruck. He holds a Diploma (1982) and Doctorate (1986) in Business Administration from the University of Linz, with a Habilitation in Business Administration (1994) focusing on manufacturing planning systems. His research emphasizes production planning concepts, workload control, and optimization in manufacturing systems, particularly in steel production. He co-organizes the International Working Seminar on Production Economics and serves on the editorial board of the International Journal of Production Economics . Research interests include order release optimization, production scheduling in steel industries, and quantitative methods in operations management. Recent work focuses on Lagrangian decomposition algorithms, behavioral perspectives in workload control, and integrated scheduling in steel production processes. He has published extensively in top-tier journals like International Journal of Production Research and European Journal of Operational Research . Education: University of Linz (Diploma 1982, PhD 1986, Habilitation 1994) Affiliations: Institute for Information Systems, Production and Logistics Management at University of Innsbruck Key Projects: Steel production scheduling, iterative LP-simulation algorithms, behavioral studies in manufacturing control Editorial Roles: Guest Editor for International Journal of Production Economics since 2020 His work bridges theoretical models (e.g., clearing functions, transient analysis) with practical applications in industries like steelmaking and construction. Recent presentations include discussions on Lagrangian approaches at the INFORMS Annual Meeting (2024) and EURO conferences.

Mei HongView profile

Professor

• Software architecture
• Program analysis and testing
• Software System for Cloud Computing and Big Data
• +5 more

Mei Hong is a Professor and Vice President for HR and International Collaboration at Beijing Institute of Technology. Previously held roles include Professor and Vice President at Shanghai Jiao Tong University (2013-2016), Director of key national research centers at Peking University, and leadership positions in software engineering education and research. Holds dual academic leadership and technical expertise in software engineering. Education: BSc/MSc (Nanjing University of Aeronautics & Astronautics, 1984/1987); PhD (Shanghai Jiao Tong University, 1992). Research focuses on software architecture, cloud computing systems, component-based engineering, and software testing. Has pioneered the 'Internetware' paradigm and contributed to national standards for software development. Publications span software engineering methodologies and tools, with recent work emphasizing mobile computing optimization and automated testing techniques. Over 20 awards including IEEE Fellow (2014), Member of Chinese Academy of Sciences (2011), and multiple best paper awards. Advisory roles include Alibaba DAMO Academy's Academic Board, China's National Key R&D Program, and leadership in 863 High-Tech Program committees. PI of 40+ grants totaling over 200 million CNY. Editorial leadership includes SCIENCE CHINA-Information Sciences (Editor-in-Chief since 2018), ACM Computing Surveys, and top-tier journals/conferences. Active in conference organization (General Chair for ICSME 2017, SPLC 2016).

Covadonga Rodrigo San JuanView profile

Associate Professor

• Digital Innovation
• Inclusive Learning
• Experiential Learning
• +5 more

Covadonga Rodrigo San Juan is an Associate Professor in the Department of Languages and Computer Systems at Universidad Nacional de Educación a Distancia (UNED), Spain's National University of Distance Education. She serves as Co-director of the DineLLL (Digital Innovation for iNclusive and Experiential Life Long Learning) research group, leading interdisciplinary work that bridges computer science, psychology, art, and economics. Dr. Rodrigo's research focuses on digital innovation for inclusive education , with particular emphasis on life-long learning technologies, digital accessibility, and the application of emerging technologies to educational contexts. Her work spans digital humanities, accessibility solutions for diverse learners, and the development of innovative educational platforms including the AVIP system for synchronous remote learning and virtual laboratories for scientific education. Her publication record demonstrates consistent contributions to educational technology since 1999, with recent work (2020) on accessible museums using mixed reality and gamification in the MUSACCES project. Her research shows a clear trajectory from technical telecommunications engineering toward interdisciplinary educational innovation, reflecting her stated concern for human wellbeing and bias in AI-based technologies. Dr. Rodrigo has contributed significantly to UNED's adaptation to the European Higher Education Area, developing tools and methodologies that support blended learning approaches while maintaining the university's distance education mission. Her work addresses technological, content, and pedagogical accessibility dimensions to promote equal participation in educational experiences.

Peter HerbeckView profile

Researcher

• Syntax of Romance Languages
• Theoretical Linguistics
• Corpus Linguistics
• +6 more

Dr. Peter Herbeck is a researcher at the Department of Romance Studies, Institute of Romance Studies, University of Vienna. His academic journey began with an MA in English and Romance Linguistics from Bergische Universität Wuppertal, followed by a PhD in Romance Studies (Spanish/Linguistics) from Universität Salzburg. He has held postdoctoral positions at the University of Valencia (DAAD stipend), University of Wuppertal (Scientific Employee), and University of Cologne. Education : MA (2008) in English and Romance Linguistics, PhD (2015) in Spanish Linguistics Current Role : Postdoc at SFB project 'Language Between Redundancy and Deficiency', University of Vienna (since 2024) Herbeck’s research focuses on the syntax of Romance languages, particularly the syntax-pragmatics interface, morphosyntax of Valencian Catalan, discourse markers, and corpus linguistics. He employs quantitative methods and theoretical frameworks to analyze spoken language corpora, with a special interest in subject realization, finite/non-finite constructions, and grammaticalization processes. He has contributed to 15 recent publications (2011–2024) on topics including null subject theory, control structures, discourse markers, and Catalan morphosyntax. His scientific award includes a DAAD Postdoc Fellowship. Herbeck has taught linguistics seminars in Spanish syntax, morphosyntax, and corpus methods at the University of Vienna, Wuppertal, and Cologne. Collaborative Efforts : Co-organized international conferences on Catalan linguistics, residual verb second phenomena, and syntax-morphology interfaces

Karin BinduView profile

Lecturer

• Music Ethnology of India
• Indian Diaspora in the Caribbean
• Anthropology of Rhythm
• +6 more

Karin Bindu serves as a Lecturer in the Department of Social and Cultural Anthropology within the Faculty of Social Sciences at the University of Vienna. An active cultural anthropologist and percussionist since 1991, she integrates fieldwork from Trinidad and India into both academic instruction and musical performance, specializing in cross-cultural rhythm studies across South Asia, the Caribbean, and West Africa. Her educational foundation includes a Mag. Dr.phil. degree with dissertation Percussion Art Forms: Aspects of the Production and Communication of Southindian Talas in the Kutiyattam (LIT Verlag, 2013), establishing her expertise in South Indian percussion systems. This academic trajectory bridges rigorous scholarly research with practical musical mastery. Dr. Bindu's research program centers on Music Ethnology of India, Indian Diaspora communities in the Caribbean, and Anthropology of Rhythm, with specialized investigations into healing contexts, performing arts, Trinidadian Orisha religion, Afghan refugee music, and women's drumming practices. Her work uniquely combines art-based research methodologies with anthropological theory to examine rhythm as cultural knowledge. Publication trends (2013-2019) reveal sustained focus on Mizhavu percussion within Kerala's Kutiyattam tradition, expanding to diaspora communities through Trinidadian and Afghan migration studies. She consistently explores rhythmic systems' spiritual dimensions, intercultural transmission mechanisms, and cognitive aspects of tala structures across diverse cultural contexts. As a performing artist, she collaborates with the female ensemble 'Weltenmusik Trio' and various music groups while maintaining active membership in the International Council for Traditional Music (ICTMÖ), demonstrating seamless integration of academic scholarship and artistic practice within global music networks.

Hu ZhenjiangView profile

Professor

• Bidirectional Transformation
• Functional Programming
• Software Engineering
• +4 more

Zhenjiang Hu is a Chair Professor at Peking University, China, and previously held professorships at the National Institute of Informatics, University of Tokyo, and SOKENDAI. He specializes in bidirectional transformation, functional programming, and software engineering. His research focuses on foundational theories and applications in programming languages, including parallelization and formal methods. Education: BSc, Shanghai Jiao Tong University (1988) MSc, Shanghai Jiao Tong University (1991) PhD, University of Tokyo (1996) Research Interests: Development of bidirectional languages and frameworks Optimization of functional programs Automated parallelization techniques Formal verification of transformations Awards: Yangtze River Scholar (2015) ACM Distinguished Scientist (2016) Basic Research Achievement Award (2015) Multiple Best Paper Awards including Takahashi Awards (1997, 2008) Grants & Leadership: PI of 14 national grants totaling over 250 million Yen Founder and Chair of NII Shonan Meetings (2010-2018) Leadership roles in ICFP, MODELS, APLAS, and other top conferences Labs/Teams: Active in the NII Shonan Meetings, fostering collaborative research in informatics and software engineering.