Find Academic Supervisors

Wolfgang KunzView profile

Professor

• Hardware Safety and Security
• Formal Hardware Verification
• Embedded Computing Systems
• +5 more

Wolfgang Kunz is a Full Professor (C4, W3) and Chair of Electronic Design Automation at the Technische Universität Kaiserslautern since 2001. His academic career spans multiple prestigious institutions, including Goethe-University Frankfurt/Main and the University of Massachusetts, Amherst. He has held leadership roles such as Dean (2005-2007) and Vice-Dean (2007-2009) at TU Kaiserslautern. Habilitation (Dr. rer. nat. habil.), Computer Science, University of Potsdam (1996) Doctoral degree (Dr.-Ing.), Electrical Engineering, University of Hannover (1992) Dipl.-Ing. degree, Karlsruhe Institute of Technology (1989) His research focuses on hardware verification, security, and optimization, particularly in embedded systems and processors. His work on formal verification methods has been commercialized by companies like Synopsys, Mentor Graphics, and Siemens EDA. His 2016-2021 publications address critical security issues such as Spectre/Meltdown and introduce innovative verification frameworks adopted by industry leaders like Infineon and OneSpin Solutions. Scientific awards include the IEEE Fellow (2006), German IT Society Award (2005), and TU Kaiserslautern Distinguished Teaching Award (2016). He has served on editorial boards of major journals and coordinated the Erasmus Mundus European Master Program in Embedded Computing Systems since 2010. Key students: Jörg Bormann, Raik Brinkmann, Tobias Ludwig Collaborations: Siemens EDA, Infineon, AbsInt, Intel SCAP Spin-offs: LUBIS EDA, OneSpin Solutions

• Computer Security
• Cryptography
• Privacy
• +4 more

Matteo Maffei is a Full Professor at TU Wien, leading the Security and Privacy group. He joined in 2017 after 11 years at Saarland University's CISPA. He holds a Ph.D. in Computer Science from Ca’ Foscari University of Venice (2006). He coordinates the TU Wien Cybersecurity Center, the SecInt Doctoral School, and the FWF Special Research Program SPyCoDe. His research focuses on formal methods for security and privacy, blockchain technologies, and web security. Roles: Full Professor, Coordinator of TU Wien Cybersecurity Center, Module Head of Christian Doppler Lab for Blockchain Technologies (CDL-BOT), Board Member of Vienna Cybersecurity and Privacy Research Cluster (ViSP). His work emphasizes formal verification of cryptographic protocols, smart contracts, and decentralized systems. Key achievements include ERC Advanced (2024) and Consolidator (2018) Grants, and leadership roles in conferences like IEEE Computer Security Foundations Symposium (CSF). Research Interests: Formal methods, smart contracts, blockchain scalability, web security, privacy-preserving protocols, and decentralized systems. His recent projects include optimizing Lightning Network channels, secure multi-hop payments, and AI-driven robustness verification. Publications: Over 200 publications in top venues like CCS, IEEE S&P, and CRYPTO. Recent work includes advancements in blockchain interoperability (e.g., Alba bridges), light client protocols (Blink), and neural network verification techniques. Grants & Awards: ERC Advanced Grant (2024), ERC Consolidator Grant (2018), DFG Emmy Noether Fellowship (2009). Led projects funded by EU Horizon, FWF, and industry partners like ABC Research GmbH. Advising & Labs: Supervised over 20 PhD/Master theses. Active in the Christian Doppler Lab for Blockchain Technologies and the SPyCoDe SFB. Collaborates with institutions like SBA Research and Stanford University.

Joseph SifakisView profile

Researcher

• Model Checking
• Concurrent Systems Specification and Verification
• Component-Based Design
• +3 more

Joseph Sifakis is a CNRS Research Director and founder of Verimag Laboratory in Grenoble, France. He holds the INRIA-Schneider endowed industrial chair since 2008 and has been instrumental in advancing concurrent systems specification and verification. Education: Electrical Engineering (Technical University of Athens), Computer Science (University of Grenoble) Research interests focus on component-based design , real-time systems , and correct-by-construction techniques . He pioneered the development of the BIP framework and contributed to model checking, a cornerstone of industrial system verification. Recent publications emphasize component-based modeling, formal verification, and distributed system design, reflecting his work's impact on embedded systems and critical applications like aerospace and telecommunications. Scientific awards include: Turing Award (2007) CNRS Silver Medal (2001) Test-of-Time Award (2012) Multiple honorary doctorates (2008-2011) Member of prestigious academies Industry collaborations span Airbus, ST Microelectronics, and the European Space Agency, with applications in aeronautics, telecommunications, and industrial software standards. He leads the ARTIST2 Network of Excellence and directs the CARNOT Institute 'Intelligent Software and Systems'.

Gerald PrucknerView profile

Professor

• Health Economics
• Behavioral Economics
• Aging Research
• +4 more

Gerald Pruckner is a Professor at the Department of Economics, Johannes Kepler University Linz (JKU), where he serves as Head of the Institute of Health Economics and Dean of the Kurt Rothschild School of Economics and Statistics (RoSES). His academic career spans over three decades with significant leadership roles including heading the Christian Doppler Laboratory for Aging, Health, and the Labor Market (2014-2021), and serving on the board of the Austrian Health Economics Association (ATHEA). He teaches multiple courses including Introductory Microeconomics, Empirical Economics, and Health Economics for the 2025W semester. Pruckner earned his PhD in Economics from the University of Linz in 1993. His academic journey began as an Assistant Professor at JKU (1989-2002), followed by a Professorship at the University of Innsbruck (2002-2006), then returning to JKU as Associate Professor (2006-2010) before his current Professorship (since 2011). He has held visiting positions at the University of Adelaide and UC Berkeley. His research focuses at the intersection of health economics, behavioral economics, and aging, examining healthcare systems, physician behavior, and the relationship between labor markets and health outcomes. Recent work investigates hospital crowding effects, gender differences in medical practice, chronic disease screening effectiveness, and child health services. His research consistently applies economic principles to understand healthcare delivery with emphasis on the Austrian context, often utilizing register data for evidence-based policy insights. Analysis of Pruckner's publication trends shows a sustained focus on practical healthcare issues with policy relevance. His work spans hospital management challenges, gender differences in medical practice, chronic disease screening effectiveness, and child health services. The research consistently bridges academic inquiry with practical health policy applications, with increasing attention to pandemic impacts and digital transformation in healthcare. Board member of Austrian Health Economics Association (ATHEA) since 2015 Member of Health Economics Committee (Verein für Socialpolitik) since 2013 Deputy head of national research network 'The Austrian Center for Labor Economics and the Analysis of the Welfare State' (2008-2013) Head of Christian Doppler Laboratory for Aging, Health, and the Labor Market (2014-2021) Pruckner actively mentors graduate students through dissertation colloquia and master's thesis supervision. His research portfolio includes 23 projects with significant funding, including current work on health services research in Upper Austria and empirical analysis of Linz healthcare provision. As Dean of RoSES and Head of the Health Economics Institute, he provides institutional leadership while maintaining an active research agenda with over 100 publications. He leads multiple research teams focused on health services research, with current projects examining healthcare provision in Linz, health indicators for the region, and broader health system analysis. His work bridges academic research and practical health policy applications through collaborations with regional health authorities and participation in professional associations.

Borivoje DakicView profile

Associate Professor

• Quantum Information Theory
• Quantum Foundations
• Quantum Tomography
• +5 more

Dr. Borivoje Dakic is an Associate Professor at the University of Vienna , affiliated with the Faculty of Physics and the Quantum Optics, Quantum Nanophysics and Quantum Information department. His research spans foundational and applied aspects of quantum theory. Operational reconstruction of quantum formalism Quantum interference as a resource for communication Tomography of large-scale quantum systems Macroscopic quantum phenomena His work includes scalable verification techniques for quantum devices and collaborations with experimental teams like Philip Walther’s and Markus Aspelmeyer’s groups. He received the Marko Jarić Prize (2025) for his contributions. Recent projects focus on diagnostics of quantum devices (FWF BeyondC SFB), information-theoretic foundations of quantum interference (FWF P36994), and local operations in quantum field theory (Cluster of Excellence QuantA). His research on quantum coherence in networks and macroscopic entanglement challenges traditional assumptions about quantum-classical boundaries. Publications emphasize resource-efficient tomography, device-independent verification, and foundational frameworks for quantum statistics and field theory. Teaching: Quantum Information (2025W), Theory in Quantum Optics (2025S), VCQ Summerschool Labs: Dakić Group at University of Vienna

Hong MeiView 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 since 2016. Previously, she held leadership roles including Vice President for Research at Shanghai Jiao Tong University (2013-2016) and Dean of the School of Electronics Engineering and Computer Science at Peking University (2006-2014). She has made groundbreaking contributions to software engineering and system software fields. BSc and MSc in Computer Science & Engineering from Nanjing University of Aeronautics & Astronautics (1984, 1987) PhD in Computer Science and Technology from Shanghai Jiao Tong University (1992) Her research focuses on software architecture , component-based software engineering , and cloud computing/big data systems . She has led over 40 grants totaling 200+ million CNY and holds 20+ patents. Her work addresses critical challenges in software lifecycle modeling, interoperability, and standardization. As a leading authority in software engineering, she has received China's highest honors including State Awards for Science and Technology Progress (2006), Technology Invention (2008), and Natural Science (2012). She was elected Member of the Chinese Academy of Sciences in 2011 and IEEE Fellow in 2014. Executive Editor-in-Chief of Science China-Information Sciences (2012-2017) Editor-in-Chief of Science China-Information Sciences (2018-present) Advisory Board Member of Alibaba DAMO Academy (2017-present)

Elisa RiedoView profile

Professor

• Experimental nanoscience
• Graphene
• Diamene and 2D materials
• +11 more

Elisa Riedo is a tenured Professor of Chemical and Biomolecular Engineering at New York University (NYU) Tandon School of Engineering, with joint appointments as Professor of Physics in NYU’s College of Arts and Science and as affiliated Professor of Mechanical Engineering at Tandon. She serves as Director of Faculty Development at NYU Tandon and has held prior tenured positions at Georgia Tech (2003–2015) and CUNY ASRC (2015–2018). Her academic career spans over two decades, with a Ph.D. in Physics from the University of Milano (2000) and postdoctoral work at EPFL. Her research focuses on nanotechnology , graphene and 2D materials , and thermal scanning probe lithography (tSPL) , with applications in biomedical diagnostics quantum electronics electromagnetic interference shielding mechanical reinforcement of materials She pioneered tSPL for sustainable nanofabrication and discovered diamene—a single-layer diamond structure from graphene under pressure. Her recent work involves transparent infrared electrodes using silver nanowires (2025) and self-organized graphene stacking domains for quantum technologies (2024). She has secured major grants from National Science Foundation , Department of Defense , and Army Research Office . Scientific honors include: 2023 NYU Tandon Excellence in Research Award 2013 American Physical Society Fellow 2005 CREA Innovation Award Membership in the Academy of Europe (2023) She contributes to editorial boards for journals like 2D Materials and Applications and advises companies such as Mirimus Inc. and SwissLitho AG .

Thierry LangerView profile

Professor

• Computer-Aided Molecular Design
• Pharmacophore Modeling
• Drug Discovery
• +7 more

Professor Thierry Langer is a Full Professor of Pharmaceutical Chemistry at the University of Vienna’s Faculty of Life Sciences (Department of Pharmaceutical Sciences). He leads research in computational drug design, with a focus on pharmacophore modeling, 3D-QSAR analysis, and AI-driven molecular design. His work bridges theoretical and experimental chemistry, addressing targets like viral proteases (e.g., SARS-CoV-2), GABA receptors, and dopamine transporters. Research interests include: Pharmacophore-guided drug discovery for anti-viral and CNS therapies Development of next-generation computational tools (e.g., PharmacoMatch, QPhAR) Protein-ligand interaction modeling using neural networks and graph-based algorithms Recent studies focus on: Inhibitors for herpesvirus nuclear egress complexes, AI-optimized antivirals, and dopamine transporter inhibitors for cognitive enhancement. His lab collaborates on projects like the NeuroDeRisk initiative to de-risk neurotoxic compounds. Publications emphasize drug repurposing, metabolic pathway analysis, and scalable synthesis methods for promising drug candidates.

• Photonics
• Laser Technology
• Machine Learning
• +5 more

Professor Robert Eason is a leading academic at the University of Southampton, specializing in photonics and laser technology. His research spans interdisciplinary areas combining Machine Learning , Medical Diagnostics , and Microfluidics . Research Interests : Eason focuses on AI-driven laser applications, including deep learning for phototherapy , autonomous laser machining , and low-cost paper-based diagnostic devices . His work bridges photonics with biomedicine and advanced manufacturing. Recent Publications : His 2025 article in Scientific Reports explores AI simulations for psoriasis treatment, while 2024-2022 works address laser-controlled microfluidics, deep learning in microscopy, and reinforcement learning for laser machining. Supervision : He supervises PhD student Georgia Mourkioti in laser-based research projects. External Roles : Eason has served as a speaker at international conferences including the International Symposium on Laser Precision Microfabrication (2018), LAISER (2019), and Deep Learning for Control of Light-Matter Interactions (2022).

• Analog and mixed-signal integrated circuit design
• Computer-aided design (CAD) of electronic circuits
• Design automation (EDA)
• +5 more

Georges Gielen is Full Professor in the Department of Electrical Engineering (ESAT) at KU Leuven, Belgium, and part-time Research Director at imec. He has held multiple leadership roles including Chair of ESAT Department (2012-2013, 2020-2024) and Vice-Rector for Science, Engineering & Technology (2013-2017). His academic career spans over 30 years at KU Leuven, progressing from Assistant to Full Professor. His research focuses on analog and mixed-signal integrated circuit design automation , with expertise in CAD tools, design optimization, sensor interfaces, and neuromorphic systems. His work bridges hardware design with machine learning, particularly in hardware-efficient AI implementations and biomedical applications. He has pioneered techniques for automated analog circuit sizing, topology synthesis, and reliability-aware design in nanometer CMOS. Gielen has received numerous accolades including the IEEE CAS Mac Van Valkenburg Award (2015), IEEE CAS Charles Desoer Award (2020), and EDAA Achievement Award (2021). He holds an ERC Advanced Grant AnalogCreate and is an IEEE Fellow since 2002. As a prolific scholar, he has chaired major conferences including DATE (2006), ICCAD (2007), and ESSCIRC (2017). He has graduated over 55 PhD students through the MICAS research group at KU Leuven, currently supervising 13 doctoral candidates. His research team collaborates extensively with imec and industry partners on cutting-edge projects in carbon-aware AI accelerators, uncertainty-aware design, and neuromorphic sensor interfaces.

• Creative Cognition
• Psychology of Creativity
• Metacognition
• +3 more

Mathias Benedek is an Associate Professor at the Institute of Psychology, Faculty of Natural Sciences, University of Graz, Austria. He directs the Creative Cognition Lab and is actively involved in several research networks, including the "Complexity of Life" profile area, the "Brain and Behavior" research network, and the "FUTURE EDUCATION" research network at the University of Graz. His research focuses on the cognitive and neural mechanisms underlying creative thinking, with particular emphasis on the role of memory processes, metacognition, and eye movement patterns during creative ideation. Dr. Benedek's work bridges psychological theory with empirical research methods including eye tracking, neuroimaging, and computational modeling of creative processes. His research has important implications for understanding how creative potential develops and how it can be assessed and nurtured in educational and professional contexts. Dr. Benedek's publication record demonstrates a consistent focus on creative cognition across multiple dimensions. His recent work has expanded into emerging areas such as human-AI collaboration for creative tasks, automated assessment of creativity using large language models, and the relationship between physical activity and creative performance. His research shows a strong trajectory toward more ecologically valid methods for studying creativity in real-world contexts, moving beyond traditional laboratory paradigms. Seraphine Puchleitner Anerkennungspreis (PhD Supervision Award), University of Graz, 2021 William-Stern-Preis, German Psychological Society, 2019 Research Prize, University of Graz, 2017 Research Prize (Publication Category), Initiative Gehirnforschung, 2016 Berlyne Award, Division 10, American Psychological Association, 2015 Dr. Benedek has demonstrated strong commitment to mentoring the next generation of researchers, as evidenced by his 2021 PhD Supervision Award. His research has been supported by multiple grants from national and international funding bodies, though specific grant details are not provided in the available information. His professional service includes leadership roles in the Initiative Gehirnforschung Steiermark since 2010 and active membership in several psychological societies across Europe and North America. Dr. Benedek leads the Creative Cognition Lab at the University of Graz, which employs a multidisciplinary approach to studying creative processes. The lab integrates methods from cognitive psychology, neuroscience, and computational modeling to investigate the mechanisms underlying creative thought. Current research projects examine the relationship between eye movements and internal cognitive processes, the development of automated assessment tools for creativity, and the application of creativity research to educational contexts.

• Natural Hazards
• Disaster Risk Reduction
• Wildfire Vulnerability
• +3 more

Maria Papathoma-Köhle is an Associate Professor at the Institute of Alpine Natural Hazards , University of Natural Resources and Life Sciences, Vienna. She holds a PhD in Tsunami Vulnerability Assessment from Coventry University (UK) and has held roles as Academic Coordinator of the MSc 'Risk Prevention and Disaster Management' at University of Vienna. Her research focuses on natural hazard vulnerability , particularly wildfire and flood risks in alpine regions, with methodological expertise in indicator-based vulnerability assessment and physical vulnerability indices . Education: PhD in Natural Hazards (Coventry University, UK) MSc in Environmental Management (University of Durham, UK) Geology Degree (University of Athens, Greece) Research: Specializes in wildfire vulnerability indices, flood risk modeling, and climate change adaptation frameworks. Developed the Physical Vulnerability Index (PVI) for buildings and contributed to EU-funded projects like FLOODLABEL and EXTEND. Awards: Elise Richter Scholarship (2016) Back to Research Grant (2012) Young European Scientist Award (2002) Projects: Led FWF-funded research on physical vulnerability indicators and collaborated on EU programs for wildfire preparedness. Current work includes climate change adaptation tools for Austrian infrastructure. Advising: Supervised 6 Master's/PhD students on wildfire and flood vulnerability topics. Publications: Over 106 peer-reviewed works; recent articles focus on wildfire indices, IPCC risk diagrams, and dynamic flooding assessment.

Stephan LeitnerView profile

Associate Professor

• Agent-Based Modeling and Simulation
• Organizational Dynamics
• Complex Systems
• +5 more

Associate Professor at the University of Klagenfurt , affiliated with the Department of Management Control and Strategic Management under the Faculty of Economics and Law . Research focuses on agent-based modeling applied to organizational dynamics , complex systems , and managerial economics . Holds a doctoral degree in Social Sciences and Economics (2012) and venia docendi in Business Economics (2018) . Core faculty member in the Self-Organizing Systems research cluster Academic editor for PLoS ONE and editorial board member for multiple journals Recipient of the 2021 Advancement Award (Humanities/Social Sciences) from Carinthian government Research integrates computational simulation with organizational theory , examining phenomena like decentralized task allocation , incentive mechanisms , and reproducibility in social sciences . Teaching portfolio includes business analytics , management control , and scientific modeling at undergraduate and graduate levels. Recent publications explore organizational resilience , team coordination dynamics , and financial modeling using agent-based simulation techniques. Active participant in international conferences like Social Simulation Conference and European Conference on Operational Research .

• Model-Based Testing
• Automata Theory
• Machine Learning
• +5 more

Bernhard Aichernig is an Associate Professor at the Institute of Software Engineering and Artificial Intelligence. His work bridges formal methods, model-based testing, and artificial intelligence, with a focus on automata learning, digital twins, and AI-assisted programming. Institution: Institute of Software Engineering and Artificial Intelligence Key Research Areas: Model-Based Testing, Automata Learning, AI-Driven Verification His research explores the integration of machine learning into formal verification, enabling scalable testing of complex systems like IoT devices and reinforcement learning agents. Recent projects include AI-Augmented DevOps frameworks (AIDOaRT) and digital twin validation (LearnTwins). Notable scientific awards include multiple best paper recognitions at SEFM (2020, 2021) and the TAYSIR Competition first place (2023). His publications emphasize hybrid approaches combining genetic programming, SMT solving, and neural networks for system modeling. 2025 : AI-assisted programming, timed automata via domain knowledge 2024 : Stochastic environment modeling, Git system learning 2023 : Reinforcement learning under partial observability, digital twins for VPN servers He actively contributes to testing frameworks like AALpy and investigates explainable AI for fault diagnosis in cyber-physical systems.

• Mechanical Engineering
• Tribology
• Systems Engineering
• +3 more

Hannes Hick is a Professor at Graz University of Technology , affiliated with the Institute of Machine Elements and Development Methodology . His research focuses on mechanical development, tribology, and systems engineering for automotive and industrial applications. He actively contributes to engineering education and methodology standardization. Research Interests Hydrogen internal combustion engines System modeling and digital twins Tribology in electric drivetrains Sustainable engineering practices MBSE (Model-Based Systems Engineering) Friction and wear analysis Article Trends His recent work emphasizes hydrogen propulsion systems, model-based approaches for interdisciplinary engineering challenges, tribological optimization for sustainable mobility, and integrating AI with mechanical design workflows. Labs and Teams He leads research at the Institute of Machine Elements, focusing on mechanical validation and development methodologies for advanced powertrain systems.