Synchronous programming Professors and Supervisors in Austria

Vincenzo CrunelliView profile

Professor

Graz University of TechnologyAustria

Vincenzo Crunelli is Professor of Neuroscience at Cardiff University's School of Biosciences, a position held continuously since 1991. He serves as an Ordinary Member of the Academy of Europe (elected 2010) in Physiology & Neuroscience and maintains an active Visiting Professorship at Université Pierre et Marie Curie since 1998. His academic career includes leadership roles as Head of Physiology Department at Cardiff (1994-1998) and prior appointments at London institutions including St. George's Hospital Medical School and the Institute of Ophthalmology. Professor Crunelli's research centers on neural mechanisms of sleep rhythms and epilepsy, with particular expertise in thalamocortical systems and GABAergic signaling. His work integrates electrophysiological, molecular, and systems-level approaches to investigate how neuronal and glial interactions generate pathological oscillations in absence epilepsy and physiological rhythms during sleep. Key contributions include elucidating the role of tonic GABA A receptor inhibition in seizure generation and characterizing cellular mechanisms of slow ( Analysis of his publication record reveals a consistent trajectory from foundational synaptic physiology studies (1980s) to sophisticated investigations of network dynamics in epilepsy and sleep. His work demonstrates exceptional continuity in exploring thalamocortical oscillations while evolving from cellular electrophysiology to integrated systems neuroscience, with significant translational impact on understanding childhood absence epilepsy. Scientific recognition includes: Wellcome Trust Research Fellowship and Lectureship Fellowships from Consiglio Nazionale delle Ricerche (Italy), A. Roth Foundation (USA), and European Science Foundation Visiting Professorship at Université Pierre et Marie Curie (1998-present) Election to Academy of Europe (2010) His research program has generated highly influential publications in top journals including Nature , Neuron , and Nature Neuroscience , with multiple papers exceeding 150 citations. While specific grant details aren't documented in source materials, his sustained research output indicates substantial funding support for investigations into neural oscillations and epilepsy mechanisms.

Official University Profile

Thilo SauterView profile

Associate Professor

University for Continuing Education KremsAustria

Dr. Thilo Sauter holds a tenured position as Associate Professor for Automation Technology at Vienna University of Technology (VUT) and is affiliated with Danube University Krems, where he leads the Center for Distributed Systems and Sensor Networks. He has been a pivotal figure in industrial automation research for over two decades, with expertise in smart sensors, real-time systems, and cybersecurity in automation networks. His academic credentials include a Dipl.-Ing. and Doctorate in Electrical Engineering from VUT. Education: Dipl.-Ing. in Electrical Engineering (1992), Vienna University of Technology Doctorate in Electrical Engineering (1999), Vienna University of Technology Research Interests: Dr. Sauter focuses on advancing secure and efficient automation systems, including real-time communication, sensor integration, and cybersecurity for industrial environments. His work bridges theoretical frameworks with practical applications in energy systems, IoT security, and industrial IoT (IIoT). Recent projects emphasize energy transition challenges, such as optimizing e-car charging and enhancing HVAC systems with machine learning. Key Projects: Leading the Community Flexibility in Regional and Local Energy Systems project (2019–2023), addressing energy grid optimization. Principal Investigator for Decision Making and Optimization for Distributed Energy Management (2022–2024), focusing on smart energy systems. Co-developed the Attack Resilience for IoT-Based Sensor Devices in Home Automation initiative (2019–2023). Publications and Awards: With over 300 publications, Dr. Sauter has authored influential works on industrial cybersecurity, sensor systems, and automation networks. His 2014 IEEE Fellow distinction recognizes contributions to synchronization and security in automation networks. He serves as Past Editor-in-Chief of the IEEE Industrial Electronics Magazine and holds leadership roles in IEEE and Austrian professional associations. Grants and Collaborations: His research is supported by grants from FFG (Austrian Research Promotion Agency), FWF (Austrian Science Fund), and industry partners. Projects often combine academic rigor with industry collaboration, such as fiber-optic sensor integration in process furnaces and blockchain-based energy community management. Labs and Teams: He oversees interdisciplinary teams at the Center for Distributed Systems and Sensor Networks, focusing on hardware-software co-design, embedded systems security, and smart energy solutions. His lab infrastructure supports advanced prototyping and testing of sensor networks and IoT devices.

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

Luca AcetoView profile

Professor

Graz University of TechnologyAustria

Luca Aceto is a Full Professor at Reykjavik University's Department of Computer Science since 2004. He has held leadership roles, including President of the European Association for Theoretical Computer Science (2012–present) and Head of the Department of Computer Science at Reykjavik University (2007). His research focuses on concurrency theory, logic in computer science, and formal verification. Aceto has received notable awards, including the Reykjavik University Research Award (2012) and induction into the Icelandic Academy of Sciences (2012). Research Interests: Concurrency theory, process algebra, structural operational semantics, modal and temporal logics, and computational complexity of verification problems. Awards: Multiple teaching awards at Aalborg University, Distinguished Dissertation Award (1991), and leadership roles in prestigious academic organizations. Professional Activities: Over 60 program committee roles, co-chairing ICALP and CONCUR, and editorial board memberships. Aceto’s work bridges theoretical foundations with practical verification challenges, contributing to formal methods and concurrency theory. His publications span journals, conferences, and textbooks, including a widely adopted textbook on reactive systems.

Official University Profile

Riitta SalmelinView profile

Professor

Graz University of TechnologyAustria

Riitta Salmelin is a Professor at Aalto University (formerly Helsinki University of Technology), where she has been faculty since 2002. She serves as a leading research scientist at the Brain Research Unit within the Low Temperature Laboratory. Previously, she held the prestigious position of Academy Professor with the Academy of Finland from 2006-2011. Her work bridges physics, neuroscience, and cognitive science through advanced neuroimaging techniques. Dr. Salmelin earned her Doctor of Technology in Physics from Helsinki University of Technology in 1989, followed by a Docent position in Applied Physics in 1995. Her educational background in physics provided the foundation for her pioneering work in applying magnetoencephalography to cognitive neuroscience. Salmelin's research focuses on cortical rhythmic activity, neuroimaging of language perception and production, and the neural basis of normal language function and language disorders. She has made significant contributions to understanding interareal functional connectivity using multimodal imaging techniques, particularly magnetoencephalography (MEG) and functional magnetic resonance imaging (fMRI). Her work has illuminated how the brain processes speech, reading, and language at millisecond resolution, revealing critical timing differences between normal and impaired language processing. Her 101 peer-reviewed publications demonstrate a consistent trajectory from methodological innovations in MEG to sophisticated applications examining language processing across multiple domains. The most recent publications reveal increasing sophistication in analyzing functional connectivity, with particular emphasis on how rhythmic brain activity supports language comprehension and production. Her work shows how temporal dynamics of neural processing differ between normal language function and disorders like dyslexia. Member of Academia Europaea (2002) Member of Academia Rodinensis Pro Remediatione (2002) Member of Finnish Academy of Science and Letters (2009) Wiley Young Investigator Award, Organization for Human Brain Mapping (2000) Philips Nordic Prize for Research on Neurodevelopmental Disorders (2003) Professor Salmelin has supervised 11 completed MSc theses and 6 PhD dissertations, with numerous additional students in progress. Her grant portfolio includes major international funding from the James S. McDonnell Foundation, European Science Foundation, EU Framework Programmes, and Human Frontier Science Program, as well as substantial national support from the Academy of Finland and Sigrid Jusélius Foundation. She has served on numerous editorial boards including Human Brain Mapping (as Associate Editor) and Brain Topography, and has been active in organizing major international conferences in her field. Salmelin leads research at the Brain Research Unit, part of Aalto University's Low Temperature Laboratory. Her work integrates physics, engineering, and neuroscience to develop and apply advanced neuroimaging methodologies. She has established herself as a world leader in time-sensitive neuroimaging of language processes, creating methodological frameworks that have been widely adopted in cognitive neuroscience.

Official University Profile

John TuckerView profile

Professor

Graz University of TechnologyAustria

John Tucker is a Professor of Computer Science at Swansea University's Department of Computer Science within the School of Physical Sciences. He has held leadership roles including Head of Department (1994-2007) and Head of School (2007-2011). His academic career spans institutions like University of Leeds and University of Bristol, with a PhD in Mathematical Logic (1977) and MSc in Mathematical Logic and Foundations of Mathematics and Computer Science (1974). Education : PhD (1977) and MSc (1974) from University of Bristol. His research focuses on the theory of synchronous algorithms , algebraic specification , physical foundations of computation , and computational physics , with historical interests in computing, mathematics, and science. He pioneered equational specification methods applied to micro-processors (ARM6 verification), 3D graphics, and non-linear systems modeling whole-heart dynamics. Scientific Awards : Founding Fellow of the Learned Society of Wales (2010) Elected Member of BCS-IET joint UK Computing Research Committee (2007-present) Trustee of the Institute of Welsh Affairs (2006) Fellow of British Computer Society (1998) As an academic leader, Tucker founded three journals and two book series (Cambridge Tracts in Theoretical Computer Science, Springer's History of Computing). He supervised 16 PhD students, advised on EU projects (FP3, FP4), and organized public science programs in Wales. His editorial roles include founding editor of Cambridge Tracts in TCS, Managing Editor of the Journal of Logic and Algebraic Programming, and service on boards of top-tier journals.

Official University Profile

Sarah AldrianView profile

Researcher

University of Applied Sciences BurgenlandAustria

Sarah Aldrian is a Researcher at Hochschule Burgenland's Health and Social Care department, concurrently affiliated with the University of Graz's Institute for Education and Educational Science. Her work bridges academic research with practical societal challenges, focusing on education systems, digital transformation in healthcare, and social equity. She holds a Master's degree (MA) and contributes to interdisciplinary projects addressing generational dynamics, value-based organizational practices, and pandemic response strategies. Her research portfolio includes studies on Sri Lanka's educational challenges, women's health in sports, and university equity initiatives like the Uni4Equity project. She has also explored telemedicine's role during the pandemic and collaborative learning in digital environments. Key collaborations include work with Filodiritto Editore and the FFH Forschungsforum. Notable projects include evaluating dementia care programs and analyzing generational value systems' impact on workplace efficiency. Her contributions span academic publications, policy-relevant research, and empirical analyses using register data and qualitative methodologies.

Official University Profile

Simon KranzerView profile

Senior Lecturer

Salzburg University of Applied SciencesAustria

Simon Kranzer is a Senior Lecturer and Head of Research Group at the Department of Information Technologies and Digitalisation, FH Salzburg. His work bridges academic research and practical application in digital transformation. Location: Campus Urstein, Room 425 Contact: simon.kranzer@fh-salzburg.ac.at | +43-50-2211-1316 Research Focus: Digital Twins for industrial systems Collaborative Robotics (Co-Bots) in retail Knowledge Transfer between academia and industry Operational Technology (OT) Security Data Acquisition and Visualization Programming Language Applications in industrial contexts Research Trends: Recent publications show expertise in retail automation (service robots, customer behavior analysis), industrial digital twins, and OT security. Earlier work spans GIS-SCADA integration, medical software implementation, and 3D microstructure analysis. Collaborative Projects: Active in interdisciplinary living labs, smart factory bootcamps, and 5G-based robotics exploration.

Official University Profile