Concurrent Programming Languages Professors and Supervisors in Austria

Berry GérardView profile

Professor

Graz University of TechnologyAustria

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.

Official University Profile

Montanari UgoView profile

Professor

Graz University of TechnologyAustria

Ugo Montanari is a Full Professor of Computer Science at the University of Pisa, a position he has held since 1976. Previously, he was a Researcher at the IEI Institute of the Italian National Research Council (1971–1976). His research focuses on theoretical computer science, including concurrency semantics, process description languages, constraint programming, and distributed systems. Research Interests: Montanari's work spans foundational areas such as graph rewriting systems, coordination models, and algebraic/categorical concurrency models. He also explores applied domains like network-aware programming and service-oriented computing. His interdisciplinary approach bridges formal methods with practical distributed system design. Awards: Ordine del Cherubino (1995) Grande Ufficiale (2006) Ultimo Novecento-Pisa 2000 nel mondo (2004) Member of Gruppo 2003 (most cited Italian scientists) Professional Contributions: Plenary speaker at major conferences (e.g., LICS, ICALP, CONCUR) Contributed to foundational theories in concurrency and formal methods

Official University Profile

Nebojša Jovan ZivkovicView profile

Professor

Private University of Music and Arts of the City of ViennaAustria

Nebojša Jovan Zivkovic serves as Full Professor at the Music and Arts University of the City of Vienna (MUK) and concurrently holds a professorship at the Academy of Arts of the University of Novi Sad in Serbia. His academic appointments span both institutions where he directs bachelor's and master's degree programs in percussion performance and composition, requiring German language proficiency for Austrian studies. Zivkovic's research focuses on percussion performance techniques , marimba composition , and orchestral percussion literature . His creative output includes over 300 annual performances across 50+ countries, with compositions like Ilijas , Trio per uno , and Ultimatum 1 becoming global standards. His pedagogical contributions include the widely distributed FUNNY MALLETS SERIE and innovative summer academies. His compositional output spans solo marimba works, orchestral concertos (including Concerto of the Mad Queen ), and chamber music. Notable recordings feature collaborations with top orchestras like the National Symphony Orchestra and BBC Concert Orchestra. His 2026 International Summer Academy in Vienna offers intensive training in marimba, timpani, and orchestral percussion. Scientific Recognition: Composition Ultimatum 1 featured in BBC Music Magazine as "searingly intense, forcefully masculine percussion world" The Castle Of The Mad King praised for "startling sound combinations" and "hugely virtuosic performances" Over 300 annual performances of his works globally Recordings with Slovenian Radio Symphony Orchestra and Northern Sinfonia Zivkovic maintains active performance and educational initiatives, including the Zivkovic International Summer Academy & Festival (ZISAMP) in Vienna. His pedagogical focus includes marimba technique development, orchestral preparation, and chamber music coaching. The academy features guest artists from institutions like the Royal Danish Academy of Music and Hartt School of Music.

Official University Profile

Michael SchröderView profile

Researcher

Vienna University of TechnologyAustria

Michael Schröder is a Researcher at TU Wien's Faculty of Informatics, affiliated with the Institute of Software Technology. He holds a BSc and a Dipl.-Ing. (Master's equivalent) in Informatics. His research focuses on software engineering, static analysis, and programming languages, with notable contributions to probabilistic program analysis, security, and empirical studies on developer workflows. Education : Bachelor of Science in Informatics Diplom-Ingenieur (Dipl.-Ing.) in Informatics from TU Wien Research Interests : His work spans static analysis of probabilistic programs, security in software repositories, grammar inference for ad hoc parsers, feature flag dependency analysis in large systems, and empirical studies on command-line tool customization. He has also contributed to medical research in pediatric oncology through a 2019 study on leukemia genetics. Recent Trends in Publications : Recent efforts emphasize language-agnostic static analysis frameworks (2024), lateral movement detection in source code (2023), and grammar inference techniques for parsers (2022). Earlier work includes neural ranking models (2020) and transactional memory systems (2015). Grants & Advising : No explicitly listed grants or student advisement, though recent theses supervised include static grammar inference projects (2025). Labs/Teams : Not explicitly mentioned in available records.

Official University Profile

Eva KühnView profile

Associate Professor

Vienna University of TechnologyAustria

Eva Kühn is an Associate Professor at TU Wien's Faculty of Informatics, specializing in Coordination Systems and Space-Based Computing. She leads the Compilers and Languages department and focuses on Blockchain Technology, Distributed Systems, and Swarm Intelligence. Roles & Affiliations: Associate Professor, TU Wien Research Lead in Coordination Middleware Principal Investigator in projects like ITSM-PEER and Formal Verification of DNNs Research Interests: Blockchain-based systems for decentralized applications Swarm intelligence algorithms for P2P networks Space-based computing architectures for distributed systems Coordination patterns for multi-cloud auto-scaling Projects & Grants: "Formal Verification of Deep Neural Networks" (2024-2027, OeAD) "ITSM-PEER" (2014-2015, FFG) "LOPONODE Middleware" (2012-2014, FFG) Students & Supervision: Advised over 30 students in areas like blockchain frameworks, swarm algorithms, and distributed systems. Labs & Teams: Leads the Peer Model research group developing coordination middleware and space-based computing frameworks.

Official University Profile

Franz PuntigamView profile

Associate Professor

Vienna University of TechnologyAustria

Ao.Univ.Prof. Dipl.-Ing. Dr.techn. Franz Puntigam is an Associate Professor at the Department of Compilers and Languages within the Faculty of Informatics at Technische Universität Wien. His research focuses on programming paradigms, type systems, object-oriented programming, and concurrent programming. He teaches courses such as Programming Paradigms, Type Systems, and Scientific Research and Writing. Dr. Puntigam’s work explores foundational aspects of programming languages, emphasizing concurrency and type system design. His research includes studies on synchronization mechanisms, contextual execution environments, and design methodologies for robotic software systems. His publications span topics like token-based synchronization, dynamic process types, and aliasing effects in object-oriented languages. He supervises numerous diploma and master’s theses on advanced topics such as concurrency in Java, type systems for configuration languages, and actor-based programming. His contributions to education and research are further reflected in his involvement with projects like migrating business software from VB to Java/Unix.

Official University Profile

Florian ZulegerView profile

Associate Professor

Vienna University of TechnologyAustria

Florian Zuleger is an Associate Professor at TU Wien's Department of Formal Methods in Systems Engineering (E192-04). He has a 100% research focus and serves as Curriculum Coordinator for the Master’s program in Verification and Automated Reasoning. His work emphasizes automated methods for termination analysis, resource-bound estimation, verification of programs with dynamic data structures, parameterized systems, and automated feedback for introductory programming tasks. He has led projects funded by the European Commission (2024–2027), Austrian Science Fund (FWF), Amazon Research Awards, and Vienna Science and Technology Fund. Research Interests: Automated Program Verification Formal Methods for Concurrent Systems Separation Logic and Decision Procedures Resource and Complexity Analysis Parameterized Model Checking Inductive Logic in Verification Grants & Advising: Zuleger’s recent grants explore verification of safety-critical applications and automated cost analysis. He has advised numerous students on topics ranging from verified data structures to fault-tolerant algorithms. His projects include collaboration with Amazon, the European Commission, and FWF. Labs/Teams: Involved with the LogiCS Research Group, focusing on logical methods in computer science, and contributes to tool development (e.g., ATLAS, SpecBMC, SL-COMP competitions).

Official University Profile

Luca Di StefanoView profile

Researcher

Vienna University of TechnologyAustria

Luca Di Stefano is a Post-Doc Researcher at Technische Universität Wien (TU Wien) since March 2024. His research focuses on the specification and verification of complex collective systems like multi-agent systems and robot swarms, using formal methods such as model checking and reactive synthesis. He works on online formal techniques including runtime monitoring. Research Interests: Software verification Model checking Multi-agent systems Formal semantics Process calculi Reactive synthesis Static analysis Recent Article Trends: His work spans formal verification of reconfigurable systems, emergent behavior in collective systems, and synthesis techniques for infinite-state models. Keywords include Agent-Based Modelling, Formal Methods, Temporal Logic, and Runtime Monitoring. Thesis Supervision: He supervises BSc and MSc theses at TU Wien, with Ezio Bartocci as main advisor. Examples include "Type checking a novel language for reconfigurable multi-agent systems" (Benjamin Stolz, 2025) and "Evaluating in-memory caching strategies" (Love Lyckaro, 2023). Teaching: He teaches courses like "Scientific Research and Writing" and "GPU Architectures and Computing" at TU Wien, and has served as teaching assistant for concurrent programming courses at University of Gothenburg and Chalmers. Labs & Projects: He contributes to tools like LAbS (attribute-based stigmergy language), SLiVER (verification tool), R-CHECK (model checking for reconfigurable systems), sweap (symbolic reactive synthesis), and pyxmv (Python interface for nuXmv).

Official University Profile

Mena LafkiouiView profile

Professor

Graz University of TechnologyAustria

Mena Lafkioui is a Full Professor (Directeur d'études) in Berber linguistics at the Ecole des hautes études en sciences sociales (EHESS) in Paris, holding a concurrent position as Research Director at the Centre National de la Recherche Scientifique (CNRS). She has been affiliated with these institutions since 2018 and 2014 respectively, following previous academic positions at Università degli Studi di Milano-Bicocca, Università della Calabria, and Ghent University. Her educational background includes a Habilitation in 'Sciences du langage' from EHESS (2010), a Ph.D. in Linguistics from INALCO, Paris (1999), a Postgraduate degree in Linguistics from INALCO (1995), and a Master's in Oriental Languages and Cultures from Ghent University (1994). Lafkioui's research spans Berber linguistics, geolinguistics, sociolinguistics, Afroasiatic linguistics, Arabic dialectology, and negation typology. Her work integrates structural linguistic analysis with sociocultural contexts, particularly focusing on the Rif Berber language continuum, language contact phenomena, and the impact of digital communication on Amazigh identity construction. Analysis of her recent publications reveals a consistent focus on Berber language structures, particularly examining negation patterns, topicalization mechanisms, geolinguistic variation, and the impact of language contact with Arabic. Her methodological approaches blend traditional linguistic analysis with computational and algorithmic perspectives, reflecting an innovative approach to language documentation and analysis. Elected as Academician, Accademia Ambrosiana, Milan (2014) Elected as founding member of the 'Classe Africa' of the Accademia Ambrosiana, Milan (2014) Elected as founding member of the 'Section Berbero' of the Accademia Ambrosiana, Milan (2014) Lafkioui has supervised 10 PhD students and 55 Master's dissertations while securing competitive research grants across Europe. She serves on multiple editorial boards including the International Journal Dialectologia et Geolinguistica and Afrika Focus. Her institutional roles include membership on the Scientific Council of the Laboratoire d'excellence Empirical Foundations of Linguistics in Paris and participation in numerous academic committees overseeing PhD programs in African languages and cultures. She has organized 17 international scientific meetings and is an active member of 10 scientific societies, including the Société de Linguistique de Paris, demonstrating her significant contribution to the academic community in linguistics and African studies.

Official University Profile

Glynn WinskelView profile

Professor

Graz University of TechnologyAustria

Glynn Winskel is a Professor of Computer Science at the University of Cambridge and a Fellow of Emmanuel College, Cambridge. He has held significant academic roles, including founding director of the BRICS research center at Aarhus University (1994–2000) and Reader in Theoretical Computer Science at Cambridge (1987). He earned a B.A. and M.A. in Mathematics from the University of Cambridge (1975), an M.Sc. in Mathematical Logic from the University of Oxford (1976), and a Ph.D. in Computer Science from the University of Edinburgh (1980). He was awarded an Sc.D. by the University of Cambridge in 1995. Winskel's research spans theoretical computer science, with a focus on logic, category theory, and their applications to semantics of programming languages , domain theory , concurrent computation , and computer security . His work has influenced foundational models like event structures and proof systems for concurrency. His scientific awards include: Fellow of the Royal Society (2024) ERC Advanced Grant ECSYM (2011) Royal Society Leverhulme Trust Senior Research Fellowship (2010–2011) British Computer Society Brendan Murphy Memorial Prize (2001) Funding for BRICS research center (Denmark, 1994–2000) Winskel has supervised 19 PhD students and contributed to education through courses on denotational semantics and concurrency. He has led major EU research projects like CEDISYS, CLICS, and APPSEM, and organized academic events such as CONCUR'97 and LICS'97.

Official University Profile

Monika AngererView profile

Researcher

Paris Lodron University of SalzburgAustria

Dr. Monika Angerer is a Senior Scientist in the Department of Psychology at the University of Salzburg, affiliated with the Laboratory for Sleep, Cognition & Consciousness Research within the Faculty of Natural Sciences. She holds a PhD in Natural Sciences (Dr. rer. nat.) and is concurrently completing clinical psychology training at the Austrian Academy for Psychology. Since March 2024, she has also served as a Psychologist at the Hospital 'Barmherzige Brüder' in Salzburg, integrating clinical and research expertise. Her educational background includes a Master’s in Psychology (cognitive neuroscience), a Bachelor’s in Educational Science, and dual Bachelor’s degrees in Psychology and Nursery Education. She has been continuously involved in research at the University of Salzburg since 2016, progressing from Research Assistant to Senior Scientist. Dr. Angerer’s research focuses on disorders of consciousness, chronobiology, circadian rhythms in brain-injured patients, prenatal and postnatal influences on infant development, early dyadic interactions, and attachment . Her work combines neurophysiological measurements (e.g., actigraphy, HRV) with behavioral and developmental assessments. She has led and co-led significant research projects, including an FWF-funded study on prenatal programming and cognitive development. Her 15 most recent publications reveal a strong trajectory in sleep science, neurorehabilitation, infant development, and pandemic-related mental health . Key themes include circadian rhythm entrainment through daylight exposure, neural speech tracking in newborns, maternal mental health, and parent-infant interaction. Her work spans high-impact journals such as Sleep , BMC Medicine , and European Journal of Neurology . Dissertation Prize for Natural Sciences 2023 (University of Salzburg) Wilhelm Strubreither Prize 2022 (Austrian Association for Neuropsychology) Christian-Doppler-Award 2021 (Land Salzburg) Multiple merit scholarships and presentation awards Dr. Angerer has been actively involved in academic service, including serving as Early Career Researcher Representative for the Austrian Association for Psychology (2020–2023). She regularly presents at international conferences such as ESRS, SLTBR, and ASSC. While no formal advisees are listed, she collaborates extensively with researchers and students in the Sleep Lab. She is a member of several professional societies and serves as a reviewer for journals including Clocks & Sleep , Clinical Neurophysiology , and Sleep .

Official University Profile