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

• Computer Architecture
• Hardware Design
• Signal Processing
• +۷ مورد دیگر

Prof. Dr.-Ing. Holger Blume serves as Vice President for Research and Transfer at Leibniz University Hannover while maintaining his academic position as Professor in the Architectures and Systems Section within the Faculty of Electrical Engineering and Computer Science. He holds multiple leadership positions including Chairperson of the Research Commission and Central Ethics Committee, Executive Board member of eNIFE (Leibniz Research Initiative for Neurosciences), and membership in both the Laboratory of Nano and Quantum Engineering and L3S Research Centre. His research interests span computer architecture, hardware design, signal processing, AI accelerators, hearing aid technology, and biomedical engineering. His work bridges theoretical computer science with practical applications in automotive systems, medical devices, and quantum engineering. Professor Blume's research demonstrates strong interdisciplinary connections between electrical engineering, computer science, and biomedical applications, with particular emphasis on hardware-oriented solutions for real-world problems. Analysis of his recent publications (2023-2025) reveals a strong focus on hardware acceleration for AI and signal processing applications, particularly in automotive radar/LiDAR systems and hearing aid technology. His work shows consistent innovation in RISC-V processor design, specialized hardware for mathematical functions, and biomedical applications of engineering principles. The research demonstrates a clear trajectory toward energy-efficient, specialized computing architectures for specific application domains. As Vice President for Research and Transfer, Professor Blume oversees significant research initiatives at Leibniz University Hannover, which hosts multiple Clusters of Excellence including PhoenixD (Photonics, Optics, and Engineering), QuantumFrontiers, and Hearing4all. The university participates in numerous collaborative research centers and junior research groups funded by DFG, BMBF, and EU programs. Professor Blume is actively involved in multiple research facilities including the Laboratory of Nano and Quantum Engineering and the L3S Research Centre. His work connects with Leibniz University's research focuses on optical technologies, quantum optics and gravitational physics, and biomedical research and technology. His leadership positions indicate strong involvement in shaping the research strategy and ethical framework of the university's scientific endeavors.

Richard Membarthمشاهده پروفایل

استاد پژوهشی

• System on a Chip (SoC)
• Artificial Intelligence for Edge Computing
• Compiler Technologies
• +۵ مورد دیگر

Richard Membarth is a Research Professor at Technische Hochschule Ingolstadt (THI) since 2021, specializing in System on a Chip (SoC) and Artificial Intelligence for Edge Computing . Previously, he worked as a Senior Researcher and Team Leader at the German Research Center for Artificial Intelligence (DFKI) in Saarbrücken (2014–2021), a Postdoc at the Intel Visual Computing Institute (IVCI) at Saarland University (2013–2014), and as a Research Employee at Friedrich-Alexander University Erlangen-Nürnberg (2008–2013), where he earned his PhD in Computer Science with a focus on medical imaging. Research Focus: Membarth's work bridges GPU computing compiler optimization domain-specific languages edge AI architectures His expertise in CUDA programming and high-performance systems informs his leadership in THI's AI Mobility Node (AImotion). Awards: HiPEAC Network Member Email: Richard.Membarth@thi.de

Julia Lawallمشاهده پروفایل

پژوهشگر

• Operating Systems
• Domain-Specific Languages
• Program Transformation
• +۴ مورد دیگر

Julia Lawall is a Senior Research Scientist (Directrice de Recherche) at Inria-Paris, where she leads research in the Whisper group. She has made significant contributions to the fields of programming languages, operating systems, and software engineering, with a particular focus on program transformation and Linux kernel development. Her work bridges theoretical computer science with practical software engineering challenges. Dr. Lawall's research primarily centers on the design and implementation of domain-specific languages for operating system problems, program transformation techniques, and automated software evolution. Her most notable contribution is the Coccinelle framework, which has been instrumental in automating the evolution of Linux device drivers for over a decade. Her work spans from theoretical foundations in optimal reduction of the lambda calculus to practical tools that address real-world software maintenance challenges in large-scale systems like the Linux kernel. Her publication record demonstrates consistent contributions across multiple domains, with recent work focusing on Android API evolution, Linux kernel bug detection, and program transformation techniques. The trajectory of her research shows a progression from theoretical programming language concepts to increasingly practical applications in system software maintenance and evolution. EuroSys Test of time award for 'Documenting and Automating Collateral Evolutions in Linux Device Drivers' at EuroSys 2008 Best paper award for 'Diagnosys: Automatic Generation of a Debugging Interface to the Linux kernel' at ASE 2012 Most Influential ICFP Paper Award for foundational work on lambda calculus Best Reviewer at GPCE 2020 and Distinguished Reviewer at ASE 2020 Dr. Lawall has been actively involved in the academic community, serving as program co-chair for numerous prestigious conferences including ASE 2019, FSE 2026, and EuroSys 2025. She has also contributed to community initiatives as the Linux kernel coordinator for Outreachy (2015-2018) and as a member of the advisory board for Software Heritage. Her leadership extends to editorial roles, including associate editor for Higher-Order and Symbolic Computation and membership on the editorial board of Science of Computer Programming. She leads the Whisper research group at Inria-Paris, which focuses on program transformation techniques and their applications to system software. The group has developed several influential tools including Coccinelle, Coccinelle4J, LiLiput, Prequel, and JMake, which have had substantial impact on both academic research and industrial practice in software maintenance and evolution.

• Computer Architecture
• Parallel Processing
• FPGA Design
• +۳ مورد دیگر

Frank Hannig is a Professor at the University of Erlangen-Nuremberg, Germany, specializing in computer architecture and high-performance computing. His research focuses on FPGA acceleration, hardware-software co-design, neural network optimization, and embedded systems. He has collaborated extensively with co-authors such as Jürgen Teich and Oliver Reiche, producing over 200 publications since 2001. His work emphasizes domain-specific languages (DSLs) for image processing (e.g., Hipacc) and compiler optimizations for FPGAs. Key contributions include techniques for quantized neural networks on microcontrollers, CGRA toolchain evaluation, and efficient mapping of CNNs onto processor arrays. Hannig also explores energy-efficient architectures and reconfigurable computing for emerging applications like edge AI and automotive systems. Publications span conferences like ASAP, FPL, and ARC, reflecting his interdisciplinary approach to bridging algorithm design and hardware implementation. His research often addresses practical challenges in deploying machine learning models on resource-constrained devices while maintaining performance and energy efficiency.

• High-Performance Computing
• Parallel Programming
• Computer Architecture
• +۳ مورد دیگر

Prof. Dr. rer. nat. Matthias S. Müller is a Universitätsprofessor and Director of the IT Center at RWTH Aachen University. His research focuses on High-Performance Computing (HPC), parallel programming models, correctness verification, energy-aware computing, and tools for distributed systems. He leads the High-Performance Computing group, contributing to advancements in HPC resource management, runtime systems, and sustainable computing practices. Key areas of expertise include MPI and OpenMP correctness checking, static and dynamic analysis techniques, performance optimization for heterogeneous architectures, and energy footprint modeling. Müller has extensively collaborated on projects like MUST (MPI correctness tool), OMPT tools, and frameworks for analyzing hybrid parallel applications. His work bridges theoretical computer science with practical implementation challenges in large-scale computing environments. Notable contributions include developing methods for data race detection in Remote Memory Access (RMA) programs, latency-aware power management models, and educational frameworks for HPC lab courses. His research often emphasizes tool development, runtime systems, and interdisciplinary applications of HPC across engineering domains. Müller's lab is part of RWTH Aachen's IT Center, which provides infrastructure and expertise for computational research. He actively publishes in top-tier conferences and journals, addressing challenges in parallel programming, energy efficiency, and distributed computing systems.

Michael Coblenzمشاهده پروفایل

استادیار

• Usability of programming languages
• User-centered programming language design
• Type systems for safety
• +۶ مورد دیگر

Michael Coblenz is an Assistant Professor in the Computer Science Department at University of California, San Diego. His research focuses on integrating user-centered design into programming language development, creating safer languages for blockchain and scientific computing. He completed his Ph.D. at Carnegie Mellon University under Jonathan Aldrich and Brad A. Myers, followed by a Basili postdoctoral fellowship at University of Maryland. Specializes in usability of programming languages Created Obsidian language for safer smart contracts Developed PLIERS methodology for iterative language design Active in Rust usability and REST API quality research His work bridges programming languages and human-computer interaction, with recent projects including Kale (safer spreadsheets) and climate change-focused programming tools. He has served on program committees for SPLASH, VL/HCC, and HATRA conferences. 2025: Graduate Consortium Co-chair at VL/HCC 2024: HATRA Organizing Chair 2023: Doctoral Symposium Chair at SPLASH

Sarah E. Chasinsمشاهده پروفایل

استادیار

• Programming Languages
• Human-Computer Interaction
• Program Synthesis
• +۳ مورد دیگر

Sarah E. Chasins is an Assistant Professor at the University of California at Berkeley , affiliated with the College of Engineering and Department of Electrical Engineering and Computer Sciences . She leads the PLAIT Lab (Programming Languages for Approachable and Inclusive Tools), with additional affiliations at the Berkeley Institute for Data Science (BIDS) and collaborations across disciplines. Her research focuses on democratizing programming through Program synthesis Human-Computer Interaction for programming languages Tools for non-traditional programmers Embedded domain-specific language design Web automation frameworks She has developed systems like Ringer for browser automation and Skip Blocks for execution history reuse. Recent publications highlight trends in Direct manipulation programming Synthesis-backed refactoring Sequence-to-tree code search DSL usability for domain experts Functional programming practices Web script optimization She has advised numerous graduate and undergraduate researchers, including: Current PhD students: Justin Lubin, Eric Rawn, Parker Ziegler Alumni: Gabriel Matute (MSc), Rebecca Hicke (undergraduate) Her service includes committee roles at top conferences like OOPSLA, PLDI, and PLATEAU, as well as teaching courses on CS164: Programming Languages and Compilers CS294-184: Building User-Centered Programming Tools CS39-001: Technology, Society, and Power

Philipp Slusallekمشاهده پروفایل

استاد

• Computer Graphics
• Artificial Intelligence
• High-Performance Computing
• +۷ مورد دیگر

Philipp Slusallek is a Professor for Computer Graphics at Saarland University since 1999 and Scientific Director at the German Research Center for Artificial Intelligence (DFKI), leading the "Agents and Simulated Reality" research area since 2008. He has held leadership roles such as Director for Research at the Intel Visual Computing Institute (2009-2017) and Dean of the Faculty of Computer Science and Mathematics (2002-2004). His affiliations include being a Principal Investigator in the German Excellence Cluster "Multimodal Computing and Interaction" (2007-2019) and a Visiting Professor at NVIDIA Research (2007-2008). PhD in Computer Science from Erlangen University Diploma in Physics from Frankfurt and Tübingen University His research spans computer graphics, artificial intelligence, and high-performance computing, with contributions to real-time ray tracing, digital reality, motion synthesis, and domain-specific languages (DSLs). Recent work includes visual programming tools for image processing (2022), DSL frameworks for high-performance libraries (2018), and compiler optimizations for vectorized code (2018). Key themes include simulation technologies, programming models, and computational sciences. Scientific honors include Fellow of Eurographics, Associate Editor of Computer Graphics Forum , membership in acatech (German National Academy of Science and Engineering), and advisory roles in AI policy. He has led research groups at institutions like Stanford University (Visiting Assistant Professor, 1998-1999) and the University of Tübingen (Researcher, 1990-1992).

Guillermo Payá Vayáمشاهده پروفایل

استاد

• Embedded Systems
• Processor Architecture
• FPGA Design
• +۵ مورد دیگر

Prof. Dr.-Ing. Guillermo Payá Vayá leads the Chair for Chip Design for Embedded Computing at Technical University of Braunschweig's Faculty of Electrical Engineering, Information Technology, and Physics. His research focuses on processor architecture design, FPGA/ASIC implementations, and optimization techniques for embedded systems, particularly in high-performance, low-power, and radiation-hardened computing domains. Primary research interests include: Application-Specific Instruction Set Processors (ASIPs) and compiler co-design Radiation effects characterization and fault-tolerant hardware Ultra-low-power processor architectures for embedded AI Hardware acceleration of neural networks and computer vision algorithms Memory subsystem optimization and parallel computing techniques Recent publications demonstrate strong emphasis on radiation-hardened electronics (35% of recent works), AI accelerator design (27%), and ultra-low-power systems (20%), with growing interest in biomedical applications. Experimental validation through FPGA prototyping and semiconductor testing is a consistent methodology across research domains. Leads research team investigating: Radiation-tolerant FPGA architectures (Trumann, Weide-Zaage) Vector processor optimization (Gesper, Thieu) Nano-scale controller design (Weißbrich) AI-hardware co-design (Kautz, Beyer)

Vivek Sarkarمشاهده پروفایل

استاد

• Parallel Computing
• Heterogeneous Computing
• High-Performance Computing
• +۵ مورد دیگر

Vivek Sarkar is currently the Chair of the School of Computer Science and the Stephen Fleming Chair for Telecommunications in the College of Computing at Georgia Institute of Technology. His career spans both industry and academia, with significant contributions to parallel computing, including programming models, compilers, and runtime systems. Ph.D. from Stanford University (1995-2007: IBM Academy of Technology member) 2007-2017: Chair of Computer Science Department at Rice University 2017-present: Georgia Institute of Technology Research Interests focus on programmability and productivity in parallel, heterogeneous, and high-performance computing systems. His work encompasses: Programming language design (e.g., X10, Habanero-C/C++) Compiler optimization and runtime systems Formal verification for parallel programs Education initiatives (Coursera specialization on parallel programming) Recent Publications highlight verification techniques in compilers, machine learning integration for code optimization, and Rust-based interfaces for distributed C++ systems. Scientific recognitions include: ACM Fellow IEEE Fellow 2020 ACM-IEEE CS Ken Kennedy Award He has mentored over 30 Ph.D. students/postdocs and leads the Habanero Extreme Scale Software Research Laboratory , which develops scalable parallel programming frameworks. Current advisory roles include: US Department of Energy’s ASCAC (2009-present) Computing Research Association (CRA) Board (2015-2022) Founding co-chair of CRA-Industry committee (2021)

Dominik Walterمشاهده پروفایل

پژوهشگر

• Hardware-Software Co-Design
• Processor Arrays
• Embedded Systems
• +۳ مورد دیگر

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.

Nada Aminمشاهده پروفایل

استادیار

• Programming Languages
• Artificial Intelligence
• Metaprogramming
• +۴ مورد دیگر

Nada Amin is an Assistant Professor of Computer Science at Harvard University's John A. Paulson School of Engineering and Applied Sciences (SEAS), where she leads the metareflection lab . Her research combines programming languages (PL) and artificial intelligence (AI), focusing on neuro-symbolic systems that are correct by construction, with applications in program synthesis, verification, and precision medicine. Harvard John A. Paulson School of Engineering and Applied Sciences (2019–Present) University Lecturer in Programming Languages at University of Cambridge (2017–2019) Doctoral and postdoctoral work at EPFL (2011–2017) Her research spans three core themes: Safer : Type systems and formal verification (Coq, Dafny, Frama-C) Faster : Multi-stage programming and interpreter collapsing techniques Easier : Neuro-symbolic AI for program manipulation and biological reasoning Key publications include: 2025: Modular Imperative with LLMs (LMPL), Multi-stage Relational Programming (PLDI) 2024: Persimmon for extensible variant types (OOPSLA) 2023: LURK for recursive knowledge (ICFP), Dolorem language growth pattern (ECOOP) Scientific honors include: Teaching Assistant Team Award (EPFL, 2015) Michigan Cambridge Research Initiative Grant (2018) ArsDigita Prize (1999) She has served on program committees for GPCE (co-chair), ICFP, PLDI, and organized workshops in metaprogramming and logic programming. Her teaching portfolio includes graduate courses on neurosymbolic programming, program synthesis, and advanced PL theory.

Benjamin C. Pierceمشاهده پروفایل

استاد

• Programming Languages
• Type Systems
• Language-based Security
• +۵ مورد دیگر

Benjamin C. Pierce is the Henry Salvatori Professor of Computer and Information Science in the School of Engineering and Applied Science at the University of Pennsylvania. As a Fellow of the ACM, he has made significant contributions to programming language theory and formal methods. His academic leadership includes previous editorial roles as co-Editor in Chief of the Journal of Functional Programming and Managing Editor for Logical Methods in Computer Science. His research spans multiple interconnected domains in programming language theory, with particular emphasis on type systems and their applications to security and verification. Pierce's work bridges theoretical foundations with practical implementations, most notably through his development of the Unison file synchronization tool and contributions to the Clowdr virtual conference platform. His research interests form a cohesive trajectory from foundational type theory to applied security and verification techniques. Pierce's scholarly output shows consistent focus on property-based testing, type systems, and formal verification methods. His recent publications demonstrate evolving interests in differential privacy verification, synchronization technologies, and the practical challenges of implementing formal methods in real-world systems. The progression of his work reflects both theoretical depth and practical relevance to software development challenges. Fellow of the ACM Author of influential textbooks Types and Programming Languages and Software Foundations Lead designer of the Unison file synchronizer Co-developer of the Clowdr virtual conference platform Former editorial leadership for multiple prominent programming languages journals As an educator and mentor, Pierce has contributed to the Programming Languages Mentoring Workshop (PLMW) and has served on numerous conference program committees. His academic service extends to SIGPLAN leadership roles including SIGPLAN Vice Chair and Steering Committee membership. His textbook Software Foundations has become a standard resource for teaching formal methods and proof assistants.

• Computer Engineering
• Reconfigurable Computing
• Embedded Systems
• +۴ مورد دیگر

Keyvan Shahin is a Professor in the Computer Engineering department at BTU Cottbus-Senftenberg. His work focuses on reconfigurable computing, embedded systems, robotics, and communication architectures. He advises multiple doctoral students including Amritha Premkumar and Muhammad Amin Qureshi. Education details are not explicitly listed in the provided text, but his research interests span adaptive UAV swarm systems, algorithm optimization for hardware architectures, and domain-specific processor design. His recent publications explore topics like modular UAV communication, polynomial connections in signal processing, and reconfigurable hardware acceleration techniques. Keyvan leads the Computer Engineering Group and contributes to projects such as the UBICO initiative. His technical expertise includes developing automated toolflows for CGRA (Coarse-Grained Reconfigurable Array) architectures and advancing adaptive processor design methodologies. He holds a Master of Science degree and can be reached at keyvan.shahin@b-tu.de . His office is located in Building 1C, Room 1.39.

• Software Engineering
• Formal Methods
• Model-Driven Development
• +۳ مورد دیگر

Alexander Raschke is a Professor at the University of Ulm, affiliated with the Institute of Software Engineering and Compiler Construction. His research focuses on formal methods, model-driven engineering, software safety and security, and abstract state machines. He has authored/co-authored over 50 publications, including works on collaborative modeling frameworks, security analysis techniques, and programming by demonstration. He holds a PhD in Computer Science from the University of Ulm (2009). As an academic, he has organized and chaired conferences such as ABZ (2020, 2021), demonstrating leadership in the formal methods community. His work bridges theoretical foundations with practical applications in software systems, emphasizing safety-critical and self-adaptive systems. Notable contributions include the development of EditQL—a textual query language for evolving models—and frameworks for attack-tree generation in cybersecurity.