Find Academic Supervisors

Christian TominskiView profile

Professor

• Data Visualization
• Visual Analytics
• Human-Computer Interaction
• +5 more

Christian Tominski serves as an apl. Professor (non-tenured) at the University of Rostock, holding the außerplanmäßige Professur for Human-Data Interaction within the Institute for Visual and Analytic Computing. His academic work spans teaching in Visual Computing and Computer Science programs, with active research contributions in data visualization and visual analytics. His research focuses on multi-variate data visualization, time-series and geo-visualization, graph visualization, and coordinated multiple views. He investigates interaction techniques including interactive lenses, visual comparison, navigation, and guidance mechanisms, alongside computational aspects such as efficient algorithms and asynchronous processing for visualization systems. Recent work emphasizes task-driven approaches and analytic support for interactive exploration. Analysis of his publication trends reveals strong emphasis on visual analytics for complex data structures, particularly in process mining and multivariate graphs. His work consistently explores guidance frameworks, progressive computation models, and novel interaction paradigms for large high-resolution displays, bridging theoretical foundations with practical applications in visual data analysis. Tominski holds professional roles as a member of the Faculty Council of IEF and the System Technical Group of Computer Science Institutes at the University of Rostock. He actively participates in the Informatik-Forum Rostock (INFO.RO), contributing to the regional computer science community through collaborative initiatives and knowledge sharing.

• Database Systems
• Data Management
• Graph Databases
• +5 more

Alin Deutsch is a Professor of Computer Science at the University of California, San Diego (UCSD), specializing in database systems, graph databases, and formal verification. He has contributed significantly to research areas including query optimization, data integration, and privacy-preserving systems. His work spans theoretical foundations and practical implementations, such as the Linked Data Benchmark Council (LDBC) and the TigerGraph database system. He co-authored over 100 papers and has been involved in major conferences like SIGMOD and VLDB. Research interests include graph query processing, parallel computing, data-centric business processes, and automated system verification. Recent work focuses on scalable hybrid analytics and graph databases. Deutsch is also active in database education, co-authoring a paper on UCSD's database curriculum. He has led projects in privacy-aware systems, such as policy-aware location-based services, and contributed to tools like CLIDE for interactive query formulation in service-oriented architectures. His collaborations involve industry partners like TigerGraph and academic institutions globally.

Gregor SneltingView profile

Professor

• Programming Languages
• Compiler Construction
• Program Analysis
• +7 more

Gregor Snelting is a Professor and head of the Chair of Programming Paradigms at the Karlsruhe Institute of Technology (KIT), Faculty of Computer Science, Institute for Programming Languages and Compiler Construction. His research focuses on compiler construction, program analysis, software security, and verification. His primary research interests include programming languages, compiler design, program analysis, software security, information flow control, formal verification, object-oriented and concurrent programming, and software reengineering using concept analysis. His work aims to provide solid theoretical foundations and empirical validation. The research output, particularly the 15 most recent articles, shows a strong emphasis on software security and program analysis, with a focus on information flow control in Java using the JOANA tool. There is also a significant thread on invasive computing and resource-aware parallel programming. The work combines deep theoretical contributions, such as formal semantics and correctness proofs, with practical tool development and empirical validation. Faculty Teaching Award for the course 'Practice in Software Development' Snelting leads a research group that has developed several significant tools, including JOANA for security analysis, the Praktomat system for automated grading of programming assignments, and contributions to the libFirm compiler framework. His group is a key participant in major research initiatives like the DFG Collaborative Research Center InvasIC and the DFG Priority Program RS3. He advises students and supervises theses, fostering research in programming paradigms and software security. The group is involved in several key research projects: JOANA for information flow control in Java, InvasIC for invasive computing and dynamic parallelism, Quis-Custodiet for machine-checked correctness proofs of security analyses, and the development of the libFirm compiler framework.

Dominik WalterView profile

Researcher

• Hardware-Software Co-Design
• Processor Arrays
• Embedded Systems
• +3 more

Dominik Walter is a Researcher at the Department of Computer Science 12 (Hardware-Software Co-Design) at the University of Erlangen-Nuremberg (FAU), where he has been working since 2019. His research focuses on innovative approaches to hardware-software integration, particularly in the domain of processor array architectures and embedded systems design. Walter completed his educational journey at the University of Augsburg, earning a B.Sc. in Computer Science and Multimedia (2013-2016) followed by an M.Sc. in Computer Science (2016-2019). This strong foundation in both theoretical and applied computer science has informed his current research direction. His primary research interests center around Hardware-Software Co-Design, with particular expertise in Tightly Coupled Processor Arrays and Invasive Computing paradigms. Walter's work explores how to optimize resource allocation in parallel computing environments, improve energy efficiency in embedded systems, and develop novel approaches for real-time data processing. His research bridges theoretical computer architecture concepts with practical implementation challenges. Walter's publication record from 2020-2025 reveals a consistent research trajectory focused on processor array architectures and their applications. His work spans both theoretical foundations and practical implementations, with contributions to sustainable computing, real-time systems, and hardware acceleration techniques. A notable pattern in his research is the application of invasive computing principles to solve complex parallel processing challenges across various domains. As a researcher at FAU's Department of Computer Science 12, Walter is part of a vibrant research community focused on cutting-edge hardware-software integration problems. His work contributes to the department's reputation in processor architecture and embedded systems design, with potential applications in high-performance computing, embedded AI, and energy-efficient computing systems.

• Functional Programming
• Software Testing
• Formal Methods
• +3 more

John Hughes is a Professor at Chalmers University of Technology. His research focuses on functional programming, software testing, and formal methods. He is a co-author of the Haskell programming language and a pioneer of QuickCheck, a property-based testing tool. His work bridges foundational theory with practical applications in software engineering. Research Interests: Development of functional programming paradigms and their applications Property-based testing and automated software validation Type systems and compiler optimization techniques Concurrency and parallelism in functional languages His publications span influential works like Why Functional Programming Matters (1989) and A History of Haskell (2007). He has contributed to open-source tools and frameworks widely used in academia and industry.

Lars SchützeView profile

Researcher

• Compiler Construction
• Homomorphic Encryption
• Quantum-Classical Computing
• +3 more

Dr. Lars Schütze is a researcher at the Chair for Compiler Construction within the Faculty of Computer Science at Dresden University of Technology (TU Dresden). Holding a PhD in Computer Science from TU Dresden, he currently serves as a PostDoc specializing in domain-specific compilers for verifiable Full Homomorphic Encryption (vFHE) and hybrid quantum-classical computing systems. His academic credentials from TU Dresden include: Bachelor's degree in Computer Science Master's degree in Computer Science PhD in Computer Science (awarded February 2025) Schütze's research centers on advanced compiler design for emerging computational paradigms. His foundational work explores context-oriented and role-based programming languages, focusing on runtime optimization and dispatch mechanisms. Recent efforts pivot toward post-quantum security through homomorphic encryption compilers and hybrid quantum-classical computing frameworks. His research bridges theoretical language design with practical compiler implementation, emphasizing verifiable security and performance efficiency in next-generation computing environments. Publication analysis reveals a clear evolution from context-oriented programming (2017-2020) toward cryptographic compiler development (2022-2025). Early work optimized role-based dispatch systems, while recent publications establish compiler frameworks for Fully Homomorphic Encryption using MLIR infrastructure. His research consistently addresses performance bottlenecks in dynamic language features while transitioning toward quantum-resistant cryptography solutions. Scientific Awards: No awards documented in source materials Dr. Schütze supervises student theses in Homomorphic Encryption and Quantum-Classical Computing frameworks, offering projects spanning Bachelor to Master levels. His research is funded through institutional projects including (verifiable) Full Homomorphic Encryption and Hybrid Quantum-Classical Computation, though specific grant details remain undisclosed. He actively develops compiler infrastructure for encrypted computation and quantum-classical orchestration. As core personnel in TU Dresden's Chair for Compiler Construction, Schütze contributes to the RoSI project (role-based software infrastructures) and leads current initiatives in vFHE. His team collaborates on building domain-specific compiler toolchains that address quantum computing threats through post-quantum cryptographic solutions while advancing hybrid execution models for emerging hardware architectures.

Stefan LankesView profile

Researcher

• Operating Systems
• System Software
• High-Performance Computing
• +4 more

Dr. rer. nat. Stefan Lankes is an academic researcher at the Chair of Automation of Complex Power Systems, RWTH Aachen University's Faculty of Electrical Engineering and Information Technology. His work focuses on operating systems, high-performance computing (HPC), cloud computing, and lightweight virtualization techniques for embedded and real-time systems. Stefan holds a PhD in Electrical Engineering (2003) for his dissertation on real-time distributed platforms. His career spans roles from Scientific Assistant (1998-2004) to Academic Director (since 2019), with key contributions to HPC infrastructure and simulation environments. Research highlights include Rust-based OS development ( HermitCore unikernel ), GPU virtualization in distributed systems, and energy-efficient embedded computing paradigms. He pioneered the FlippedOS digital teaching platform using virtual workstations for operating systems education. Scientific awards include the 2016 Digital Teaching Fellowship and the 2021 RWTH Lecturer distinction. His publications cover topics from NUMA memory management to real-time CORBA protocols, with recent works addressing unikernel security and CUDA virtualization. Stefan leads simulation infrastructure and HPC virtualization projects, with affiliations to the E.ON Energy Research Center and involvement in European workshops like Euro-Par. His work bridges system software innovation with practical applications in energy systems and supercomputing.

• Media Management
• International Sports Business
• Sports Marketing
• +2 more

Gerhard Nowak is a Professor and founding faculty member at the IST School of Management (IST-University of Applied Sciences), where he has served as Dean of the Department of Sport & Management since 2014. His academic leadership includes directing the bachelor's program and contributing to national (Sports Economics Working Group) and international (European Association for Sport Management) research bodies. Parallel to academia, he operates a PR and event agency as CEO since 1988, blending practical industry insights with scholarly work. Nowak's research explores interdisciplinary domains in sports management, with emphasis on: Media dynamics in sports business ecosystems Cross-border commercial strategies for sports organizations Integrated frameworks for event operations and sponsorship optimization His publications since 2017 reflect evolving focus toward sustainability and stakeholder theory in sports sponsorship, particularly examining managerial challenges for SMEs and ethical communication paradigms. No awards, student advisories, or research grants are documented in available materials.

• High Performance Computing
• Resource aware programming
• Power management in HPC systems
• +2 more

Dr. Jophin John is a researcher at the Technical University of Munich's Department of Informatics, affiliated with the Chair of Computer Architecture and Parallel Systems under Prof. Martin Schulz. His work focuses on advanced HPC systems and resource management frameworks. Research Interests: Specializes in High Performance Computing with emphasis on power-aware resource allocation and fault tolerance mechanisms Develops innovative parallel programming models for elastic HPC applications Investigates invasive computing paradigms for power corridor management in supercomputing environments Project Involvement: Key contributor to the Invasive Computing project, developing frameworks for dynamic resource adaptation in heterogeneous HPC systems. His research bridges theoretical models with practical implementations in power-constrained computing environments. Teaching Contributions: Served as student tutor for Parallel Programming and IoT courses (2016-2020), and led practical sessions for Supercomputer Programming. His instructional focus emphasizes hands-on experience with modern parallel architectures and programming models.

Arne SchmitzView profile

Researcher

• Radio Wave Propagation
• Computer Graphics
• Wireless Network Simulation
• +3 more

Dr. Arne Schmitz is a researcher at the Department of Computer Science, RWTH Aachen University, specializing in computational methods for wireless communications and computer graphics. His work bridges radio wave propagation physics with advanced visualization techniques, focusing on practical applications for mobile network planning and mobile device interfaces. His primary research domains include: Radio wave propagation modeling in urban environments GPU-accelerated beam/ray tracing algorithms Antenna pattern compression using spherical harmonics Real-time 3D visualization for resource-constrained mobile devices Ad-hoc multi-display systems for collaborative mobile applications Analysis of his publication timeline reveals an evolution from foundational radio propagation models (2006) toward increasingly sophisticated urban simulation frameworks (2011-2012), with consistent emphasis on computational efficiency. His most impactful contributions integrate computer graphics rendering techniques with telecommunications engineering, particularly in adapting beam tracing for radio wave simulation and developing novel mobile visualization paradigms that overcome hardware limitations through client-server architectures. Dr. Schmitz maintains a strong collaborative relationship with Professor Leif Kobbelt and colleagues at RWTH Aachen, with co-authorship appearing in 9 of his 10 documented publications. His research demonstrates consistent funding support through participation in IEEE and ACM conferences, though specific grant details are not disclosed in the available materials.

Jonas SchuhmacherView profile

Researcher

• Modeling and Simulation
• Particle Simulations
• Long-Range Particle Interactions in Molecular Dynamics and Astrodynamics
• +10 more

Jonas Schuhmacher is a Doctoral Candidate at the Technical University of Munich (TUM) and a Research Associate (Wissenschaftlicher Mitarbeiter) at TUM SCCS since July 2024. He holds an M.Sc. in Informatics from TUM (2024) and a B.Sc. in Informatics from TUM (2021). His research focuses on modeling and simulation, particularly in aerospace-related domains such as gravity models, space debris simulation, and reentry prediction, with an emphasis on performance portability and scientific software engineering. Education: M.Sc. in Informatics, Technical University of Munich (2024) B.Sc. in Informatics, Technical University of Munich (2021) Research Interests: Jonas specializes in particle simulations for molecular dynamics and astrodynamics, aerospace gravity models, space debris simulation, reentry prediction, and performance portability. He advocates for software quality through design patterns and best practices, with expertise in C++ and Python. Scientific Contributions: His recent work includes publications on efficient polyhedral gravity modeling and atmospheric reentry simulations, highlighting his contributions to computational physics and aerospace software frameworks. Advising: Jonas has supervised theses on parallelization paradigms and KD-tree construction for spatial partitioning, reflecting his engagement with student research projects.

• Quantum Computing
• High-Performance Computing (HPC)
• Optimization Algorithms
• +3 more

Katarzyna Rycerz is an academic researcher specializing in quantum computing, high-performance computing (HPC), and optimization algorithms. Her work spans hybrid quantum-classical systems, complex network analysis, and multiscale simulations. Collaborating with institutions such as AGH University of Science and Technology (inferred via co-authors like Marian Bubak), her research focuses on advancing quantum algorithms for optimization problems, quantum annealing applications, and software frameworks for distributed computing environments. Her notable contributions include developing libraries like QHyper for hybrid quantum-classical optimization, analyzing quantum walk-based image segmentation, and exploring the application of quantum computing to classical problems like the Traveling Salesman Problem. She has also contributed to foundational studies in quantum game theory and functional programming paradigms in HPC. Rycerz's publications reflect a sustained focus on interdisciplinary research, bridging quantum mechanics, computer science, and applied mathematics. Her work often addresses practical challenges in computational efficiency, algorithm design, and scalable simulation frameworks for complex systems.

Johannes LenfersView profile

Researcher

• Auto-Tuning
• Auto-Scheduling
• Compilation
• +3 more

Johannes Lenfers is a Researcher at the University of Münster since 2019. His research focuses on Auto-Tuning, Auto-Scheduling, and Compilation techniques, emphasizing high-performance computing and functional programming approaches. He holds a research position in the Department of Computer Science, contributing to projects like SkelCL and PACXX. Professional Background: 07.2022–09.2022: Research Visit at the University of Edinburgh 02.2020–04.2020: Research Stay at the University of Glasgow Since 2019: Research Associate at the University of Münster Research Interests: Development of compiler optimization frameworks Functional programming paradigms for high-performance systems Auto-tuning and Bayesian methods in compiler design Publications Highlight: His work on the BaCO framework (ASPLOS '23) demonstrates portable Bayesian compiler optimizations, while his 2023 Communications of the ACM article explores rewrite strategies for performance optimization. Contact: Located at Einsteinstr. 62, Room 707, Münster. Email: j.lenfers@uni-muenster.de . Active on LinkedIn and ORCID.

Kristopher MicinskiView profile

Assistant Professor

• Programming Languages
• Security
• Systems
• +4 more

Kristopher Micinski is an Assistant Professor at Syracuse University in the Department of Electrical Engineering and Computer Science. His research focuses on Programming Languages, Security, and Systems, particularly in static analysis and logic programming. PhD Students: Arash Sahebolamri (graduated May 2023), Yihao Sun (since 2020), Chang Liu (since 2023), Neda Abdolrahimi (since 2023) Email: kkmicins@syr.edu Research interests include high-performance implementations of declarative languages (e.g., Datalog and Scheme), formal methods for program security, and systems-level innovations for scaling static analyses. He has contributed to conferences like OOPSLA, CC, and Scheme with work on optimizing Datalog engines and extending logic programming paradigms. Recent publications explore topics such as Scaling control-flow analyses using Datalog extensions (OOPSLA 2023) Macro-based compilation for performance gains in lattice-oriented Datalog (CC 2022) Data-parallel Datalog execution (CC 2021) Symbolic execution and SAT solvers in program analysis (e.g., projects involving Chaff, EXE, and CDCL) He teaches undergraduate and graduate courses in programming languages, including CIS352 (Programming Languages) and CIS700 (Formal Methods and Symbolic AI). Current projects include NSF-funded research on declarative analytics and DARPA V-SPELLS for verified software security.

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

Mario Alviano is a Professor at the University of Calabria's Department of Computer Engineering, Modeling, Electronics and Systems (DIMES) in Rende, Italy. With a prolific publication record spanning from 2008 to 2025, he has established himself as a leading researcher in Answer Set Programming (ASP), logic programming, and knowledge representation. His work bridges theoretical foundations with practical applications across diverse domains including cybersecurity, environmental monitoring, and explainable AI. Alviano's research focuses on advancing the theoretical understanding and practical applications of Answer Set Programming. His key contributions include developing ASP Chef, a visualization and development framework for ASP; advancing theoretical foundations of conditional reasoning and typicality in weighted knowledge bases; and creating bridges between neural networks and symbolic AI through preferential interpretations. His recent work explores temporal extensions to conditional logics, applications of ASP to digital twin visualization, and tools for improving explainability in AI systems. Alviano's publications consistently appear in top-tier venues including ICLP, LPNMR, JELIA, and Theory and Practice of Logic Programming. His research demonstrates strong trends toward practical applications of theoretical advances, with increasing focus on explainability, visualization, and real-world problem solving. The recent surge in publications (26 in 2024 alone) indicates significant ongoing research activity and leadership in the field. His work increasingly integrates ASP with other AI paradigms, particularly neural networks, to create more interpretable and robust AI systems. Alviano has made substantial contributions to the development of tools and frameworks that lower barriers to entry for ASP, most notably ASP Chef which provides visualization capabilities for complex logic programs. His work on Hashcash Tree demonstrates applications to security problems, while his research on marketplace logistics shows practical business applications of declarative programming. His collaborative network is extensive, with frequent co-authorship with researchers including Wolfgang Faber, Nicola Leone, Francesco Ricca, Carmine Dodaro, Laura Giordano, and Daniele Theseider Dupré, reflecting strong connections across European AI research institutions. Alviano has also organized workshops including multiple editions of Datalog 2.0, demonstrating leadership in the logic programming community.