Abstract Reasoning Professors and Supervisors in Germany | ApplySharif

فیلترهای فعال:

جست‌وجوی استاد و پژوهشگر

استاد راهنما، استاد دانشگاه یا پژوهشگر مناسب برای مسیر پژوهشی‌تان را پیدا کنید و با او ارتباط بگیرید.

نمایش ۱-۱۵ از ۲۲۰ استاد راهنما

اطلاعات این پروفایل‌ها از صفحات عمومی دانشگاه‌ها جمع‌آوری شده و ممکن است به‌روز نباشد.

Nadia Polikarpovaمشاهده پروفایل

دانشیار

Max Planck Institute for Software SystemsGermany

Nadia Polikarpova is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego . She earned her PhD from ETH Zurich in 2014 under Bertrand Meyer , followed by postdoctoral research at MIT CSAIL with Armando Solar-Lezama . Her academic contributions have been recognized with prestigious awards including the 2020 Sloan Fellowship , 2020 Intel Rising Stars Award , and 2020 NSF CAREER Award . Polikarpova's research focuses on program synthesis , program verification , and type systems . She leads the Programming Systems group at UCSD and contributes to the IFIP Working Group 2.8 on Functional Programming since 2022. Her work spans foundational research and practical tools, including projects like Synquid , SuSLik , and Laurel that combine formal methods with machine learning for code generation. Her recent publications in venues like OOPSLA , NeurIPS , and ICFP reveal trends in AI-assisted programming , live programming environments , and formal verification . She has advised numerous PhD and Master’s students including Shraddha Barke , Zheng Guo , and Tristan Knoth , many of whom have moved to prominent academic and industry positions. Notable artifacts from her lab include tools like ColDeco for spreadsheet inspection and Superfusion for eliminating intermediate data structures. 2020 : Sloan Fellow 2020 : Intel Rising Stars Award 2020 : NSF CAREER Award 2021 : Distinguished Paper at POPL 2023 : Distinguished Artifact at PLDI 2023 : Distinguished Paper at OOPSLA Polikarpova actively contributes to academic service, serving on program committees for PLDI , POPL , and OOPSLA , and co-chairing the OOPSLA Review Committee in 2023. She has delivered keynotes at APLAS'20 and PLDI'24 , emphasizing the integration of large language models with formal methods.

پروفایل رسمی دانشگاه

Tianmin Shuمشاهده پروفایل

استادیار

Free University of BerlinGermany

Tianmin Shu is an Assistant Professor in the Department of Computer Science at Johns Hopkins University , with a joint appointment in the Department of Cognitive Science . He is the founding director of the Social Cognitive AI (SCAI) Lab and was previously a Research Scientist at MIT, working with Josh Tenenbaum and Antonio Torralba. His research goal is to advance human-centered AI by engineering machine social intelligence —building systems that understand, reason about, and interact with humans in real-world settings. His work is inherently interdisciplinary, integrating machine learning, computer vision, robotics, and social cognition. Research Interests: Theory of Mind Reasoning: Developing models that infer human mental states from multimodal behavioral data. Embodied Assistance: Creating agents capable of assisting humans in physical environments through verbal and non-verbal collaboration. Learning from Human Feedback: Extracting reward-relevant preferences from rich human input to guide agent behavior. Social Scene Understanding: Recognizing and reasoning about group activities and social roles from visual and physical cues. Computational Social Cognition: Modeling how humans perceive and interpret social and physical interactions. Scientific Awards: Outstanding Paper Award at ACL 2024 for "MMToM-QA: Multimodal Theory of Mind Question Answering" Grants & Collaborations: Tianmin Shu has led or co-organized several high-impact workshops and tutorials, including the NeurIPS 2023 Tutorial on "Language Models Meet World Models" and the RSS 2024 Workshop on "Social Intelligence in Humans and Robots". His lab has also developed open-source platforms like VirtualHome-Social and SimWorld for multi-agent interaction research. Lab & Team: As director of the Social Cognitive AI (SCAI) Lab at Johns Hopkins University, Tianmin Shu leads a multidisciplinary team focused on building socially intelligent systems. His lab is located in Malone Hall 213 and collaborates closely with the Departments of Computer Science and Cognitive Science.

پروفایل رسمی دانشگاه

Chantal Pellegriniمشاهده پروفایل

مدرس

Technical University of MunichGermany

Chantal Pellegrini is a Lecturer and PhD student at the Chair of Computer Aided Medical Procedures (Prof. Navab) at Technical University of Munich (TUM). Her research focuses on Deep Learning applications in medical imaging, including explainable AI for radiology report generation and Vision-Language Models for clinical decision support. She actively contributes to the DHM, NARVIS Lab, and RobUSt research groups. Teaching responsibilities include courses such as 'Computer Aided Medical Procedures', 'Medical Augmented Reality', and 'Surgical Robotics'. She supervises student projects in medical AI and healthcare innovation, with recent projects involving multimodal report generation and graph pretraining for medical applications. Education: BSc/MSc Computer Science (TUM), current PhD student since 2022 Labs: DHM (German Heart Center), NARVIS Lab, RobUSt Robotics & Ultrasound Research Keywords: Medical Image Understanding, Radiology Reports, LLMs in Healthcare Her publications span surgical OR dataset development, reinforcement learning for clinical decisions, and explainable X-ray diagnosis systems. She mentors MA/BA students in medical AI and project management for healthcare applications.

پروفایل رسمی دانشگاه

Sebastian Rudolphمشاهده پروفایل

استاد

Dresden University of TechnologyGermany

Prof. Sebastian Rudolph is a Professor of Computational Logic at the Institute for Artificial Intelligence , Faculty of Computer Science , TU Dresden. Since 2021, he has been an Affiliate Member of the Faculty of Mathematics. His research spans theoretical and applied artificial intelligence, focusing on Knowledge Representation and Reasoning through formalisms like Description Logics, Existential Rules, and Formal Concept Analysis, with applications in Semantic Technologies. 2017 : ERC Consolidator Grant for decidability principles in logic-based knowledge representation 2006-2013 : Postdoctoral researcher, project leader, and Privatdozent at KIT's Institute AIFB 2011 : Habilitation at KIT Earlier : PhD in Algebra and teaching qualification in mathematics, physics, and computer science at TU Dresden His recent publications address decidability of logical reasoning, non-monotonic extensions in formal concept analysis, standpoint logics, and multiagent systems. He supervises the DeciGUT and KIMEDS projects, and is involved in the SECAI and ScaDS.AI centers. Teaching activities include courses on Theoretical Computer Science, Existential Rules, and Formal Concept Analysis.

پروفایل رسمی دانشگاه

Kirsten Meyerمشاهده پروفایل

استاد

Humboldt UniversityGermany

Prof. Dr. Kirsten Meyer is a full professor for Practical Philosophy and Philosophy Education at the Institute of Philosophy, Faculty of Philosophy, Humboldt University of Berlin. She has held this position since the summer semester of 2011, after serving as a junior professor from 2008 to 2011. Her work bridges philosophical theory with educational practice, with a particular focus on ethics and intergenerational justice in the context of contemporary challenges like climate change. Dr. Meyer's interdisciplinary educational background reflects her unique scholarly perspective: Diploma in Biology (1999, University of Münster/Bielefeld/St. Andrews) State Examination in Philosophy (2000) Doctorate from Bielefeld University (2002) Kirsten Meyer's research program spans several interconnected domains of philosophical inquiry. Her primary focus is on intergenerational ethics, where she examines humanity's moral obligations to future generations, particularly regarding climate change and resource consumption. She has made significant theoretical contributions to educational philosophy, exploring how philosophical reasoning can be practically integrated into school curricula. Her work on educational justice addresses complex questions about talent development, equal opportunity, and the relationship between education and conceptions of the good life. Meyer also contributes to environmental ethics, analyzing the intrinsic value of nature and our responsibilities toward it, informed by her background in biology. Analysis of her recent publications reveals a consistent thematic trajectory focused on intergenerational justice and educational philosophy. Meyer frequently examines how abstract philosophical concepts can inform practical educational policy, particularly regarding talent development and educational equity. She has become a prominent voice in climate ethics, connecting theoretical debates about future generations to concrete policy proposals like using estate tax as a climate protection instrument. Her interdisciplinary approach, combining insights from biology, philosophy, and education, allows her to address complex ethical questions with both theoretical rigor and practical relevance. Professor Meyer is deeply engaged in public philosophical discourse, regularly contributing to media discussions on intergenerational justice, climate ethics, and educational policy. She has participated in numerous interviews with major German media outlets including Deutschlandfunk, BR, ZDF, and RBB, helping translate complex philosophical concepts for broader audiences. Her practical contributions extend to educational initiatives, including the development of teaching materials for philosophy education through philovernetzt on topics ranging from 'What should I become? Work and the good life' to 'Fake News' and 'Consent.'

پروفایل رسمی دانشگاه

Hector Geffnerمشاهده پروفایل

استاد

RWTH Aachen UniversityGermany

Hector Geffner is an Alexander von Humboldt Professor at RWTH Aachen University, leading the Chair of Machine Learning and Reasoning. He specializes in automated planning, machine learning, and reasoning, with a focus on representation learning for acting and planning. His work bridges symbolic and model-based AI, emphasizing general policies and subgoal decomposition. Education & Background : PhD from UCLA (1989), prior roles at IBM Watson Research Center and Universidad Simón Bolívar. Former ICREA researcher and professor at Universitat Pompeu Fabra (2001–2022). Research Interests : Classical and probabilistic planning, reinforcement learning, knowledge representation, and applications in robotics. His ERC-funded RLeap project explores learning generalized policies and symbolic representations for effective decision-making. Teaching : Courses include 'Actions and Planning in AI' and 'Social and Technological Change', emphasizing interdisciplinary AI applications. Awards & Recognition : Alexander von Humboldt Professorship (2023), AAAI/EurAI Fellowships, and editor of influential works on Judea Pearl’s contributions to AI. Grants & Projects : Advanced ERC grant (2020–2025), Humboldt Foundation support, and RWTH funding for research on planning and reasoning. Labs & Teams : Heads the Chair of Machine Learning and Reasoning at RWTH, focusing on interdisciplinary research in AI, robotics, and planning algorithms.

پروفایل رسمی دانشگاه

Todd Millsteinمشاهده پروفایل

استاد

Max Planck Institute for Software SystemsGermany

Todd Millstein is a Professor in the Computer Science Department at the University of California, Los Angeles (UCLA), and served as Department Chair from 2022–2025. He is also an Amazon Scholar and a co-founder and former Chief Scientist of Intentionet (now at AWS). His research focuses on making software systems more reliable, particularly through network verification and programming language techniques. He pioneered the Batfish network configuration analyzer, which is used by AWS, Oracle Cloud, and dozens of companies, and received the ACM SIGCOMM Networking Systems Award (2025) for this work. His recent publications span probabilistic programming, network reliability, and interactive program verification, including papers at PLDI 2024 (on bit blasting probabilistic programs), NSDI 2024 (on behavioral testing of BGP), and HotNets 2024 (on network layering). Todd has received prestigious awards such as an NSF CAREER Award , a Microsoft Research Outstanding Collaborator Award , and multiple best paper awards at PLDI, OOPSLA, and SIGCOMM. He has advised Ph.D. students like Ana Brendel and Poorva Garg , and teaches courses such as CS30 (Principles of Computing), CS231 (Types and Programming Languages), and CS239 (Current Topics in PL and Systems). His professional roles include Program Chair for OOPSLA 2014 and ECOOP 2018, and committee member for numerous conferences including PLDI , SPLASH , and LAFI .

پروفایل رسمی دانشگاه

Jay Pujaraمشاهده پروفایل

پژوهشگر

Max Planck Institute of Colloids and InterfacesGermany

Dr. Jay Pujara is a Research Associate Professor of Computer Science at the University of Southern California (USC) and Director of the Center on Knowledge Graphs. He is also a Principal Scientist at the Information Sciences Institute (ISI) and leads research teams in data science and AI. Ph.D., University of Maryland, College Park (2016) M.S. and B.S. in Computer Science, Carnegie Mellon University Research Interests include artificial intelligence, probabilistic models, knowledge graph construction, statistical relational learning, NLP, and streaming inference. His work focuses on scalable algorithms for big data and uncertainty modeling in dynamic environments. Recent Publications highlight advancements in knowledge graphs, LLM reasoning, and table understanding. Notable topics include non-verbal abstract reasoning , faithful conversational datasets , and KGQA re-ranking . Scientific Awards : SWSA Ten-Year Award (2023), Outstanding Paper (IUI 2019), Top Reviewer (NeurIPS 2018), Best Paper (SRL Workshop 2016) Advising & Grants : Mentored 12+ graduate students, including Ph.D. advisees on topics like causal modeling and neuro-symbolic tasks. Secured NSF funding for table understanding in paleoclimate studies.

پروفایل رسمی دانشگاه

Zachary Kincaidمشاهده پروفایل

دانشیار

Max Planck Institute for Software SystemsGermany

Zachary Kincaid is an Associate Professor in the Department of Computer Science at Princeton University's School of Engineering and Applied Science. His research focuses on program analysis, logic, and programming languages, with an emphasis on making program analysis compositional and robust. He received his PhD from the University of Toronto under the supervision of Azadeh Farzan. His work has been implemented in the Duet program analyzer, and he has an Erdős number of 3. Dr. Kincaid's research interests include: Compositional program analysis techniques Algebraic approaches to program analysis Termination analysis and ranking function synthesis Verification of concurrent and parallel programs Automated reasoning and decision procedures Analysis of numerical programs and loops His recent publications show a strong focus on developing novel techniques for program analysis that bridge theoretical computer science with practical verification tools, particularly in nonlinear analysis, quantified reasoning, and compositional verification. Dr. Kincaid has received research support from ONR grant N00014-19-1-2318 for his work on robust program analysis. He has advised graduate students including: Current: Jake Silverman, Nicolas Koh, Nikhil Pimpalkhare Graduated: Shaowei Zhu (PhD 2024, Researcher at Amazon), Charlie Murphy (PhD 2023, Postdoc at University of Wisconsin–Madison) Dr. Kincaid teaches courses including: COS 320 – Compiling Techniques (Spring 2024, 2022, 2020, 2019) COS 516 / ELE 516 – Automated Reasoning about Software (Fall 2025, 2022, 2018) COS 217 – Introduction to Programming Systems (Fall 2024) COS IW – Practical Solutions to Intractable Problems (Fall 2023, Spring 2023, 2018, 2017) COS IW – Little Languages (Spring 2018) COS 597D – Reasoning about concurrent systems (Fall 2016)

پروفایل رسمی دانشگاه

Steve Zdancewicمشاهده پروفایل

استاد

Max Planck Institute for Software SystemsGermany

Steve Zdancewic is the Schlein Family President's Distinguished Professor and Associate Chair in the Department of Computer and Information Science at the University of Pennsylvania's School of Engineering and Applied Science. He is a leading researcher in programming languages, formal methods, and computer security with over two decades of impactful contributions to the field. His research interests span programming languages, type theory, logic, computer security, quantum programming, and formal verification. Zdancewic has made significant contributions to information-flow security, memory safety, program synthesis, and the verification of low-level systems. His work often bridges theoretical foundations with practical applications, particularly through the development of verified systems using Coq and other proof assistants. Analysis of his recent publications reveals a strong focus on formal verification techniques, particularly using Interaction Trees and the Coq proof assistant. His research trajectory shows consistent evolution from foundational work on information-flow security toward increasingly sophisticated verification of complex systems including LLVM, quantum computing, and distributed systems. His work demonstrates a commitment to building practically useful verification tools while maintaining rigorous theoretical foundations. Distinguished Paper Award for Semantics for Noninterference with Interaction Trees (ECOOP 2023) Schlein Family President's Distinguished Professor (2021) Distinguished Paper Award for Interaction Trees (POPL 2020) Christian R. and Mary F. Lindback Foundation Award for Distinguished Teaching (2018) IEEE MICRO top picks (2013) Alfred P. Sloan Fellow (2009-2010) NSF CAREER award (2004) Zdancewic has advised numerous PhD students who have gone on to successful careers in academia and industry. His research has been supported by significant grants from NSF, including the NSF Expedition on the Science of Deep Specification. He is actively involved in multiple major research projects including Vellvm (verified LLVM), DeepSpec, and quantum programming verification. Zdancewic also co-organizes Penn's PL Club programming languages research group with Benjamin Pierce and Stephanie Weirich.

پروفایل رسمی دانشگاه

Ori Lahavمشاهده پروفایل

دانشیار

Max Planck Institute for Software SystemsGermany

Ori Lahav is a faculty member in the School of Computer Science at Tel Aviv University. His research is generously supported by an ERC Starting Grant and an ISF Grant. He actively supervises PhD and MSc students, and seeks highly motivated candidates for postdoc, PhD, and MSc positions in programming language theory, concurrency, and formal methods. Dr. Lahav completed his PhD at Tel Aviv University under the supervision of Arnon Avron. In 2014, he was a postdoctoral researcher at Tel Aviv University hosted by Mooly Sagiv. From 2014 to September 2017, he was a postdoctoral researcher at MPI-SWS in Germany hosted by Viktor Vafeiadis and Derek Dreyer. His primary research areas focus on programming languages and verification, with specialization in concurrency and relaxed memory models. He also has significant interests in proof-theory, semantics of non-classical logics, and automated reasoning. His work bridges theoretical foundations with practical applications in programming language design and implementation. Dr. Lahav's publication record shows a consistent trajectory of high-impact research in top-tier conferences including PLDI, POPL, OOPSLA, and ESOP. His recent work (2023-2025) demonstrates continued leadership in memory models, concurrency semantics, and verification techniques. His research spans both theoretical contributions in denotational semantics and practical tools for verification. Best Paper Award DISC 2024 Best Student Paper Award DISC 2024 Distinguished Artifact Award ESOP 2022 Distinguished Paper Award OOPSLA 2021 Kleene Award for Best Student Paper LICS 2013 Dr. Lahav actively advises students including Yoav Ben Shimon, Yotam Dvir, Amir Karniel, and Roy Margalit (PhD students), Yuval Katsman Ezra (MSc student), and has alumni including Ori Saporta (MSc) and Abhishek Kr Singh (postdoc, now Assistant Professor at IIIT Hyderabad). He has organized significant events including VMCAI 2024 and Dagstuhl Seminars on persistent programming. His teaching portfolio includes courses on Shared Memory Concurrency Semantics, Programming Language Foundations, and Software Foundations in Coq.

پروفایل رسمی دانشگاه

Tej Chajedمشاهده پروفایل

استادیار

Max Planck Institute for Security and PrivacyGermany

Tej Chajed is an Assistant Professor in the Department of Computer Science at the University of Wisconsin-Madison, where he conducts research in formal verification of systems software. His work focuses on building and proving the correctness of critical systems, particularly file systems and concurrent software. Dr. Chajed earned his PhD from MIT in the PDOS group, followed by a one-year postdoc at VMware Research before joining UW-Madison. His academic journey reflects a strong commitment to bridging theoretical formal methods with practical systems implementation. Chajed's research centers on formal verification techniques for systems software, with particular emphasis on concurrent and crash-safe systems . His work aims to eliminate bugs in critical software through mathematical proofs of correctness. Key contributions include DaisyNFS (a verified concurrent file system), the Perennial framework for reasoning about crash safety, and Goose for connecting proofs to Go code. His research spans the intersection of programming languages, operating systems, and formal methods, developing practical tools that bring verification to real-world systems. His recent publications demonstrate a consistent trajectory toward more practical and scalable verification techniques for increasingly complex systems. The research shows progression from foundational verification frameworks to applied work on specific systems like file systems, journaling, and distributed protocols. A notable trend is the focus on making verification more accessible and practical for systems developers, bridging the gap between theoretical formal methods and real-world software engineering. Dr. Chajed serves on numerous program committees including OSDI 2025 PC, PLDI 2024 PC, SySDW 2023 PC, ECOOP 2023 ERC, CPP 2023 PC, POPL 2023 PC, PLDI 2022 PC, POPL 2022 AEC, EuroDW 2021 PC, POPL 2021 AEC, PLDI 2020 AEC, POPL 2020 AEC, and SOSP 2019 AEC, reflecting his standing in the systems and programming languages research community. In teaching, Chajed has developed and instructed courses on systems verification, operating systems, and protocol verification. He previously helped create MIT's 6.826 (Principles of Computer Systems) during his PhD. His passion for technical communication was cultivated during his time as a Communication Fellow in the EECS Communication Lab at MIT, where he continues to offer guidance to students on writing and presentation skills. His research group at UW-Madison focuses on advancing the state of the art in systems verification, with current projects centered around practical verification frameworks for concurrent and crash-safe systems.

پروفایل رسمی دانشگاه

Wolfgang Schneiderمشاهده پروفایل

استاد

University of AugsburgGermany

Prof. Dr. Wolfgang Schneider is an Honorary Professor of Mathematics Didactics at the University of Augsburg, affiliated with the Faculty of Mathematics, Natural Sciences and Technology and the Institute of Mathematics. His work focuses on the didactics of mathematics, particularly the transition from school to university mathematics education, and algebra with emphasis on ring and module theory. Dr. Schneider's primary research interests lie in two main areas: university mathematics didactics (with special focus on the transition from school to university) and algebra (particularly the theory of rings and modules). His work bridges educational theory with practical classroom applications, developing approaches to help students navigate the challenging transition between secondary and tertiary mathematics education. In algebra, he has made contributions to ring theory, module theory, and related algebraic structures. Analysis of Dr. Schneider's publications reveals a consistent focus on mathematics education and algebra. His work spans from theoretical explorations in ring and module theory to practical applications in mathematics teaching. A significant portion of his research addresses the challenges students face when transitioning from school to university mathematics, with numerous publications focusing on geometry education, problem-solving techniques, and the use of technology in mathematics instruction. His research demonstrates a commitment to improving mathematics education through both theoretical insights and practical teaching methods. Dr. Schneider holds several notable professional memberships: Member of the Society for Mathematics Education since 1996 Founding member of the Caratheodory Society since 1999 Member of the Mathematical Association of America since 2008 Offered membership in the American Mathematical Society in 2011 Dr. Schneider actively participates in teaching and academic guidance at the University of Augsburg. He teaches courses such as "Analysis III and Number Theory/Algebra for secondary school teachers," "Linear Algebra 1," and leads a research group. His teaching approach emphasizes the connection between theoretical mathematics and practical pedagogy, particularly focusing on the transition challenges students face when moving from school to university mathematics. While specific grant information is not provided in the available materials, his extensive publication record and professional activities suggest sustained research engagement. Dr. Schneider is part of the Didactics of Mathematics team at the University of Augsburg, working alongside colleagues including Prof. Dr. Reinhard Oldenburg, Prof. Dr. Hans-Georg Weigand, and Dr. Renate Motzer. This collaborative environment supports research in mathematics education, teacher training, and the development of innovative teaching approaches for both school and university settings.

پروفایل رسمی دانشگاه

Kihong Heoمشاهده پروفایل

دانشیار

Max Planck Institute for Software SystemsGermany

Kihong Heo is an Associate Professor in the School of Computing and Graduate School of Information Security at KAIST (Korea Advanced Institute of Science and Technology) in South Korea. His academic career includes serving as an Assistant Professor at KAIST from 2017-2019 before being promoted to Associate Professor in 2020, following his postdoctoral research at the University of Pennsylvania. He earned both his Ph.D. and B.S. in Computer Science & Engineering from Seoul National University. Dr. Heo's research focuses on developing program reasoning systems for safe and reliable software, with specific interests in AI-based program analysis systems for detecting deep semantic software bugs, general-purpose program simplification systems for secure and efficient software, and scalable program synthesis systems for automatic software generation and repair. His work bridges the gap between programming languages, program analysis, and machine learning techniques to create next-generation programming systems. Analysis of his recent publications reveals a strong trend toward integrating machine learning techniques with traditional program analysis methods, with significant contributions in compiler validation, software security, fault localization, and program debloating. His research has practical impact, with some of his work incorporated into Facebook's Infer static analyzer. ACM SIGSOFT Distinguished Paper Award, FSE 2025 Amazon Research Award, 2024 The Soo-Young Lee Teaching Innovation Award, KAIST, 2024 Prize for Excellence in Teaching, KAIST, 2024 Best Artifact Award, ICSE 2022 ACM SIGPLAN Distinguished Paper Award, PLDI 2019 ACM SIGSOFT Distinguished Paper Award, ICSE 2019 Dr. Heo actively mentors graduate students, currently advising several Ph.D. candidates including Yeonhee Ryou, Taeeun Kim, and Sujin Jang, as well as master's students. He has served on program committees for major software engineering and programming language conferences including PLDI, ICSE, POPL, and SPLASH, demonstrating his active role in the academic community. His laboratory, the Programming Systems Laboratory at KAIST, focuses on creating innovative programming systems that leverage both semantic-based program analysis and AI techniques.

پروفایل رسمی دانشگاه

Sander Leemansمشاهده پروفایل

استاد

RWTH Aachen UniversityGermany

Dr. Sander Leemans is a Professor at RWTH Aachen University leading the Business Process Management Foundations and Engineering research group. His work focuses on advancing process mining theory and practice with emphasis on stochastic modeling and conformance verification. Leemans' research centers on process mining, business process management, and stochastic process modeling. He investigates conformance checking techniques for probabilistic models, process discovery algorithms, and the integration of exogenous data into process analysis. His work bridges theoretical foundations with practical applications in healthcare, robotic process automation, and inter-organizational systems. Recent publications reveal a concentrated research trajectory in stochastic conformance checking, where Leemans develops methods for matching observed traces to stochastic process models using alignment techniques, entropy metrics, and partial-order reasoning. He also pioneers object-centric process mining frameworks and explores silent transitions in labeled Petri nets, significantly enhancing the precision and applicability of process mining in real-world scenarios. The Business Process Management Foundations and Engineering group under Leemans' leadership drives innovation in process mining through rigorous theoretical development and open-source tooling, maintaining RWTH Aachen's position at the forefront of business process intelligence research.

پروفایل رسمی دانشگاه