Find Academic Supervisors

Tobias NipkowView profile

Professor

• Logic
• Term Rewriting
• Functional Programming
• +4 more

Tobias Nipkow is a Professor for Logic and Verification at the Department of Informatics, Technical University of Munich (since 2011), previously serving as Professor for Theory of Programming (1992-2011). His career spans academic roles at The University of Manchester, MIT, and University of Cambridge, including positions as Lecturer, Research Associate, and Advanced SERC Fellow. Research Interests focus on foundational aspects of computer science, particularly Formal verification of algorithms and systems Interactive theorem proving Term rewriting systems Semantics of programming languages Development of proof assistants Automated reasoning techniques Notable Publication Trends include extensive contributions to Isabelle/HOL formalization, verification of programming languages, and critical advancements in term rewriting and automated deduction. His work bridges theoretical foundations with practical verification tools. Scientific Awards Herbrand Award for Distinguished Contributions to Automated Reasoning (2021) Editorial Leadership includes tenure as Editor-in-Chief of the Journal of Automated Reasoning (2007-2020) and co-founding editor roles for ACM Transactions in Computational Logic and Logical Methods in Computer Science .

Tobias SchreckView profile

Professor

• Visual Data Analysis
• 3D Object Retrieval
• Visual Analytics
• +5 more

Tobias Schreck is a Professor at the Institute of Visual Computing (formerly Computer Graphics and Knowledge Visualization) at Graz University of Technology, affiliated with the Faculty for Computer Science and Biomedical Engineering. His research focuses on Visual Data Analysis, 3D Object Retrieval, and Immersive Analytics, with applications in engineering and industrial contexts. He holds a Dr.rer.nat. from the University of Konstanz and has held academic positions including Assistant Professor at the University of Konstanz and Head of the Visual Search and Analysis Group at TU Darmstadt. Education: Dr.rer.nat., University of Konstanz (2006) M.Sc. in Information Engineering, University of Konstanz (2002) Dipl.-Volkswirt (M.Sc. Economics), University of Konstanz (1999) His research interests include visual analytics for high-dimensional and spatial-temporal data, digital libraries, and collaborative analysis tools. He leads funded projects like HEREDITARY (EU Horizon Europe) and VR4CPPS (FFG), and has served as a program chair for IEEE VAST and EuroVis. His work emphasizes user interaction, eye-tracking integration, and immersive visualization techniques. He supervises a research team including postdocs, PhD students, and student assistants, and collaborates on projects like CrossSAVE-CH and the Joint PhD Programme with Nanyang Technological University. His contributions span publications in IEEE Transactions, EuroVis, and ACM conferences, addressing challenges in data exploration, anomaly detection, and visualization design.

Rooryck JohanView profile

Visiting Professor

• Syntax
• Semantics
• Morphology
• +3 more

Rooryck Johan is a Professor of French Linguistics at Leiden University (1993-2019) and currently serves as Executive Director of cOAlition S and Visiting Professor at Leiden University. He holds a membership in the Academy of Europe (elected 2019) and has held academic roles at Indiana University, Pennsylvania State University, and the University of Louvain. Research Interests: Generative grammar, language variation in Romance/Germanic languages, core knowledge systems, and theoretical linguistics. Grants: €550,000 + €750,000 from NWO small programs; €2,000,000 Horizon project grant; €600,000 from NWO VIDI-projects (3); €200,000 for postdoc projects (5). Scientific Awards: Distinguished Lorentz Fellowship (2011-2012) Editorial Leadership: President of the Fair Open Access Alliance and Founding Editor of Glossa (320+ OA articles since 2016). Academic Service: Reviewer for NWO, FWO, NSF, CNCS, and other institutions (2003-2018).

Riitta SalmelinView profile

Professor

• Cortical rhythmic activity
• Neuroimaging of language perception and production
• Normal language function and language disorders
• +7 more

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.

Jerzy TiurynView profile

Professor

• Bioinformatics
• Computational Biology
• Sequence Analysis
• +9 more

Jerzy Tiuryn is a Full Professor at the Faculty of Mathematics, Informatics and Mechanics, University of Warsaw (since 1992), with a PhD in Mathematics from the same university (1975). He served as Vice Dean for Scientific Matters and International Relations (2005-2012) and is actively engaged in editorial roles for journals like Theoretical Computer Science , Information and Computation , and BioMed Research International . Education: PhD in Mathematics (University of Warsaw, 1975). Research Interests: His work spans past contributions in program verification, semantics, typed lambda calculus, and type theory, with current focus on bioinformatics and computational biology. Specific areas include sequence analysis, gene family evolution, protein-protein interaction networks, gene regulatory regions, gene mutations in bacterial drug resistance, and comparative genomics. Trends in Publications: His recent articles emphasize computational methods in bacterial genomics (CAMBerVis, CAMBer), regulatory element prediction (Bi-Billboard), protein interaction mapping via phylogeny, and Bayesian network modeling for gene expression. Themes center on genomic data analysis, evolutionary conservation, and algorithm development for biological systems. Scientific Contributions: Awards and memberships highlight leadership in European and Polish academic networks: Board Member, European Research Consortium for Informatics and Mathematics (ERCIM) (2011) First President, Polish Bioinformatics Society (2008-2010) Founding Member/President, PLERCIM (2007-2012) Member, Academia Europaea (since 1996)

• Theoretical computer science
• Logic and verification
• Concurrent computation
• +12 more

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.

Friedrich SlivovskyView profile

Researcher

• Quantified Boolean Formulas
• Propositional Model Counting
• Knowledge Compilation
• +5 more

Friedrich Slivovsky is a researcher at the Institute of Logic and Computation within the Faculty of Informatics at Technische Universität Wien (Vienna University of Technology). His work focuses on theoretical and practical aspects of computational logic, with particular expertise in Quantified Boolean Formulas (QBFs), Propositional Model Counting (#SAT), and Knowledge Compilation. His research interests span the theoretical foundations and practical applications of computational logic. Slivovsky investigates the complexity of logical reasoning problems, develops efficient algorithms for solving them, and creates practical tools that implement these theoretical advances. His work bridges the gap between theoretical computer science and practical applications in areas like hardware verification, artificial intelligence, and electronic design automation. Analysis of his publication trends reveals a consistent focus on QBF solving techniques, with increasing emphasis on circuit minimization, proof complexity, and practical solver engineering. His recent work (2023-2024) shows a strong focus on circuit minimization techniques, combining QBF and SAT approaches to solve complex optimization problems in hardware design. Earlier work (2019-2021) emphasized dependency schemes, certification methods, and theoretical foundations of QBF solving. Slivovsky leads several significant software projects that have become important tools in the computational logic community: Qute : A dependency learning QBF solver with GitHub repository showing active development (latest commit December 2024) Unique : A preprocessor for (D)QBF that computes unique Skolem and Herbrand functions Pedant : A certifying DQBF solver These projects demonstrate his commitment to translating theoretical advances into practical tools that benefit the broader research community.

• Formal Methods
• Model-Driven Engineering
• SAT/QBF Solving
• +4 more

Martina Seidl is a researcher and principle investigator at TU Wien's Institut für Softwaretechnik und Interaktive Systeme (E188). Her main affiliation is within the Faculty of Informatics. She leads the FAME Project (Formalizing and Managing Evolution in Model-Driven Engineering), focusing on advancing formal methods in software engineering. Her research interests include formal verification techniques, SAT/QBF solving algorithms, model-driven engineering, and automated reasoning. She has contributed to advancements in quantified Boolean formula (QBF) solving, parallel computing methodologies for logical problems, and formal methods in software model analysis. Her work spans theoretical computer science and practical applications in automated theorem proving and model checking. Notable contributions include expansion-based QBF solving approaches, parallel solving frameworks, and feature-based classifications of formal verification techniques. Seidl co-organized the QBF Gallery initiative, which curates benchmark suites for quantified Boolean formula competitions. She has also published extensively on clause redundancy optimization, blocked clause analysis, and the integration of formal methods in educational contexts like UML@Classroom.

• Artificial Intelligence
• Scheduling Algorithms
• Metaheuristics
• +4 more

Prof. Nysret Musliu is an Associate Professor at TU Wien's Department of Databases and Artificial Intelligence within the Faculty of Informatics. His primary affiliation is with the E192-02 research area, focusing on optimization, scheduling, and AI applications. He leads projects like 'Artificial Intelligence in Employee Scheduling' and 'Predictive Analytics for Emergency Call Infrastructure,' demonstrating expertise in combinatorial optimization and real-world problem-solving. Academic Rank: Associate Professor Institution: TU Wien Key Projects: AI-driven scheduling, constraint programming, metaheuristics Research interests include scheduling algorithms, constraint programming, and hybrid optimization methods. His work bridges theoretical advancements with industrial applications, addressing challenges in manufacturing, healthcare, and transportation. Recent publications emphasize hyper-heuristics, large neighborhood search, and AI integration for complex scheduling problems. Notable contributions include systematizing test laboratory scheduling and developing exact methods for oven scheduling. His research group collaborates on projects involving personnel scheduling, production leveling, and parallel machine optimization.

Thomas EiterView profile

Professor

• Answer Set Programming
• Knowledge Representation
• Logic Programming
• +7 more

Thomas Eiter is a Professor at TU Wien's Institute of Logic and Computation. His research focuses on declarative programming paradigms, knowledge representation, and artificial intelligence. He leads projects in neurosymbolic systems, answer set programming (ASP), and stream reasoning, with applications in visual question answering, scheduling optimization, and semantic scene generation. Eiter has contributed to foundational work in ASP semantics, computational complexity, and hybrid reasoning frameworks. His work bridges logical formalisms with practical AI challenges, emphasizing explainability and scalability. Projects like ALASPO and neurosymbolic integration showcase his focus on advancing both theoretical and applied aspects of AI. Projects: HumanE AI Network, WASP, REWERSE Research Themes: Neurosymbolic AI, Answer Set Programming, Stream Reasoning Notable achievements include pioneering work on semiring-based reasoning frameworks and developing efficient ASP solvers like Alpha. His contributions span over 471 publications, emphasizing interdisciplinary applications in computer vision, robotics, and automated planning.

Johannes OetschView profile

Researcher

• Answer Set Programming
• Neural-Symbolic Computation
• Visual Question Answering
• +3 more

Johannes Oetsch is a researcher at TU Wien's Forschungsbereich Knowledge Based Systems within the Faculty of Informatics. His work focuses on Answer Set Programming (ASP) , neuro-symbolic computing , and visual question answering systems . He holds a Diplom-Ingenieur (Dipl.-Ing.) and a Doctor of Technical Sciences (Dr.techn.) in informatics. Key research areas include: Integration of large language models with symbolic reasoning frameworks Optimization techniques in ASP for scheduling problems Explainability mechanisms for neuro-symbolic systems Recent work emphasizes visual question answering using graph-based representations and contrastive explanation methods. He has contributed to the development of ALASPO , an adaptive optimization framework for ASP solvers. His research also explores applications in manufacturing scheduling and automated testing of logic programs. Notable contributions include: Neuro-symbolic pipelines combining ASP with vision-language models Lexicographical makespan optimization in parallel machine scheduling Large-neighbourhood search strategies for ASP-based optimization

• Cybersecurity
• Code Obfuscation
• Malware Analysis
• +3 more

Sebastian Schrittwieser is a Researcher in the Research Group Security and Privacy, part of the Faculty of Computer Science. His work focuses on cybersecurity, code obfuscation, malware analysis, and machine learning applications in security. He leads and contributes to projects like INODES (Cyber Defense Strategies) and EMRESS (Resilience Evaluation Models). His research bridges theoretical foundations and practical applications, addressing challenges in software protection and threat detection. Key research interests include: Code Obfuscation Techniques and Resistance Adversarial Machine Learning and Risk Assessment Malware Analysis and Program Simulation User Behavior in Cybersecurity Contexts Recent publications emphasize empirical studies on IT/OT infrastructure security, graph neural network vulnerabilities, and quantum-inspired machine learning. He actively collaborates with institutions like SBA Research and presents at international conferences. Grants include Research Funding for projects on optimal cyber defense strategies (INODES) and software resilience evaluation (EMRESS). His work aligns with interdisciplinary efforts in security engineering and privacy-preserving technologies.

• Information Systems
• Smart Cities
• Energy Informatics
• +4 more

Wieland Schwinger serves as Associate Professor in the Department of Cooperative Information Systems at Johannes Kepler University Linz (JKU), where he leads research at the intersection of information systems and critical infrastructure protection. His work addresses urgent challenges in operational technology monitoring for industrial control systems, energy data governance across European markets, and volunteer coordination during disasters. Current projects include iREDUCE (2025-2026), where he serves as Principal Investigator developing intelligent alarm flood reduction systems for critical infrastructure. His research program centers on three interconnected pillars: semantic relationship awareness frameworks for operational technology monitoring, data governance solutions for fragmented European energy markets, and goal-oriented recommender systems for crisis volunteering. Recent publications demonstrate consistent innovation in translating theoretical advances—particularly in data spaces and semantic modeling—into practical applications for smart cities and critical infrastructure. This work bridges computer science with energy engineering and social computing, yielding deployable solutions for urban microgrids and disaster response systems. Prof. Schwinger's 2024-2025 publications reveal a strategic focus on data accessibility challenges in critical domains, with 60% addressing operational technology monitoring through semantic frameworks and digital shadows. His energy governance research tackles European market fragmentation through comparative analysis of regulatory models, while volunteering systems explore novel data space integrations. These outputs reflect an interdisciplinary methodology combining empirical validation with framework development, consistently targeting real-world implementation in Austrian and European contexts. He received dual recognition in 2025 for sustained scholarly impact: SoSyM Most Influential (theme section) Paper award (September 2025) Ten-year most influential theme section paper award (October 2025) These honors specifically acknowledge his foundational work on model-to-model transformation languages, demonstrating research influence extending over a decade. As an active grant recipient, Prof. Schwinger currently leads the FFG-funded iREDUCE project (€ project value) and contributes to Civolunteer and FFG-KIRAS CERTIFIER initiatives. His project portfolio shows strong continuity in critical infrastructure research since 2021, with increasing leadership responsibilities including Principal Investigator roles. International engagement includes the ASEA-UNINET network for disaster management and European energy governance collaborations, supported by both FFG and EU funding mechanisms like Erasmus+. Research activities occur within JKU's Department of Cooperative Information Systems, where Prof. Schwinger collaborates closely with colleagues including Kapsammer, Retschitzegger, and Pröll. The group maintains strong industry ties through FFG projects with Austrian critical infrastructure operators, focusing on deployable monitoring solutions and data governance frameworks. Students gain hands-on experience with industrial datasets and real-time operational technology environments, preparing them for careers at the technology-policy interface in critical sectors.

• Business Informatics
• Data Science
• Knowledge Engineering
• +6 more

Michael Schrefl is a Full Professor at Johannes Kepler University Linz, affiliated with the Institute of Business Informatics - Data & Knowledge Engineering. He serves as Principal Investigator on multiple research projects including AWARE (2024-2026) and AISA (2020-2022), and is actively involved in European research collaborations as both PI and researcher on funded projects. His research interests span across several key areas in modern data science and business informatics: Business Informatics and Digital Transformation Data Science and Knowledge Engineering Database Systems and Data Mining Semantic Technologies and Information Systems Predictive and Prescriptive Analytics Enterprise Computing and Information Systems Professor Schrefl's recent publication activity shows a strong focus on reliability assessment in predictive analytics, conceptual modeling for business intelligence, and applications of data science in Industry 4.0 contexts. His work bridges theoretical foundations with practical applications in enterprise information systems, particularly examining data quality and reliability in predictive models. As an active member of the academic community, Professor Schrefl serves on program committees for major conferences including BI-WEEK, EDOC, and DATA. He has supervised 129 students throughout his career and contributes to educational technology through projects like eTutor++. His research spans multiple fields of science including Knowledge Engineering, IT Security, Web Engineering, and Distributed Systems. Professor Schrefl maintains strong engagement with both academic and public discourse, having given invited talks on AI topics in 2024 and scheduled media appearances including an Ö1 interview on autonomous weapons systems for 2025, demonstrating his commitment to science communication and societal impact of technological developments.

• Text Mining
• Computer Science
• Radiobiology
• +5 more

Privatdozent Dr. Dr. Ingo Feinerer serves as the Head of Faculty of Engineering at the University of Applied Sciences Wiener Neustadt in Austria. With two doctoral degrees and the Habilitation qualification (indicated by Privatdozent), he holds a senior academic position equivalent to Associate Professor in many systems. His research interests span multiple disciplines: Text Mining and Computer Science (class diagrams, schema mapping, domain constraints) Radiobiology and Ion Therapy for advanced cancer treatment Social Network Analysis and digital media History of Psychology and academic journal evolution Prof. Feinerer's work demonstrates exceptional interdisciplinary breadth, connecting technical computer science with medical physics applications and historical analysis. His current major research initiative is the PAIR project (2022-2026), which focuses on expanding radiobiological understanding of ion beams for cancer treatment. This project recognizes ion therapy using protons and carbon ions as the most advanced radiation-based cancer treatment due to its physical and biological advantages over conventional photon beams. His publication record spans from 2007 to 2025, with 36 publications including 18 journal articles and 15 conference papers. Recent publications show a shift toward medical physics applications while maintaining connections to his computer science expertise, as evidenced by the 2025 paper on an open-source framework for pre-clinical ion-beam research. As Head of Faculty, Prof. Feinerer oversees academic programs and research activities within the Faculty of Engineering, contributing to both educational leadership and active research in his diverse fields of expertise. His ORCID identifier (0000-0001-7656-8338) provides a persistent link to his scholarly work across these interdisciplinary domains.