Find Academic Supervisors

Angelo PeccerilloView profile

Professor

• Igneous petrology
• Geochemistry
• Volcanology
• +2 more

Angelo Peccerillo is a distinguished Full Professor of Petrology at the University of Perugia, Italy, with an extensive academic career spanning multiple Italian universities. He previously served as Full Professor of Petrology at the Universities of Calabria (1993-1997) and Messina (1985-1993), and as Associate Professor of Volcanology (1982-1985) and Assistant Professor (1971-1982) at the University of Florence. He earned his Laurea Degree in Geology from the University of Florence in 1970 and has been a member of Academia Europaea since his election. Peccerillo's research focuses on the petrology and geochemistry of magmatic processes, with particular expertise in igneous petrology, geochemistry, volcanology, orogenic volcanism, and continental rift magmatism. His scholarly work has established him as a leading expert in understanding the complex relationships between mantle processes, crustal interactions, and volcanic activity in the Mediterranean region and beyond. His research methodology integrates petrological, geochemical, and geophysical approaches to develop comprehensive models of magmatic systems. Analysis of Peccerillo's recent publications reveals a consistent focus on magmatic processes across diverse geological settings. His work spans from detailed studies of specific volcanic systems like the Aeolian Islands and Ethiopian Rift to broader investigations of mantle structure and geodynamic processes in the Mediterranean region. A recurring theme is the integration of multiple analytical approaches to model magma plumbing systems, understand mantle composition, and elucidate the geodynamic evolution of volcanic regions, particularly examining the relationships between deep and shallow mantle processes. Antonio Feltrinelli Price 2006 for Earth Sciences, awarded by the National Academy of Lincei, Italy Professor Peccerillo has supervised numerous MSc and PhD students both at his home institution and abroad. His editorial leadership includes serving as Chief Editor of the "European Journal of Mineralogy" from 2006 to 2008 and membership on the editorial boards of several prestigious journals including "Lithos," "Journal of Volcanology and Geothermal Research," "Geological Society of Italy Bulletin," and "Open Mineralogy Journal." He has been actively involved in research evaluation, serving on national and international panels for organizations such as NSF, ESF, CNR, MIUR, and NATO. Peccerillo maintains strong international scientific connections through visiting positions at institutions like the Australian National University, University of Gottingen, and University of Paris XI at Orsay. His leadership extends to professional organizations, having served as President of the Italian Petrology Group and currently as a Member of Academia Europaea. His administrative experience includes serving as Department Head and Coordinator of PhD programs at the Universities of Messina, Cosenza, and Perugia.

• Numerical Analysis
• Partial Differential Equations
• Finite Element Methods
• +4 more

Olaf Steinbach is a University Professor (Univ.-Prof.) at the Institute of Applied Mathematics at Graz University of Technology. His academic career spans over three decades with continuous research activity from 1992 to the present, including publications scheduled for 2026. He serves as a project manager for several research initiatives including the Special Research Area (SFB) F90 Computational Electric Machine Laboratory, which runs from 2022 to 2026. Professor Steinbach's research interests primarily focus on Numerical Analysis and Computational Mathematics . His work centers around developing and analyzing advanced numerical methods, particularly Finite Element Methods (FEM) and Boundary Element Methods (BEM), for solving partial differential equations (PDEs) and optimal control problems. His research spans both theoretical aspects (such as error analysis, stability, and convergence) and practical applications (including electric machines, electromagnetics, and biomechanics). He has made significant contributions to space-time finite element methods, which treat time as an additional dimension in the discretization process, leading to more robust and efficient solvers for time-dependent problems. Analysis of his recent publications (2021-2026) reveals a strong focus on optimal control problems governed by partial differential equations, with particular emphasis on elliptic, parabolic, and hyperbolic PDEs. His work demonstrates a consistent pattern of developing robust numerical methods with rigorous error analysis, often incorporating regularization techniques to handle challenging constraints. The applications span computational electromagnetics (particularly electric machines), fluid dynamics, and wave propagation problems. His research increasingly incorporates advanced computational techniques including parallel computing and isogeometric analysis. Professor Steinbach has supervised numerous doctoral students and has been actively involved in organizing academic events, including summer schools on Boundary Element Methods. His collaborative network extends across multiple disciplines and institutions, reflecting the interdisciplinary nature of his work in computational mathematics. His research has been supported through multiple significant projects including DK-W1244 Doctoral Program on Partial Differential Equations, the EU CASOPT project on optimization of industrial devices, and the ongoing Special Research Area on Computational Electric Machine Laboratory. These projects demonstrate his leadership in establishing research frameworks that bridge theoretical mathematics with practical engineering applications. Professor Steinbach maintains an active research group within the Institute of Applied Mathematics, collaborating closely with researchers in computational engineering, electrical engineering, and biomechanics. His work on the Computational Electric Machine Laboratory represents a particularly strong interdisciplinary effort combining mathematical theory with electrical engineering applications.

• Tax Law
• Corporate Tax
• International Tax Law
• +5 more

Univ.-Prof. Dr. Claus Staringer is Professor of Tax Law with a special focus on Corporate Tax at the Vienna University of Economics and Business Administration (WU Wien). He has served as Head of the Corporate Tax Group and Deputy Chairman of the Department of Austrian and International Tax Law since 2003, and as Director for legal Doctoral Studies since 2005. Additionally, he has been a Principal Consultant at Freshfields Bruckhaus Deringer since 2001, maintaining a strong connection between academic research and professional practice in international tax law. Staringer earned his Mag.iur. in Economics and Law from the Vienna University of Economics and Business Administration and University of Vienna, followed by a Dr. iur. with excellence (thesis: "Einlagen und Umgründungen") and habilitation in Tax Law (thesis: "Besteuerung doppelt ansässiger Kapitalgesellschaften"). His academic journey includes assistant positions at both WU Wien and the University of Vienna, blending academic rigor with practical insights from his work at Deloitte and Freshfields. His research focuses on international tax law, particularly corporate taxation, double taxation agreements, and European tax coordination. Staringer has made significant contributions to understanding dual resident corporations, cross-border reorganizations, and the interaction between EU law and tax treaties. His work bridges theoretical frameworks with practical applications in multinational tax planning and compliance. Staringer's publication record shows consistent scholarly output with emphasis on European tax developments, treaty interpretation, and corporate restructuring. His recent work addresses emerging challenges including digital economy taxation, minimum global taxation, and sustainability reporting implications for tax systems. The publications demonstrate methodological rigor with thorough analysis of case law from the European Court of Justice and international tax tribunals. Rudolf Sallinger Award (1994) for Doctoral Thesis Mitchell B. Carroll Prize of the International Fiscal Association (1999) Albert Hensel Prize of Deutsche Steuerjuristische Gesellschaft (1999) Gerhard Thoma Prize of German Institute of Tax Consultants (1999) Award for academic achievements from IFA National Committee (2000) Award for "Innovative Teaching" at WU Wien (2006) Staringer has been instrumental in developing the European Tax Moot Court program and has supervised numerous doctoral candidates through his role as Director of legal Doctoral Studies. His professional engagements include significant contributions to EU tax policy discussions, particularly regarding the Common Consolidated Corporate Tax Base (CCCTB) and the implementation of the OECD's BEPS recommendations in European jurisdictions. He leads the Corporate Tax Group at WU Wien, which has established itself as a leading research center for Austrian and international tax law. The group regularly organizes the Vienna Symposium on International Tax Law and contributes to major research projects on international tax coordination, including EU-funded initiatives examining cross-border tax challenges in the single market.

• Mechanical Engineering
• Robotics
• Optimal Control
• +4 more

Philipp Eichmeir is a Researcher at the Research Center Wels within the Upper Austria University of Applied Sciences . His work focuses on optimal control , multibody dynamics , and adjoint methods applied to robotics and automotive systems. Expertise in adjoint gradient computation for extremal value optimization Active in automotive/mobility and smart production domains Philipp's research spans computational mathematics , robotics , and mechanical engineering , utilizing advanced numerical methods and simulation modeling for complex dynamic systems. His recent publications focus on multibody dynamics , adjoint optimization , and inequality constraint handling in control systems. Collaborative projects include IOMMS (Innovative Optimization Methods for Multibody Systems) and JR-Centre for Thermal NDE of Composites . Scientific Awards Best Paper Award (2020) Automatisierte Körperschallauswertung (2015)

Markus VinczeView profile

Associate Professor

• Robotics
• Computer Vision
• Human-Robot Interaction
• +5 more

Markus Vincze is an Associate Professor at the Institute of Automation and Control Engineering (ACIN) at Vienna University of Technology (TU Wien). He founded the Vision for Robotics (V4R) group in 1996 to advance robotic perception, particularly in real-world environments and homes. His work focuses on cognitive computer vision techniques for robotics. Education: Diplom in Mechanical Engineering (1988) and PhD (1993) from TU Wien; M.Sc. (1990) from Rensselaer Polytechnic Institute. V4R coordinates EU projects like ActIPret, robots@home, HOBBIT, and national initiatives like vision@home. Markus has edited a book on Robust Vision with Gregory Hager and authored 62 peer-reviewed journal articles and over 400 reviewed publications. His recent research explores zero-shot 6D pose estimation, sim-to-real transfer, and transparent object detection. Markus has served as program chair for ICRA 2013 and organized HRI 2017 in Vienna. He has advised numerous students and secured grants from the Austrian Academy of Sciences for work at HelpMate Robotics and Yale's Vision Laboratory. The V4R group leads innovations in robotic vision, including frameworks for synthetic data generation (Unrealgensyn), depth completion (CAGT), and educational robotics applications for sustainability. Their work spans household robotics (RH3), agricultural robotics (EdgeSoil), and human-robot collaboration.

Victor VianuView profile

Professor

• Computational Logic
• Database Systems
• Database Theory
• +4 more

Victor Vianu is a Professor of Computer Science and Engineering at the University of California, San Diego and holds the INRIA International Chair at INRIA-Saclay in Paris. He has maintained continuous faculty status at UC San Diego since 1983 while developing extensive international collaborations, particularly with French research institutions including INRIA, ENST-Paris, ENS-Paris, and the University of Paris. His academic credentials include a Ph.D. in Computer Science from the University of Southern California (1983) and undergraduate studies in Mathematics and Informatics at the University of Bucharest (1974-1977). Professor Vianu's research spans computational logic, database systems and theory, and automatic verification. His work uniquely bridges theoretical foundations with practical applications in XML processing, workflow systems, and data-driven applications. He has made seminal contributions to understanding the theoretical underpinnings of database query languages and their expressive power, particularly in the context of XML technologies and workflow systems. His research demonstrates a consistent trajectory from theoretical computer science to practical database systems applications. His publication record reveals significant contributions to database theory spanning over three decades, with particular emphasis on XML technologies, workflow systems, and formal methods for data-driven applications. His work shows a clear evolution from foundational theoretical work to practical applications in business processes and web technologies. INRIA International Chair (2013) Fellow of the American Association for the Advancement of Science (AAAS) (2013) ACM PODS Alberto O. Mendelzon Test-of-Time Award (2010) Fellow of the Association for Computing Machinery (ACM) (2006) Professor Vianu has held significant leadership roles including Editor-in-Chief of the prestigious Journal of the ACM, numerous program committee chair positions for major database conferences (PODS, ICDT, ASIAN), and General Chair for ACM SIGMOD conferences. He has served on the executive committees of SIGMOD (1998-2000) and PODS (1993-2004), and was a member of the ICDT Council (1997-2007), demonstrating sustained influence in the theoretical database community. His extensive invited talks at major conferences including College de France, ACM PODS, and International Conference on Database Theory highlight his international recognition.

Sylvain LefebvreView profile

Researcher

• Computer Graphics
• Texture Synthesis
• Additive Manufacturing
• +4 more

Sylvain Lefebvre is a permanent researcher at INRIA (Institut National de Recherche en Informatique et en Automatique) in France, where he leads the MFX research team since 2018. Previously, he was part of the ALICE group at INRIA Nancy (2009-2018) and the REVES team in Sophia Antipolis (2006-2009). His career includes a postdoctoral position at Microsoft Research Seattle (2005) following his PhD at INRIA Rhones-Alpes under Fabrice Neyret. His educational background includes a PhD in Computer Graphics from Université Joseph Fourier (Grenoble) in 2005, preceded by a Master in Computer Graphics from INP Grenoble in 2001. His habilitation thesis focused on Runtime Texture Synthesis. Lefebvre's research centers on simplifying content creation for highly detailed patterns, structures, and shapes with applications spanning Computer Graphics to additive manufacturing. He develops fast, controllable by-example synthesis approaches that generate content while enforcing user-specified constraints. His work addresses computational challenges through novel data structures and algorithms optimized for GPUs and FPGAs, including his Silice programming language. The ERC-funded ShapeForge project (2012-2017) advanced shape generation for 3D printing, leading to the IceSL software for digital modeling and fabrication. Analysis of his 15 most recent publications reveals a strong focus on additive manufacturing optimization, with recurring themes in structural integrity, material efficiency, and geometric algorithms. His work bridges computer graphics theory with practical fabrication constraints, particularly in microstructure design, slicing techniques, and mechanical metamaterials. The interdisciplinary nature spans computer science, materials engineering, and robotics. EUROGRAPHICS Young Researcher Award (2010) ERC Starting Grant for ShapeForge project (2012) Lefebvre has advised over 25 PhD students and interns including Marco Freire, Thibault Tricard, and Jimmy Etienne. His ShapeForge project received significant ERC funding, supporting research in computational fabrication. He serves on numerous program committees including SIGGRAPH, Eurographics, and SIGGRAPH Asia, reflecting his leadership in the computer graphics community. As leader of the MFX team since 2018, Lefebvre directs research in computational fabrication, focusing on IceSL software development for 3D printing workflows. The team integrates computer graphics techniques with manufacturing constraints, developing tools that simplify complex object design and fabrication while addressing real-world challenges in material usage and structural integrity.

• Computational Logic
• Declarative Logic Programming
• Answer-Set Programming
• +5 more

Hans Tompits is an Associate Professor in the Department of Knowledge-Based Systems at Technische Universität Wien (Vienna University of Technology). His research focuses on computational logic, declarative logic programming, and formal methods, with a particular emphasis on Answer-Set Programming (ASP). He coordinates the Master's program in Logic and Computation and leads projects in areas such as formal methods for optimization, fault-tolerant autonomous systems, and algorithmic composition. His work bridges theoretical advancements with practical applications, including tools like SeaLion (an ASP IDE with debugging support) and dlvhex (an ASP-based semantic web reasoner). He has contributed to foundational topics like program equivalence, debugging techniques, and integration of ASP with external systems. His recent projects address challenges in autonomous vehicle architectures, music composition algorithms, and safety-critical system design. Tompits has published extensively on topics ranging from nonmonotonic reasoning and modal logics to the development of declarative programming tools. His interdisciplinary approach spans computer science, mathematics, and AI, with applications in both academic and industrial contexts.

Liu DerongView profile

Professor

• Neural Networks
• Reinforcement Learning
• Intelligent Control
• +5 more

Liu Derong is a distinguished academic holding the position of Chair Professor at Southern University of Science and Technology (Shenzhen, China) since 2022. He is also a Full Professor at the University of Illinois at Chicago (UIC) since 2006. His academic journey includes roles as Professor at Guangdong University of Technology (2017–2022) and the Chinese Academy of Sciences' Institute of Automation (2008–2016). He earned his Ph.D. in Electrical Engineering from the University of Notre Dame (1994), M.S. from the Chinese Academy of Sciences (1987), and B.S. from Nanjing University of Science and Technology (1982). His research focuses on neural networks, reinforcement learning, intelligent control, and adaptive dynamic programming. He has authored 19 books and 260+ journal papers, contributing significantly to computational intelligence and control systems. Notable works include Adaptive Dynamic Programming with Applications in Optimal Control (2017) and co-editing volumes like Frontiers of Intelligent Control and Information Processing (2014). Liu Derong has held leadership roles in professional societies, including Editor-in-Chief of Artificial Intelligence Review , Deputy Editor-in-Chief of the IEEE/CAA Journal of Automatica Sinica , and President of the Asia Pacific Neural Network Society (2018). He has organized major conferences such as the IEEE World Congress on Computational Intelligence (2014) and received prestigious awards like the Dennis Gabor Award (2018) and membership in Academia Europaea (2021). His contributions span theoretical advancements and practical applications in control systems, with a focus on optimization, robotics, and energy systems. He has also served on editorial boards of leading journals and as a keynote speaker at 30+ international conferences.

Isabel GabbeView profile

Professor

• Piano Performance
• Music Education
• Chamber Music
• +5 more

Isabel Gabbe , University Professor of Piano & Piano Didactics at Mozarteum University Salzburg's Innsbruck Department since 2016, is a German-French pianist and music educator with extensive international experience. She heads the Music Education Department and contributes to artistic higher education through her work with the European Piano Teachers Association (EPTA) and the Austrian Society for Music and Medicine (ÖGFMM). Studied with Hans Leygraf and Rainer Becker Certified music physiologist Founder of "Moments Musicaux" festival in France Active in teacher training across Europe and South America Her research focuses on music education , physiological piano teaching methods , and musicians' health . Isabel integrates creative approaches to piano instruction for children, emphasizing cross-cultural communication through music. Her recent work explores alternative keyboard techniques and inclusive pedagogy. Professor Gabbe's publications analyze piano didactics, including " Alles ist erlaubt, nur nicht Alles spielen! " on practical repertoire use and " Musizieren lernen? Ein Kinderspiel! " on playful learning approaches. She contributes to Schott Verlag's "Üben&Musizieren" series and Waxmann Verlag's music education publications. Scientific recognitions include: German Music Council Artist List (2000) EPTA Austria Vice Chair (2018–present) Deutsche Tonkünstlerverband Deputy Chair (2015–2023) Richard Wagner Association Stipend (2002) Aspen Music Festival Stipend (1995,1996) Isabel Gabbe actively mentors educators through workshops and masterclasses across Europe and South America, focusing on sustainable teaching practices and physiological approaches to piano instruction. She has participated in numerous festivals and serves on academic committees for music education curricula.

• Optimization
• Convex Analysis
• Nonlinear Analysis
• +3 more

Radu Ioan Bot is a Professor and Dean of the Faculty of Mathematics at the University of Vienna, where he also serves as Head of the Department of Mathematics. His primary affiliations include the Department of Mathematics (Oskar-Morgenstern-Platz 1, 1090 Wien) and the Research Network Data Science (Währinger Straße 29, 1090 Wien). Bot's research centers on optimization theory with emphasis on convex/nonconvex optimization, monotone operators, and dynamical systems. He develops fast algorithms for variational inequalities and monotone inclusions by bridging continuous-time dynamics with discrete optimization methods. His work frequently addresses bilevel optimization, Tikhonov regularization, and second-order dynamics, yielding accelerated convergence rates for complex problems. Analysis of his 15 most recent publications (2023-2025) reveals dominant trends in time-scaling techniques, vanishing damping dynamics, and structured splitting methods. Key contributions include unifying Nesterov acceleration with Heavy Ball dynamics, developing reflected forward-backward algorithms for constrained optimization, and establishing strong convergence guarantees for monotone operator flows. These advances demonstrate consistent innovation in accelerating optimization while maintaining theoretical rigor. No scientific awards were mentioned in the provided source material. Details regarding student advising and research grants were not specified in the available information, though his leadership roles as Dean and Department Head indicate significant administrative responsibilities alongside active research. Bot participates in the University of Vienna's Research Network Data Science, suggesting interdisciplinary engagement in data-driven methodologies with potential applications in machine learning and computational mathematics.

Sara Merino AceitunoView profile

Professor

• Kinetic Theory
• Partial Differential Equations
• Mathematical Biology
• +5 more

Prof. Sara Merino Aceituno is a Professor at the Faculty of Mathematics, University of Vienna, leading research in kinetic theory and its applications to biology, medicine, and social sciences. She holds roles as Vice-Dean of the Faculty and Head of the Institute of Mathematics. Her work bridges mathematical models with experimental data, focusing on emergent phenomena in collective dynamics, opinion formation, and cell behavior. She teaches advanced courses on kinetic theory, biomathematics, and mathematical strategies for learning. Her contributions include modeling cell delamination, nematic alignment, and swarm dynamics through PDEs and probabilistic methods. Collaborations with experimentalists drive her interdisciplinary research. She actively engages in education, advising, and public outreach, including a video series explaining mathematical patterns in nature. Her research emphasizes understanding macroscopic patterns arising from microscopic interactions in complex systems. Education: Holds a PhD in Mathematics, with expertise in kinetic theory and applied partial differential equations. Teaching and leadership roles reflect her commitment to academic excellence and student support. Her work integrates experimental and computational models to study clonal dynamics in tissues and mechanical constraints in epithelial layers. She has authored over 20 papers on topics ranging from active matter to opinion formation networks, contributing to both theoretical advancements and practical applications in biology and social sciences. Research focuses on deriving hydrodynamic and continuum models from particle systems, analyzing stability and bifurcations in collective behavior. Grants and collaborations include the Vienna Biocenter PhD Program and experimental groups in cell biology. Her lab explores how environmental factors influence particle swarms and how mechanical forces shape cell cycles in pseudostratified epithelia.

Sonja WogrinView profile

Professor

• Optimization
• Bilevel Programming
• Capacity Expansion Planning
• +5 more

Sonja Wogrin is a University Professor (Univ.-Prof.) at Graz University of Technology (TU Graz), where she has been heading the Institute for Electricity Economics and Energy Innovation since August 2021. She holds a Dipl.-Ing. in Technical Mathematics from TU Graz (2008), a Master of Science in Computation for Design and Optimization from MIT (2008), and a doctorate in Electricity Systems from Universidad Pontificia Comillas (2013). Her educational background includes: Doctorate in Electricity Systems, Universidad Pontificia de Comillas (June 2013) Dipl.-Ing. in Technical Mathematics, Graz University of Technology (October 2008) Master of Science in Computation for Design and Optimization, MIT (June 2008) Professor Wogrin's research focuses on decision support systems in the energy sector, optimization methodologies, and particularly the problem of generation capacity expansion. Her work spans several key areas including bilevel programming, capacity expansion planning, energy storage systems, and time series aggregation for energy system optimization. She has made significant contributions to understanding how to integrate renewable energy sources into power systems while maintaining economic efficiency and grid stability. Her research often addresses the challenges of decarbonizing electricity systems through advanced mathematical modeling and optimization techniques. Her recent publications demonstrate a strong focus on improving the computational efficiency of energy system models while maintaining accuracy, with particular attention to the integration of renewable energy sources, energy storage systems, and the development of resilient energy communities. She has pioneered work on time series aggregation methods that balance computational tractability with model accuracy, which is crucial for long-term energy planning under uncertainty. Professor Wogrin has received several prestigious awards and fellowships including: 4th EASE Student Award for "Co-Optimisation of energy storage technologies in tactical and strategic planning models" (2019) Beca de movilidad para investigadores "NILS Ciencia y Sostenibilidad" (2015) Beca Erasmus "Personal Docente/Investigador" de formación (2016) Beca Iberdrola de ayuda a la investigación en energía y medio ambiente (2020) She leads multiple significant research projects including EU - NetZero-Opt, RINGs, iKlimET, V2G-QUESTS, and CIDEAL, which focus on optimizing energy systems for net-zero emissions, resilient energy networks, climate and energy system modeling, vehicle-to-grid integration, and industrial decarbonization. Her work has substantial practical implications for energy policy and grid operations in Austria and beyond. Professor Wogrin collaborates extensively with industry partners including Austrian Power Grid AG, KELAG, and Netz Niederösterreich, ensuring her research addresses real-world energy challenges. Professor Wogrin leads the research group at the Institute for Electricity Economics and Energy Innovation, which develops advanced optimization models for energy systems. Her team has created the LEGO (Low-carbon Expansion Generation Optimization) model, an open-source tool for energy system optimization that has gained international recognition. The group's work spans from fundamental optimization methods to practical applications in energy system planning and operation, with a strong emphasis on computational efficiency and model accuracy.

• Neurosymbolic AI
• Answer Set Programming
• Visual Question Answering
• +3 more

Nelson Nicolas Higuera Ruiz is a PreDoc Researcher at the Vienna University of Technology, affiliated with the Faculty of Informatics' Knowledge-Based Systems research group. His work bridges logic programming and deep learning for explainable AI. Research Focus: Neurosymbolic AI, Visual Question Answering (VQA), Answer Set Programming (ASP), and hybrid reasoning systems Projects: Leads optimization research in the LCS (2017–2025) project, developing neurosymbolic approaches for intelligent systems Key Contributions: Pioneering adaptive large-neighbourhood search algorithms for ASP optimization, modular neurosymbolic architectures, and contrastive explainability frameworks for VQA Collaborations: Active in international workshops and conferences including IJCAI, AAAI, and CLeaR, frequently collaborating with researchers like Thomas Eiter and Johannes Oetsch Publications: Focus on neurosymbolic integration, optimization algorithms, and explainability across AI, logic programming, and computer vision domains

Joost-Pieter KatoenView profile

Professor

• Model Checking
• Formal Verification
• Probabilistic Models
• +5 more

Joost-Pieter Katoen is a full Professor at RWTH Aachen University and Head of its Computer Science Department since 2012. He also holds a part-time (20%) Professorship at the University of Twente . His research focuses on model checking , probabilistic verification , formal semantics , and software verification , with applications in aerospace systems. His work has led to significant tools like MRMC (probabilistic model checker), COMPASS (AADL analysis tool-set), and libalf (learning automata library). He has authored over 18 international projects (total €5.2 million) and graduated 12 PhD students. Scientific Awards : Member, German National Academy of Sciences (Leopoldina), 2024 ACM Fellow, 2020 ERC Advanced Grant, 2018 Honorary doctorate, Aalborg University, 2017 Teaching Award, RWTH Aachen, 2010 Philips Early Career Development Award, 1988 Research Trends (from articles): His recent work spans probabilistic program verification , quantitative game theory , Markov chain analysis , and parameter synthesis for stochastic systems, with applications in AI, quantum computing, and fault tree analysis. Leadership & Service : Katoen co-founded the QEST conference , chairs ETAPS steering committee, and has led numerous program committees (CONCUR, TACAS, QEST). He has served on editorial boards and organized conferences/seminars globally.