Find Academic Supervisors

Kaveh Haghighi MoodView profile

Researcher

• High Performance Computing
• GPU Computing
• Quantum Monte Carlo
• +3 more

Dr. Kaveh Haghighi Mood is a computational researcher at Forschungszentrum Jülich's Jülich Supercomputing Centre (JSC), specializing in high-performance computing with emphasis on GPU acceleration and scientific application enablement. His work bridges atmospheric science, materials simulation, and exascale computing through the Helmholtz Association research infrastructure. His research focuses on optimizing computational methods for next-generation supercomputers, particularly in three domains: GPU-accelerated atmospheric modeling through the MPTRAC framework for Lagrangian transport simulations Exascale benchmarking via the JUPITER suite for evaluating future supercomputing architectures Quantum Monte Carlo methods applied to electronic structure theory and materials science Recent publications demonstrate expertise in CUDA, OpenACC, and performance portability across diverse hardware platforms. Haghighi Mood's publication trends reveal an evolving focus from foundational quantum chemistry (2010-2019) toward GPU optimization and exascale readiness (2020-2025). His work increasingly addresses atmospheric science applications while maintaining strong connections to materials simulation, reflecting JSC's strategic emphasis on climate modeling and computational materials design. The interdisciplinary nature spans computer architecture, numerical methods, and domain-specific scientific computing.

KC SivaramakrishnanView profile

Assistant Professor

• Functional Programming
• Language Runtimes
• Concurrency
• +5 more

KC Sivaramakrishnan is an Assistant Professor at the Indian Institute of Technology Madras and Chief Technology Officer (CTO) of Tarides. His research focuses on the intersection of programming languages and systems, particularly in the areas of Functional Programming , Language Runtimes , Concurrency/Parallelism/Distribution , and Weak Memory/Consistency .

Pascal WeisenburgerView profile

Researcher

• Programming Languages
• Multitier Programming
• Tierless Programming
• +12 more

Pascal Weisenburger is a researcher at the School of Computer Science , University of St. Gallen. His work focuses on programming languages for distributed systems , emphasizing multitier programming, reactive paradigms, and type-driven placement reasoning. Research Themes : Multitier programming languages, CRDTs, dynamic placement type systems, reactive microservices, compiler correctness, and domain-specific scheduling. Recent Articles : Explored E-graphs for disequality reasoning (POPL 2025), array type duality in functional languages (ECOOP 2024), and formal verification of CRDTs (PLDI 2023). Committee Roles : Participated in program/steering committees for ECOOP, SPLASH, APLAS, and IEEE BigData conferences. Key Contributions : Developed the ScalaLoci language for multitier systems, proposed Propel for algebraic property verification, and introduced Dyno for static reasoning in dynamic placement scenarios.

• Parallel Computing
• Multigrid Methods
• High-Performance Computing
• +3 more

Christian Schmitt is a researcher affiliated with the University of Erlangen-Nuremberg, Germany. He holds a PhD in Computer Science from the same institution (2019). His work focuses on high-performance computing, multigrid methods, domain-specific languages, and parallel algorithms. Schmitt has contributed to the development of ExaSlang and ExaStencils frameworks for scalable solver generation and stencil-code engineering. His research emphasizes automating solver development and optimizing performance on multi-core and FPGA platforms. Key research interests include parallel computing paradigms, reconfigurable hardware design, and domain-specific language technologies for scientific computing. His publications span journals like Proc. IEEE and conferences such as ASAP and FCCM. Collaborators include Frank Hannig, Jürgen Teich, and Harald Köstler. Recent work explores SYCL-based code generation for multigrid methods and OpenCL acceleration of discontinuous Galerkin methods. He has also investigated Scala prototypes for multi-platform solver implementations and stencil-code optimization using SPL Conqueror.

• Parallel Computing
• High Performance Computing (HPC)
• Data Race Detection
• +5 more

Joachim Jenke is a researcher at RWTH Aachen University, Germany, focusing on parallel computing and high performance computing (HPC). He has published extensively on topics related to data race detection, MPI correctness, OpenMP, and hybrid parallel programming approaches. His research includes developing tools and frameworks for runtime error detection in parallel applications, particularly for remote memory access (RMA) programs, CUDA-aware MPI applications, and hybrid MPI+OpenMP programs. He has contributed to projects like MUST, ThreadSanitizer, and DataRaceBench. Jenke's publications cover the full spectrum of parallel programming challenges, including benchmarking approaches for assessing MPI correctness tools, microbenchmark suites for evaluating race detection tools, and techniques for transparently adding metadata to MPI handles. He works closely with colleagues like Simon Schwitanski, Matthias S. Müller, Alexander Hück, and Christian H. Bischof, and his research has been presented at prestigious conferences such as SC, EuroMPI, and IWOMP.

• Political Science
• Gender Studies
• Southeast Asian Studies
• +7 more

Prof. Dr. Claudia Derichs holds a faculty position at the Institute of Asian and African Studies , part of Humboldt University of Berlin . As a political scientist, her work bridges Southeast Asian and Middle Eastern studies with critical reflections on Western academic paradigms. She leads the Transregional Southeast Asia Studies program and engages in cross-disciplinary projects analyzing political movements, gender dynamics, and knowledge production frameworks. Her research portfolio spans three decades, focusing on: Social movements in Japan and Malaysia Transregional Islamic networks Gender regimes in authoritarian contexts Epistemological critiques of Area Studies Political dynasties and female leadership Digital media's role in political change Recent publications reveal sustained engagement with: Transregional connectivity patterns Conceptual translation challenges Comparative analysis of Islamic movements Revisiting 1960s global protest narratives Local knowledge frameworks in Southeast Asia Academic contributions include: Co-founding the 'Global Sixties' comparative analysis Pioneering transnational women's movement studies Challenging Eurocentric political theory concepts Establishing kinship as analytical political category Her methodological approach combines extensive fieldwork with critical epistemological frameworks. She maintains active collaborations with scholars in Europe, Asia, and the Middle East, shaping contemporary debates about non-Western political modernities.

Thomas HennemannView profile

Professor

• Special Education
• Inclusive Education
• Emotional and Social Development
• +5 more

Thomas Hennemann is a University Professor (W3) at the Department of Special Education and Rehabilitation, University of Cologne, where he has held a full professorship since 2012 after parallel appointments from Flensburg and Giessen Universities. His career spans academic leadership as Deputy Director of the Department and Chairman of the Study and Teaching Commission, alongside active research and teaching in special education. His educational background includes: 1994-1999: Special education (focusing on educational and learning support) and German at University of Cologne 1999: First state examination 2000-2006: Psychology studies 2002: Doctorate in special education psychology, developmental psychology, and German 2003: Second state examination in Special Education Teaching 2007: Senior teacher appointment in higher education 2011: Habilitation in Pedagogy & Didactics for Emotional and Social Development and Learning Hennemann's research centers on emotional and social development, behavioral disorders, and inclusive education. He pioneers preventive interventions for emotional-social competencies (e.g., Lubo programs, Ben & Lee), classroom management strategies, and teacher professionalization. His work integrates empirical methods with practical applications in special schools and inclusive settings, emphasizing multi-tiered support systems and diagnostic innovation. Analysis of his 15 most recent publications reveals dominant trends in mental health assessment for students with autism and emotional-behavioral disorders, teacher-student relationship dynamics, and systematic evaluations of educational interventions. His scholarship bridges German special education contexts with international research, particularly in behavioral interventions (e.g., Good Behavior Game) and teacher efficacy. Award recognition includes: Körber Foundation Ideas Award (2008) for the 'Young people as tutors' project He directs third-party funded projects from the German Federal Ministry of Labour (e.g., 'Coaches for inclusive education') and NRW Ministry of Schooling, focusing on inclusive transition models and teacher training. His supervision includes thesis guidance from winter semester 2026/27 onward, with historical involvement in special education teacher certification. Hennemann co-founded the Center for Empirical Inclusion Research (ZEIF) and serves on the board of the Interdisciplinary Center for Empirical Teacher Research (IZeF), driving collaborations between universities, special schools, and welfare institutions like Köln-Vingst social projects and JVA-Ossendorf prison education initiatives.

• Explainable AI
• Machine Learning
• Software Verification
• +6 more

Alnis Murtovi is an Assistant Professor at TU Dortmund University's Faculty of Computer Science, Department of Software Engineering. They are a prominent researcher in the fields of explainable AI, machine learning, and software verification, collaborating extensively with Professor Bernhard Steffen and other colleagues at the university. Dr. Murtovi's research focuses on making machine learning models more interpretable and verifiable, particularly through work on decision trees, random forests, and neural networks. Their recent publications demonstrate a strong emphasis on developing practical tools and compilation-based approaches to explain complex models while maintaining performance. The research spans theoretical foundations in formal methods to practical implementations like the Forest GUMP tool for verification and explanation. The publication trend shows a consistent output with increasing focus on explainable AI in recent years, with significant contributions in 2023-2025. Their work bridges the gap between theoretical computer science and practical machine learning applications, particularly in verification techniques for AI models. The research has strong connections to software engineering principles and formal methods. Dr. Murtovi has made substantial contributions to the field through numerous publications in top venues including TACAS, STTT, and various conference proceedings. Their work on Forest GUMP represents a significant practical contribution to the community for model verification and explanation. As part of the research group led by Bernhard Steffen at TU Dortmund, Dr. Murtovi contributes to interdisciplinary projects that combine language-driven engineering approaches with practical software development challenges. Their research has implications for both academic and industrial applications where model interpretability and verification are critical requirements.

Joseph M. HellersteinView profile

Professor

• Databases
• Distributed Systems
• Programming Languages
• +3 more

Joseph M. Hellerstein is the Jim Gray Professor of Computer Science at the University of California, Berkeley, within the College of Engineering. His research spans databases, distributed systems, and programming languages, with a focus on data-centric systems. He actively bridges academia and industry as co-founder of startups like Aqueduct and Trifacta, Faculty Fellow at Sutter Hill Ventures, and former Director of Intel Research, Berkeley. Research Interests: His work addresses foundational challenges in data systems, including cloud programming models, distributed dataflow frameworks, and verified synthesis of coordination mechanisms. He integrates human-computer interaction, AI systems, and security into data-centric computing paradigms. Selected Publications (2021-2025): These span choreographic programming for distributed dataflow, equality saturation techniques, CRDT synthesis, and declarative cloud models. Keywords include distributed systems, formal verification, Rust, and compiler design. Scientific Awards: ACM SIGMOD Codd Innovations Award ACM Fellow Sloan Fellowship Six Test of Time Awards Advising: He oversees graduate students in the Berkeley Data Systems group, including Nithin Chalapathi, Audrey Cheng, David Chu, and Zongheng Yang. His team collaborates with labs such as EPIC, Sky, and Slice at UC Berkeley.

Konstantinos MamourasView profile

Assistant Professor

• Programming Languages
• Formal Methods
• Runtime Verification
• +6 more

Konstantinos Mamouras is an Assistant Professor at the Department of Computer Science, Rice University. His research focuses on programming abstractions for data streams, runtime verification for cyber-physical systems, program semantics, and Kleene Algebra with Tests. Rice University, Houston, TX Department of Computer Science Research Interests : Design of programming abstractions for streaming data Runtime verification of cyber-physical systems Formal methods in program verification Kleene Algebra with Tests (equational theories) Efficient automata-based processing Quantitative monitoring frameworks Recent Scientific Contributions : 2025: Membership Testing for Semantic Regular Expressions (PLDI 2025) 2024: HybridSA GPU regex acceleration (OOPSLA 2024) 2024: Efficient regex with lookaround (POPL 2024) 2023: Bit Vector Automata for regex (OOPSLA 2023) 2021: Quantitative monitoring framework (RV 2021) Scientific Awards : 🏆 Distinguished Paper Award, PLDI 2024 🏆 Best Paper Award, EuroSys 2021 🏆 EATCS Best Theory Paper Award, FoSSaCS 2015 Advising : Mentored PhD student Lingkun Kong (2023) Advised MSc student Zhifu Wang (2022) Current advisees: Alexis Le Glaunec and Agnishom Chattopadhyay Teaching : Spring 2023: IoT Programming and Data Analysis (COMP 418/518) Fall 2022: Reasoning about Algorithms (COMP 382) Spring 2021: Reasoning about Software (COMP 403/503)

Christian GeigerView profile

Professor

• Media Informatics
• Computer Science
• Mixed Reality
• +4 more

Christian Geiger is a Professor for Mixed Reality and Visualization at Hochschule Düsseldorf's Faculty of Media since November 2004. He leads the Innovationshub , a research lab near Düsseldorf Hauptbahnhof where students collaborate with SMEs on digitalization projects. Studied computer science at University of Paderborn Graduate scholarship at the graduate college "Parallele Rechnernetzwerke in der Produktionstechnik" 1998 PhD (Dr. rer. nat.) in "Schneller Entwurf interaktiver 3D-Animationen" 1997-2001: Project management and 3D/VR/AR development at Siemens Subsequent teaching/research at Hochschule Harz as Professor for Animation and 3D Graphics, coordinating the Media Informatics program His research focuses on user-centered development of human-technology interfaces , including: intelligent systems, virtual/augmented reality, information visualization, and algorithm design. Teaching modules include: BMI 14: Formale Modelle und Algorithmen (formal models, data structures, algorithm paradigms) BMI 93: Informationsvisualisierung (data visualization techniques, multivariate analysis) MMI 05.05: Interaktive Visualisierung (interactive 3D visualization, VR/AR applications) Coordinates the interdisciplinary EnerPRO projects for cross-border SMEs in renewable energy applications, working with ZIES (Center for Innovative Energy Systems).

Stephanie GoekeView profile

Professor

• Social Work
• Inclusive Education
• Disability Studies
• +4 more

Prof. Dr. Stephanie Goeke is a Professor for Theory and Practice of Social Work/Practice Research in Social Work at the Protestant University of Applied Sciences Ludwigsburg (EH Ludwigsburg). She teaches in the Bachelor's and Master's programs in Social Work and the Bachelor's program in Inclusive Education and Special Education. Her office is located in Building C, Room C 1.05, with online consultation hours on Thursdays from 8-9 AM. Prof. Goeke earned her PhD in 2009 from the Pädagogische Hochschule Ludwigsburg with a dissertation on "Individual Empowerment Processes of Women with Disability Experience. A Study in the Style of Grounded Theory." She completed her undergraduate studies in Pedagogy with a focus on Special Education at Johannes Gutenberg-Universität Mainz (1993-1998). Her research focuses on three interconnected areas: the participation of people with disabilities in research processes, women with disabilities, and inclusion/deinstitutionalization. She pioneers participatory research methodologies that position people with disabilities as co-researchers rather than subjects Her work examines power dynamics at the intersection of gender and disability She advocates for inclusive educational practices that challenge traditional hierarchies Her approach emphasizes "Mit statt für" (with rather than for) marginalized communities Analysis of Prof. Goeke's publication trajectory reveals a consistent evolution toward more participatory and inclusive research paradigms. Her early work focused on women's empowerment with disability experience (2010), progressing to examining power dynamics in research (2018), and most recently addressing inclusive school structures (2025). A unifying thread across her work is the commitment to involving marginalized voices directly in knowledge production, particularly regarding educational inclusion and community living. Prof. Goeke has led and contributed to multiple research projects examining inclusion and deinstitutionalization: 2012-2014: Resident and staff surveys on inclusion and decentralization in Stetten and Schorndorf 2011: Resident surveys at Sonnenhof in Schwäbisch Hall 2010-2011: Mitarbeiter*innen- and resident surveys for Zukunftswerkstatt in Heilbronn 2005-2008: Scientific support for "Leben im Ort" project at EH Ludwigsburg Since 2007, she has maintained a parallel career in research, project consulting, and teaching across multiple institutions including DHBW Stuttgart, DHBW Villingen-Schwenningen, and PH Ludwigsburg-Reutlingen. Prof. Goeke is currently active in advocacy as a member of the IPAGs-Beirat (Interessenvertretung Psychiatrieerfahrener und Angehöriger im Gemeindepsychiatrischen Verbund stärken), demonstrating her ongoing commitment to representation for marginalized groups. Her recent lecture activities (2021-2024) include international conferences on SDGs and workshops on political representation for people with disability experience.

• Concurrency and Parallelism
• Quantum Computing
• Self-adjusting computation
• +4 more

Umut A. Acar is a Professor at the Department of Computer Science, Carnegie Mellon University, and an Amazon Scholar. His research bridges formal methods, systems, algorithms, and AI, focusing on concurrency, quantum computing, self-adjusting computation, and dynamic algorithms. 2025: Promoted to Full Professor 2025: PC Chair for SPAA 2025 His research group includes current PhD students like Pengyu Liu, Colin McDonald, and Mingkuan Xu (jointly advised with Zhihao Jia). Alumni include notable researchers like Sam Westrick (now at NYU) and Stefan Muller (now at IIT Chicago). Recent publications span quantum computing (e.g., Atlas for GPU-based simulation, GraFeyn for sparse circuits), parallel functional programming (e.g., Quartz, DePa), and self-adjusting computation (e.g., dynamic trees, mesh refinement). Key themes: Bridging safety and performance in parallel systems Quantum circuit optimization and simulation Incremental algorithms for dynamic data Provenance tracking in functional programs Scientific awards include: Best paper (QCE 2024) Distinguished paper (POPL 2024, ICFP 2022, POPL 2021) Intel Award (2022), JP Morgan Chase AI Award (2021) ACM SIGPLAN Research Highlight (2019) CMU Teaching Innovation Award (2019) He has supervised numerous projects (Diderot, MPL, Quartz) and advised students on PhD theses in parallel and quantum computing. His work emphasizes practical implementations of theoretical principles.

Sandipan MohantyView profile

Researcher

• Computational Biophysics
• Protein Folding
• Quantum Computing Applications
• +5 more

Dr. Sandipan Mohanty is a computational biophysicist at Forschungszentrum Jülich's Jülich Supercomputing Center (JSC), where he conducts research at the intersection of high-performance computing and molecular biology. His work leverages advanced computational techniques to address complex problems in protein folding, biomolecular simulation, and quantum computing applications to biological systems. Dr. Mohanty's research focuses primarily on computational approaches to protein folding and biomolecular dynamics, with particular emphasis on Monte Carlo simulations, molecular dynamics, and increasingly, quantum computing applications. His work investigates protein behavior in crowded cellular environments, examining how molecular crowders affect folding, stability, and aggregation processes. He has developed and applied specialized simulation techniques to study lattice proteins, peptide folding, and protein aggregation phenomena, contributing significantly to our understanding of biomolecular behavior in realistic cellular conditions. Analysis of Dr. Mohanty's recent publications reveals a clear trajectory toward quantum computing applications in protein science. While maintaining his strong foundation in classical computational biophysics and Monte Carlo methods, he has increasingly focused on quantum annealing and variational quantum algorithms for protein design and folding problems. His work bridges traditional high-performance computing with emerging quantum technologies, demonstrating how these novel computational paradigms can address longstanding challenges in computational biology. Dr. Mohanty has made substantial contributions to computational methodology, including the development of simulation frameworks like PROFASI (PROtein Folding and Aggregation Simulation Interface) and SMMP (Simple Molecular Mechanics for Proteins). His work spans from fundamental algorithm development to specific biological applications, with publications covering everything from programming techniques in C++ to detailed biophysical analyses of protein behavior.

Alexandre StrubeView profile

Researcher

• High-Performance Computing
• Parallel Computing
• Scientific Computing
• +2 more

Dr. Alexandre Strube is a researcher at the Jülich Supercomputing Center (JSC) within Forschungszentrum Jülich, Germany's largest interdisciplinary research institution and a member of the Helmholtz Association. The JSC operates some of Europe's most powerful supercomputers, providing critical computational infrastructure for scientific research across physics, chemistry, biology, climate science, and engineering disciplines. His research focuses on advancing computational methodologies through: High-Performance Computing (HPC) system optimization Parallel algorithm development for exascale architectures Scientific simulation frameworks for multiscale modeling Big data analytics pipelines for research datasets AI/ML integration in computational workflows The Jülich Supercomputing Center serves as Germany's national supercomputing hub, supporting over 1,000 research projects annually through cutting-edge hardware like the JUWELS system and specialized expertise in code optimization, data management, and emerging computing paradigms. As part of Europe's PRACE infrastructure, JSC enables large-scale simulations for international scientific collaborations. While specific details about Dr. Strube's advising activities are not publicly documented, researchers at JSC typically supervise doctoral candidates through the Jülich Graduate Academy and collaborate with university partners like RWTH Aachen. Grant funding for JSC researchers primarily flows through Helmholtz Association programs, European HPC initiatives like EuroHPC, and national funding bodies such as the German Research Foundation (DFG).