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

Graham Huttonمشاهده پروفایل

استاد

• Mathematics of program construction
• Functional programming
• Programming language semantics
• +۶ مورد دیگر

Graham Hutton is a Professor of Computer Science at the University of Nottingham , where he leads the Functional Programming Lab and serves as Director of the Midlands Graduate School . He co-founded the Quotient Haskell project and maintains key roles in Journal of Functional Programming editorial work and Haskell Foundation governance. Co-leader, Functional Programming Lab (2008–date) Director, Midlands Graduate School (2023–date) ACM Distinguished Scientist Principal investigator for £912k EPSRC project (2024–2027) His research focuses on mathematical approaches to program construction , particularly through functional languages like Haskell and Agda . He develops techniques for compiler correctness , type system design , and program optimization , with recent work on quotient polymorphism and denotational cost models . Key article themes include: Compiler derivation from formal semantics Effect handling in functional languages Graph-based code generation over traditional tree structures Quotient type systems with SMT solver integration Concurrency semantics using choice trees Operational improvement with parametric polymorphism Scientific awards include: ACM Distinguished Scientist (2013) Best Paper & Best Student Paper (2018) EPSRC funding for compiler correctness projects He advises current PhD students in compiler calculation and memory safety , while maintaining extensive educational contributions through his widely-used textbook Programming in Haskell and open course materials.

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

استاد

• Compiler Construction
• Domain-Specific Languages
• Program Analysis
• +۶ مورد دیگر

Sebastian Hack is a Professor of Computer Science at Saarland University since 2010. He previously served as an assistant professor at the same university (2008-2010), a Post-Doc at EPFL in the LAMP lab, and a Post-Doc with INRIA at ENS Lyon. His research focuses on compiler construction, domain-specific languages, program analysis and synthesis, code generation, and vectorization. Recent publications highlight advancements in program synthesis (Sorting Kernels), memory safety instrumentations, automatic differentiation frameworks (MimIrADe), microarchitectural analysis (AnICA), and GPU acceleration for bioinformatics (Anyseq/gpu). His work bridges theoretical compiler design with practical applications in high-performance computing and security. He has held administrative roles as Dean of Study Affairs (2012-2014) and Dean of the Department of Mathematics and Computer Science (2018-2020). His software contributions include libFirm and GrGen , and he maintains active involvement in projects like AnyDSL and UniAna.

Roland Leißaمشاهده پروفایل

استادیار

• Intermediate Representations in Compilers
• Program Optimizations
• Automatic Parallelization
• +۱ مورد دیگر

Roland Leißa is an Assistant Professor in the School of Business Informatics and Mathematics at the University of Mannheim, Germany. His research focuses on programming languages, compilers, and domain-specific languages (DSLs) for high-performance computing across heterogeneous architectures. He teaches courses on parallel programming, compiler construction, and advanced programming topics. His work emphasizes automatic parallelization, intermediate representations, and program optimizations, particularly through partial evaluation techniques. He has contributed to tools like MimIR, AnyDSL, and FLOWER, which address challenges in GPU programming, FPGA synthesis, and ray tracing. Roland leads research on abstracting industrial and scientific application problems into reusable, theoretically sound compiler solutions. His projects span sequence alignment accelerations, dataflow compilation, and vectorization strategies, targeting modern hardware including GPUs and SIMD architectures. Contact: leissa@uni-mannheim.de | Personal Website | ORCID: 0000-0002-2444-6782

• Data Management
• Database Systems
• Data Discovery
• +۶ مورد دیگر

Raul Castro Fernandez is a prominent researcher in data management and database systems, with a focus on data discovery, integration, and marketplaces. He has collaborated extensively with leading institutions and researchers, contributing to projects like Data Station and Nexus for secure data sharing. His work bridges theoretical innovation with practical implementations in cloud optimization, differential privacy, and LLM-driven data tools. Key Contributions : Data market frameworks, LLM applications in databases, differential privacy platforms Collaborators : Yue Gong, Samuel Madden, Michael Stonebraker, Eugene Wu, Kyle Chard Research Themes Fernandez explores automated metadata management for data catalogs, spatiotemporal data sharing with privacy guarantees, and LLM-based data discovery . His work on stateful stream processing (e.g., SABER system) and cost optimization in cloud analytics shows technical depth. Recent Trends 2023-2025 publications highlight his pivot toward LLM applications in data management, including tabular data representation and hypothesis assessment tools. He also investigates sustainability in HPC through carbon credit systems.

Arne Heittmannمشاهده پروفایل

مدرس ارشد

• Neuromorphic Computing
• Hardware Architecture
• Artificial Neural Networks
• +۳ مورد دیگر

Dr. Arne Heittmann is a Senior Lecturer at Forschungszentrum Jülich, specifically within the Peter Grünberg Institut's Neuromorphic Software Ecosystems (PGI-15) department. His work focuses on the intersection of hardware architecture and neural computing systems. His educational background includes a PhD in Electrical Engineering completed in 2003 at the Heinz Nixdorf Institute, University of Paderborn, where his research centered on resource-efficient integrated hardware architectures for neural associative memories. Dr. Heittmann's research interests span several cutting-edge areas in neuromorphic engineering. His work encompasses circuits and systems for emerging nanoelectronic devices, novel techniques for 3D chip stacking with high-density vertical interconnects, hardware architectures for simulating spike-based neural networks, and neural architecture search with optimization strategies. These research areas reflect his commitment to advancing the hardware foundations of artificial intelligence systems. Throughout his career, Dr. Heittmann has maintained strong connections between academic research and industrial applications, with experience spanning both university settings and corporate research environments.

• Distributed Stream Processing
• Data Stream Analytics
• Database Optimization
• +۳ مورد دیگر

Dr. Boris Novikov is a prominent Russian computer scientist affiliated with St Petersburg University and the Higher School of Economics . His research focuses on distributed stream processing, temporal databases, and XML query optimization. Key collaborators include Artem Trofimov , Elena Mikhailova , and Anna Yarygina . Research Areas : Distributed Systems (stream processing, substream management) Database Optimization (vertical partitioning, XML caching) Temporal Data Management Machine Learning (concept drift detection) His recent work on distributed stream processing (2023-2022) explores substream bounding, deterministic models, and resource allocation strategies. Earlier contributions (2012-2008) focused on XML query performance, similarity indexing, and access control frameworks. Technical Trends : Event time alignment in distributed architectures Dynamic residual projection for cybersecurity Bi-objective optimization in database systems Speculative execution with conflict resolution Incremental Lagrangian dual solutions Matrix clustering for partitioning problems

Carsten Trinitisمشاهده پروفایل

استاد

• High Performance Computer Architectures
• Microprocessor Architectures
• Co-design
• +۵ مورد دیگر

Prof. Dr. Carsten Trinitis is a full professor at the Chair of Computer Architecture & Parallel Systems within the TUM School of Computation, Information and Technology. Specializing in high-performance computer architecture with a unique focus on spaceflight applications and informatics ethics, he leads the 'Gesellschaft für Informatik und Ethik' (Society for Informatics and Ethics). Ph.D. in Electrical Engineering from TUM (1998) Industry experience before returning to academia Former Assistant Professor in History of Science (2002-2010) at Universität der Bundeswehr München Full Professor of Distributed Computing at University of Bedfordshire (2010-2014) His research spans three major domains: High-Performance Computing: Focused on microprocessor architectures, hardware-oriented optimizations, and co-design approaches. Recent work includes GPU power capping strategies and Data Distribution Service (DDS) middleware enhancements. Space Systems: Pioneering computer architectures for nanosatellites with projects like MOVE-II mission and MicroPython-based satellite control systems. Digital Ethics: Through his 'Gewissensbits' initiative, he explores ethical decision-making frameworks for technology and contributes to the German Informatics Society's ethical guidelines. Key publication trends show interdisciplinary work connecting: HPC systems and edge AI applications FPGA-based verification and RISC-V processors Time series analysis at petascale performance Hardware-software co-design for extreme environments Continued emphasis on ethical computing frameworks Scientific Recognition: TeachInf Award for Outstanding Teaching (2023) Hans Meuer Award for Best Paper (2020) ZARM Master Thesis Awards (2016, 2017) Prof. Trinitis leads multiple research projects including: SEANERGYS (EuroHPC) - Energy-efficient computing systems PlasmaPEPS - Plasma physics simulation environments OpenCUBE - Open computing frameworks for space MUNIQC-ATOMS - Quantum computing integration

• Acoustic Virtual Reality
• Room and Building Acoustics
• Psychoacoustics
• +۳ مورد دیگر

Dr. Manuj Yadav is a Post Doctoral Researcher at the Chair for Hearing Technology and Acoustics , RWTH Aachen University, Germany. His work focuses on acoustic virtual reality , room acoustics , and psychoacoustics with applications in workplace environments, auditorium design, and vocal performance studies. Research Themes : Auditory distraction in open-plan offices, autophonic perception, speech intelligibility metrics, and retroreflective architectural design Projects : Involved in the Priority Program SPP2236 - AUDICTIVE (Auditory Cognition in Interactive Virtual Environments) Recent publications analyze indoor environmental quality in hybrid workspaces, biophilic sound interventions for stress recovery, and acoustic retroreflection in modern and historical architecture. His experimental studies employ auralization techniques and virtual reality to simulate real-world acoustic environments for empirical testing. Key Collaborations : RWTH Aachen University’s Institute of Hearing Technology and Acoustics (IHTA), University of New South Wales Technical Expertise : Acoustic measurement protocols, ISO 3382-3 compliance, binaural simulation systems

• Magnetocaloric Effect
• Phase Transitions
• Heusler Alloys
• +۴ مورد دیگر

Prof. Dr. Luana Caron is a leading researcher at the Faculty of Physics , Bielefeld University, specializing in magnetocaloric materials , phase transitions , and Heusler alloys . Her work focuses on optimizing magnetic refrigeration technologies and developing smart materials with enhanced reversibility and mechanical stability. Research Interests Investigation of skyrmion lattices in chiral magnets via neutron scattering Design of grain-oriented composites for reduced thermal hysteresis Manipulation of microstructure to improve magnetocaloric performance Publications & Projects Over 15 recent publications (2019–2025) in Scientific Reports , Acta Materialia , and Physical Review Materials Lead scientist in the Bielefeld-Berlin Joint Lab (2022–2025) for next-generation refrigeration

Freydis Vogelمشاهده پروفایل

استاد

• Computer-Supported Collaborative Learning (CSCL)
• Educational Psychology
• Collaboration Scripts
• +۴ مورد دیگر

Prof. Dr. Freydis Vogel is a Professor at the University of Hamburg's Faculty of Education, specifically within the Department of General, Intercultural and International Comparative Education as well as Educational Psychology (EW1). Her research focuses on computer-supported collaborative learning (CSCL), collaboration scripts, and their impact on educational outcomes. She investigates how socio-cognitive scaffolding, group awareness tools, and self-regulation strategies enhance learning processes in digital and collaborative environments. Her work emphasizes the design and evaluation of CSCL systems for fostering mathematical argumentation skills, collaborative problem-solving, and teacher education. Vogel also explores the role of emergency remote teaching methodologies and evidence-based practices in higher education. Her contributions bridge theoretical frameworks with practical implementations, addressing challenges in both synchronous online learning and traditional classroom settings. Key areas of interest include the interplay between collaboration scripts and cognitive processes, the effectiveness of heuristic worked examples, and the adaptation of scaffolding techniques for diverse learner populations. She has authored numerous publications on these topics and actively engages with international educational research communities through initiatives like the NAPLeS project.

Jasmin Lehmannمشاهده پروفایل

پژوهشگر

• Human-Computer Interaction
• Health Informatics
• Gerontechnology
• +۳ مورد دیگر

Dr. Jasmin Lehmann is a Researcher at the University of Siegen, affiliated with the Faculty of Information Systems and New Media and the Department of Socio-Informatics. Her work focuses on the intersection of human-computer interaction and healthcare technology, particularly for elderly populations and those with dementia. Lehmann's research interests center on gerontechnology and digital health solutions. She investigates how interactive technologies can support aging populations, with particular emphasis on dementia care, social robotics applications in nursing, and ethical considerations of ambient assisted living systems. Her work bridges technical innovation with practical healthcare applications, focusing on user-centered design for vulnerable populations. Analysis of her recent publications reveals a strong trend toward developing and evaluating technology interventions for elderly care. Her research spans digital twins for aging support, music-based exergames for dementia patients, social robotics applications, and ethical frameworks for monitoring technologies in care contexts. These works demonstrate her commitment to creating practical, human-centered technological solutions that address real-world healthcare challenges while considering ethical implications. Lehmann collaborates extensively with researchers across Europe and Japan, reflecting the international nature of her work in aging technology. Her publications appear in reputable journals covering human-computer interaction, sustainability, and healthcare technology domains.

• Semiconductor Reliability
• Machine Learning for CAD
• Hardware Security
• +۶ مورد دیگر

Hussam Amrouch is a Professor (W3) at the Technical University of Munich (TUM) , leading the Chair of AI Processor Design (AI-Pro) and affiliated with the Munich Institute of Robotics and Machine Intelligence (MIRMI) . He also serves as the head of Semiconductor Test and Reliability (STAR) at the University of Stuttgart. His academic journey includes a Ph.D. (Dr.-Ing.) summa cum laude from Karlsruhe Institute of Technology (KIT) and leadership of the Dependable Hardware Research Group at KIT. His research spans design for reliability and testing , machine learning for CAD , hardware security , approximate computing , and emerging technologies with a focus on ferroelectric devices . Recent publications highlight applications in hyperdimensional computing , cryogenic circuits , and neuromorphic systems . Amrouch has received 8 HiPEAC Paper Awards and best paper nominations at top EDA conferences. His work is funded by organizations including the German Research Foundation (DFG) , Advantest Corporation , and the U.S. Office of Naval Research (ONR) . He has over 200 publications across multidisciplinary domains from semiconductor physics to computer architecture. As an editor at Nature Scientific Reports , he contributes to journal oversight. His technical leadership extends to program committees of major EDA conferences like DAC, ASP-DAC, and ICCAD.

Dennis Kätzelمشاهده پروفایل

استاد

• Neuroscience
• Psychiatry
• Schizophrenia Research
• +۶ مورد دیگر

Prof. Dennis Kätzel is a Professor at the University of Ulm's Faculty of Medicine, leading the Kätzel Lab within the Department of Applied Physiology. His research focuses on unraveling the neural circuit mechanisms underlying schizophrenia, with particular emphasis on treatment-resistant cognitive and negative symptoms. The lab employs cutting-edge techniques including optogenetic/chemogenetic circuit manipulation, in vivo electrophysiology, miniscope imaging, and machine learning-based analysis of neural data. His primary research interests span neural circuit dysfunction in schizophrenia , aberrant salience attribution , cognitive deficits (working memory, attention, cognitive flexibility), and translational drug discovery . Key methodologies include multi-site LFP recordings during behavioral tasks, transgenic schizophrenia models, and behavioral pharmacology. The lab has pioneered open-source neuroscience tools such as the Open-MAC commutator and 5-choice operant box systems. Analysis of his 15 most recent publications (2021-2024) reveals a concentrated focus on anterior cingulate cortex and hippocampal circuit mechanisms in schizophrenia-related behaviors. His work consistently bridges molecular interventions (e.g., G-protein signaling modulation) with circuit-level electrophysiological outcomes and behavioral phenotypes, establishing causal links between specific neural mechanisms and symptom domains. A distinctive trend is the development and application of open-source hardware/software solutions to advance preclinical neuroscience methodology. Prof. Kätzel mentors PhD students including Sampath Kapanaiah, Lukas Bühner, and Sophie Lammerich, who contribute to projects involving neural circuit analysis, behavioral testing, and tool development. His lab actively provides public scientific resources through GitHub and Labmaker, including MATLAB scripts for connectivity analysis, hardware design files, and experimental protocols. The Kätzel Lab operates as a translational neuroscience hub within Ulm's Institute of Applied Physiology, maintaining strong collaborations with psychiatric clinicians and pharmacologists. Current work focuses on identifying circuit-level drug targets and developing biomarkers for predicting clinical efficacy of novel schizophrenia therapeutics, with particular attention to cognitive symptom domains lacking effective treatments.

• Computer Vision
• Biological Vision
• Machine Learning
• +۵ مورد دیگر

Heiko Neumann is a Professor at the University of Ulm heading the Vision and Perception Science Group, where his research investigates visual information processing mechanisms in biological and technical systems with emphasis on adaptation to dynamic environments. His work bridges neuroscience and computational approaches to advance understanding of biological vision while developing novel computational vision systems for real-world applications. Neumann's primary research spans computer vision, biological vision, machine learning, and neuromorphic engineering. He focuses on how visual systems process information and learn from changing environments, with applications in perceptual human-computer interfaces, biometric systems, automotive technologies, medical image analysis, and visually-guided robotics. His neural modeling provides insights into brain functions for visual sensory processing and behaviorally relevant tasks, driving innovations in computational vision mechanisms. Analysis of his 2023-2025 publications reveals a strong trend toward thalamo-cortical models for visual binding, deep learning for shape/motion understanding, and multimodal integration (visual-auditory). His research increasingly applies neural modeling to robotics and human-computer interaction, with growing emphasis on neuromorphic computing architectures and event-based vision systems. The work spans theoretical neuroscience and practical applications in medical imaging and autonomous systems, showing consistent integration of biological principles into artificial vision solutions. Neumann's research receives significant funding from the European Union, Bundesministerium für Bildung und Forschung (BMBF), and Deutsche Forschungsgemeinschaft (DFG). While specific advisees aren't listed in available materials, he leads an active research group with current and previous members as indicated on his institutional webpage (currently inaccessible due to 404/401 errors). He directs the Vision and Perception Science Group at the University of Ulm, conducting interdisciplinary research at the neuroscience-computer vision intersection. The group develops neural models to understand biological vision mechanisms and applies these insights to create advanced computational vision systems for applications including medical image analysis, automotive technologies, and robotics, with recent work emphasizing neuromorphic architectures and real-time visual processing.

• Visual Foraging
• Visual Attention
• Temporal-Order Perception
• +۴ مورد دیگر

Dr. Jan Tünnermann is a Research Fellow at the Philipps-Universität Marburg , affiliated with the Department of Cognitive Psychophysiology within the Faculty of Psychology. His research focuses on Visual Foraging, Temporal-Order Perception, and Artificial Visual Attention Systems , with particular emphasis on cognitive modeling and Bayesian estimation techniques. He investigates how attentional mechanisms guide human behavior in naturalistic and experimental settings, including foraging tasks, game-like experiments, and human-computer interaction scenarios. Research Interests : Visual Attention Dynamics and Template Switching Temporal-Order Judgment and Psychophysics Cognitive Models of Attentional Resource Allocation Artificial Visual Systems Inspired by Human Perception Recent work highlights attention's role in optimizing search strategies across oculomotor and manual tasks, revealing trade-offs between speed and accuracy. He collaborates on interdisciplinary projects, such as developing sensory substitution devices for visually impaired individuals and virtual cycling environments for human-in-the-loop experiments. His publications span journals like Journal of Experimental Psychology and Cognitive Computation , with a focus on advancing computational theories of visual attention. Key Contributions : Pioneering use of the Theory of Visual Attention (TVA) in real-world experiments Model-based analysis of temporal-order judgments Development of saliency detection algorithms for artificial systems No scientific awards explicitly listed, though his work has received attention for methodological innovations in attention research.