جستجوی استاد راهنمای دانشگاهی

Thomas Ludwigمشاهده پروفایل

استاد

• High-Performance Computing (HPC)
• Data Storage Systems
• Energy Efficiency in Computing
• +۳ مورد دیگر

Prof. Dr. Thomas Ludwig is the Director of the German Climate Computing Center (DKRZ) and a Professor at the Universität Hamburg. He holds a doctoral degree and habilitation from the Technische Universität München, with expertise in High-Performance Computing (HPC), energy efficiency, and data storage systems. His research focuses on optimizing parallel systems, storage technologies, and computational efficiency for climate science applications. He leads projects like AIMES and PeCoH, advancing HPC storage and energy-aware computing. Education: Doctoral degree and habilitation from TU München (1988–2001). Chair in Parallel Computing at Universität Heidelberg (2001–2009). Research Interests: HPC, data reduction techniques, energy-efficient systems, parallel I/O optimization, and climate modeling infrastructure. Recent Research Trends: His work emphasizes storage system efficiency, machine learning in HPC, and convergence between HPC and Big Data. Key contributions include frameworks for portability (Vecpar), automated performance tools, and energy-aware storage solutions. Awards: Some publications received recognition, e.g., a Best Paper award in 2014 for work on energy efficiency. However, no personal awards are explicitly listed. Advising & Grants: Supervised numerous theses in HPC, I/O optimization, and energy efficiency. Leads major projects funded by national and international initiatives. Labs/Teams: Heads the DKRZ team providing supercomputing and data management for climate research, collaborating with global institutions like the University of Hamburg and European research networks.

Norbert Pohlmannمشاهده پروفایل

استاد

• Cyber Security
• Internet Security
• IT Security
• +۷ مورد دیگر

Professor Norbert Pohlmann serves as Professor of Cyber Security in the Department of Computer Science I at Westfälische Hochschule (Westphalian University of Applied Sciences) in Gelsenkirchen, Germany. He leads the Institute for Internet Security (if(is)) and serves as Data Security and Network Officer for the university. Pohlmann also coordinates the Master's Internet Security program and maintains significant leadership positions in national and international cybersecurity organizations including as Chairman of the Board of TeleTrusT (the German IT Security Association), Board Member of eco (the German Internet Industry Association), and member of the Advisory Group of the European Union Agency for Cybersecurity (ENISA). His research focuses on Cyber Security, Internet Security, and IT Security with specializations in Trusted Computing, Mobile Security, Network Security, Data Protection, and AI Security. Pohlmann's work encompasses practical applications including Internet early warning systems, botnet detection, SmartCar/SmartGrid security, and firewall systems. He has developed trust-building mechanisms for digital environments and pioneered approaches to making cybersecurity solutions more trustworthy. Pohlmann's recent publications and presentations (2023-2025) demonstrate his leadership in emerging security challenges, particularly regarding AI security, digital trust frameworks, and gaming security. His work shows a consistent trend toward addressing the intersection of technological innovation and security requirements, with increasing emphasis on trustworthiness as a foundational element for digital transformation. Among his notable professional contributions are his leadership in developing the Cyber-Nation initiative, his work on EU AI Act compliance frameworks, and his research on security threats in gaming environments. His publications span both academic and practical domains, reflecting his commitment to bridging theoretical security concepts with real-world implementation. As an educator, Pohlmann teaches both Bachelor's and Master's level courses including Internet Protocols, IT Security Fundamentals, and specialized Internet Security courses. He has supervised numerous Master's theses and developed comprehensive curricula for cybersecurity education that emphasize both technical skills and strategic security thinking.

Steffen Beckerمشاهده پروفایل

استاد

• Software Engineering
• Cloud Systems
• Model-Driven Engineering
• +۷ مورد دیگر

Steffen Becker is a Professor at the University of Stuttgart's Faculty of Computer Science, Electrical Engineering and Information Technology, affiliated with the Institute for Software Engineering's Software Quality and Architecture group. His work focuses on software engineering, cloud systems, model-driven engineering, and cybersecurity. He leads research in architectural modeling tools like Slingshot, GUI testing frameworks (ViMoTest), and hardware security analysis. Recent studies explore AI integration in testing, education, and automotive systems (CARISMA). Research interests include elasticity modeling, self-adaptive systems, and educational technology. His 2025 publications address issues like end-user hardware comprehension, FPGA security, and LLM-driven test generation. Notable tools developed include the Slingshot Simulator for cloud-native systems and Gropius for cross-component issue management. Becker contributes to both theoretical advancements and practical implementations in software quality, security, and cloud infrastructure. Key Areas: Software Architecture, Cyber-Physical Systems, Testing, Reverse Engineering Tool Developments: ViMoTest, Slingshot, Gropius Education Focus: Online programming pedagogy and curriculum innovation His work bridges foundational research with industry applications, addressing challenges in automotive computing, cloud elasticity, and human-centric security awareness. Recent efforts emphasize explainable hardware (XHW) and AI's role in qualitative analysis automation.

Thomas Neumannمشاهده پروفایل

استاد

• Database Systems
• Query Optimization
• Query Processing
• +۲ مورد دیگر

Thomas Neumann is a full-time Professor at the Department of Database Systems within the TUM School of Computation, Information and Technology at the Technical University of Munich . Research Focus : Query optimization and processing in database systems Hardware-aware database engine design Scalable RDF/semantic data management Hybrid OLTP/OLAP processing Join optimization algorithms Scientific Recognition : Gottfried Wilhelm Leibniz Prize (2020), Germany's most prestigious research award Academic Contributions : His recent publications focus on high-performance query execution strategies, hybrid transactional/analytical systems using virtual memory snapshots, and scalable graph processing techniques. These works demonstrate consistent advancements in database engine optimization for modern hardware architectures and large-scale semantic data management.

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

پژوهشگر

• Dynamic Resource Management in High-Performance Computing (HPC)
• Parallel & Distributed Programming Models
• Hardware-aware Programming
• +۶ مورد دیگر

Dominik Huber is a Ph.D. candidate and researcher at the Technical University of Munich , affiliated with the Chair of Computer Architecture & Parallel Systems . His work focuses on Dynamic Resource Management in High-Performance Computing (HPC) , with expertise in Parallel & Distributed Programming Models and Hardware-aware programming . He has actively contributed to teaching courses like Parallel Programming Systems and Advanced Computer Architecture . His research emphasizes adaptive resource allocation in hybrid HPC clusters, leveraging technologies such as MPI Sessions , PMIx , and frameworks like LAIK and XBraid . Recent projects include the DynRes software suite for dynamic resource management and collaborations on quantum-HPC integration. Huber has advised students on topics ranging from Dynamic Resource Management in Charm++ to CI Systems for HPC Software , and his publications address challenges in malleability, scheduling, and power-constrained environments. Current affiliations include participation in the SEANERGYS (EuroHPC) and PlasmaPEPS projects.

Giles Regerمشاهده پروفایل

مدرس ارشد

• Automated Theorem Proving
• Runtime Verification
• Program Verification
• +۷ مورد دیگر

Giles Reger is a Senior Lecturer in the Formal Methods Group of the School of Computer Science at the University of Manchester. He completed his BA in Computer Science at the University of Cambridge in 2009, followed by an MSc in Advanced Computer Science at the University of Manchester in 2010 (awarded Highest Achiever of the Year), and earned his PhD from the University of Manchester in 2014 with a thesis titled "Automata based monitoring and mining of execution traces". His research spans several key areas within computer science: Automated Theorem Proving (first-order) Saturation-based techniques Reasoning with theories and quantifiers Finite Model finding Collaborative and Concurrent proof attempts Runtime Monitoring/Verification Temporal specification languages Specification Mining/Inference Dr. Reger leads multiple EPSRC-funded research projects including SCorCH (Secure Code for Capability Hardware), CAPS (Collaborative Architectures for Proof Search), and QuTie (reasoning with Quantifiers and Theories). His work on the Vampire theorem prover and MarQ monitoring tool demonstrates his bridge between theoretical computer science and practical applications. Recent publications show strong focus on runtime verification, theorem proving, and program analysis with applications to security and performance monitoring. Notable awards: Highest Achiever of the Year Award for MSc studies Dr. Reger collaborates extensively with institutions including the University of Oxford, Arm, Amazon Web Services, and CERN (CMS Experiment). As Manchester lead on the SCorCH project, he develops formal analysis tools for security-aware hardware chips. His work on the VyPR framework enables developers to analyze Python program performance through temporal specification languages and monitoring algorithms.

Miryung Kimمشاهده پروفایل

استاد

• Software Engineering
• Software Engineering for Data Intensive Computing
• Automated Testing
• +۷ مورد دیگر

Miryung Kim is a Professor and Vice Chair of Graduate Studies in UCLA's Computer Science Department, where she directs the Software Engineering and Analysis Laboratory. She is renowned for her pioneering work in software evolution, code clone management, and establishing the emerging field of Software Engineering for Data Intensive Computing (SE4DA and SE4ML). Her research focuses on automated testing and debugging for Apache Spark, developer tools for heterogeneous computing, and conducting systematic studies of refactoring practices in industry. She led the first large-scale study of data scientists in industry and developed JDebloat, a Java bytecode debloating tool that made significant tech transfer impact to the Navy. Her recent publications demonstrate strong trends in fuzz testing for big data analytics and heterogeneous computing, with a focus on natural input generation, co-dependence awareness, and leveraging hardware probes for acceleration. Her work bridges software engineering with data-intensive and heterogeneous computing paradigms. ACM SIGSOFT Influential Educator Award (2022) ICSME Most Influential Paper Award (2023 and 2020) NSF CAREER award Google Faculty Research Award Okawa Foundation Research Award Humboldt Fellow ACM Distinguished Member As an academic advisor, she has produced eight tenure-track faculty members at institutions including Columbia, Purdue, and Virginia Tech. Her research has been supported by National Science Foundation, Air Force Research Laboratory, Google, IBM, Intel, Okawa Foundation, Samsung, and Office of Naval Research. She previously served as Program Co-Chair of ESEC/FSE 2022 and has delivered keynotes at ASE 2019 and ISSTA 2022. She maintains active industry collaborations, serving as an Amazon Scholar at Amazon Web Services and having spent time as a visiting researcher at Microsoft Research.

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

پژوهشگر

• Distributed Systems
• Operating Systems
• Many-Core Architectures
• +۳ مورد دیگر

Sebastian Maier is a Researcher at the Department of Computer Science 4 (Distributed Systems and Operating Systems) at Friedrich-Alexander-University Erlangen-Nuremberg, part of the Faculty of Engineering. His work focuses on invasive computing, many-core architectures, and distributed systems. He has contributed to projects like the iRTSS (Invasive Run-Time Support System) and the OctoPOS kernel, emphasizing system software for resource arbitration and latency-aware systems. Maier has taught courses such as System-level Programming in C and Operating Systems exercises from 2013 to 2019. His research interests include hardware-software co-design, embedded systems security, and runtime systems for future architectures. He has advised students on thesis topics like distributed TCP/IP stacks and asynchronous communication interfaces in many-core systems. His recent work explores dynamic hardware-managed queues (DySHARQ) and resource arbitration mechanisms for tile-based architectures. These efforts aim to optimize parallel processing and real-time performance in embedded systems. Maier has also collaborated on latency-aware operating systems (LAOS) and security in embedded systems (SESES). Key Projects: iRTSS, AAM (Asynchronous Abstract Machines), SHARQ, LAOS Lab/Teams: Part of the Invasive Computing SFB/TRR 89 project (Project C1) His publications span conferences like ROME, ROSS, and HiPEAC, addressing challenges in many-core kernel design, scalability, and hardware-accelerated systems. Current research trends focus on adapting system software to heterogeneous and dynamic many-core environments.

Peter Druschelمشاهده پروفایل

استاد

• Distributed Systems
• Operating Systems
• Peer-to-Peer Systems
• +۷ مورد دیگر

Peter Druschel is the founding director of the Max Planck Institute for Software Systems (MPI-SWS) and leads the Distributed Systems Group. He holds adjunct professorships at Saarland University and the University of Maryland, reflecting his strong academic affiliations in computer science. He has previously served as a Professor of Computer Science at Rice University and has held visiting positions at MIT, Microsoft Research Cambridge, and LIP6. Education: Ph.D. in Computer Science, University of Arizona, 1994 His research centers on building secure, compliant, and privacy-preserving distributed and mobile systems. Key interests include accountable systems, peer-to-peer networks, operating systems, and network security. He has led foundational work in systems like Pastry, Scribe, and Glacier, and currently focuses on privacy compliance in data processing through projects like Thoth and iPic. His work is supported by major grants from the ERC, Max Planck Society, DFG, BMBF, and Google. The recent publications highlight a consistent trend in secure and privacy-aware systems, with a focus on policy enforcement, isolation mechanisms, anonymity, and mobile security. These works span top venues such as USENIX Security, OSDI, MobiSys, and SIGCOMM, reflecting sustained impact in systems and security communities. Scientific Awards: NSF CAREER Award (1995) Alfred P. Sloan Fellowship (2000) SIGOPS Mark Weiser Award (2008) Microsoft Research Outstanding Collaborator Award (2016) EuroSys Lifetime Achievement Award (2017) Druschel has advised numerous PhD and master’s students and postdoctoral researchers at MPI-SWS. He has co-directed major collaborative programs including the Cornell-Maryland-Max Planck Pre-doctoral School and the Maryland Max Planck Ph.D. Program. His leadership extends to professional service, having chaired SOSP, OSDI, NSDI, and EuroSys, and served on editorial boards of CACM, TOCS, and Royal Society Open Science. He is a member of Academia Europaea and the German Academy of Sciences Leopoldina. Labs and Teams: Distributed Systems Group, MPI-SWS imPACT ERC Synergy Project Collaborators include Bobby Bhattacharjee, Deepak Garg, Miguel Castro, Ion Stoica, and others

Khalil Esperمشاهده پروفایل

پژوهشگر

• Verification and Model Checking
• Energy Optimization
• Real-time Systems
• +۴ مورد دیگر

Khalil Esper is a Researcher at the Department of Computer Science, Faculty of Engineering, Friedrich-Alexander-University Erlangen-Nuremberg (FAU), where he works at the Chair of Computer Science 12 (Hardware-Software Co-Design). His research focuses on verification, energy optimization, and runtime requirement enforcement in embedded systems and MPSoCs. His educational background includes: Informatics Engineering from Aleppo University, Syria (2010-2015) European Master in Embedded Computing Systems (EMECS) from Rhineland-Palatinate University of Technology Kaiserslautern-Landau (Germany) and Norwegian University of Science and Technology (Norway) (2017-2019) Esper's research interests center around verification and model checking, energy optimization on MPSoC, real-time systems and embedded systems, and autonomic computing. His work particularly focuses on runtime requirement enforcement mechanisms for non-functional properties in multi-processor systems-on-chip, with applications extending to medical devices and human-robot interaction systems. He has developed approaches using finite state machines, reinforcement learning, and evolutionary algorithms to ensure system properties are maintained during execution. His publication record shows a strong trend toward applying formal methods and runtime enforcement techniques to increasingly complex systems, with recent work expanding into safety-critical applications like orthoses and human-robot interaction. The interdisciplinary nature of his research bridges computer science, embedded systems engineering, and biomedical applications. Esper has supervised multiple theses including: Sascha H.: Runtime Requirement Enforcement of Non-Functional Requirements on MPSoCs Using Fuzzy Logic (2022) Iana S.: Feedback-Based Control of Non-functional Program Execution Properties on Linux (2023) Philipp L.: Runtime Requirement Enforcement of Functional and Non-Functional Requirements of a Knee Orthosis Based on a Digital Twin (2024) Avinash N.: Runtime Requirement Enforcement of Safety Properties of an Ankle Orthosis Based on a Digital Twin (2024) Zhiyi T.: Generation of Environment FSMs Using Machine Learning Techniques (2025) Moustafa A.: Runtime Requirement Enforcement of Safety Properties of Human-Robot Interaction Based on a Digital Twin (2025) Florian K.: Runtime Requirement Enforcement of Safety Properties of Human-Robot Interaction (2025) He has been actively teaching courses on Approximate Computing and Embedded Systems since the 2021/2022 academic year, demonstrating his commitment to academic instruction alongside his research activities. Esper is involved in the InvasIC research project, part of the DFG Transregional Collaborative Research Center 89 on Invasive Computing, which explores novel approaches to resource management in parallel computing systems.

Sandrine Blazyمشاهده پروفایل

استاد

• Formal verification
• Semantics of programming languages
• Compilers
• +۳ مورد دیگر

Sandrine Blazy is a Professor in the Computer Science Department at the University of Rennes, France. She is a member of CELTIQUE (also referred to as Epicure), a joint project-team with Inria Rennes Bretagne Atlantique and the IRISA laboratory. Since 2021, she has served as deputy director of the IRISA CNRS UMR 6074 laboratory and will be the general chair for POPL 2026, which will be held in Rennes. She is also a member of the editorial board of the LMCS journal. Dr. Blazy completed her PhD at CNAM (Conservatoire National des Arts et Métiers) in 1993 with a thesis titled "La spécialisation de programmes pour l'aide à la maintenance du logiciel" (Program Specialization for Software Maintenance Assistance). She later completed her Habilitation à diriger des recherches (HDR) in 2008 at the University of Évry Val d'Essonne with a thesis titled "Sémantiques formelles" (Formal Semantics). Her research focuses on the formal verification of program transformations and semantic properties of programming languages, particularly in the context of the CompCert compiler and Verasco static analyzer. She develops mechanized semantics using the Coq (or Rocq) proof assistant to ensure software correctness and security. A prime application domain of her work is software security, including constant-time programming for cryptographic applications and software obfuscation techniques. Her teaching includes mechanized semantics (in Coq), functional programming (in OCaml), formal methods (using Why3), and software vulnerabilities. Dr. Blazy's publication record from 2019-2025 shows a sustained focus on verified compilation techniques, particularly in preserving security properties during compilation. Her work bridges theoretical formal methods with practical compiler implementation, resulting in tools that have real-world impact in safety-critical systems. She has made significant contributions to the CompCert formally verified compiler project, with particular attention to constant-time preservation for cryptographic applications and JIT compilation verification. Her scientific achievements have been recognized with several major awards: CNRS Silver Medal (2023) Lucas Award from Formal Methods Europe (2023) ACM SIGPLAN Programming Languages Software Award for CompCert (2022) ACM Software System Award for CompCert (2021) Dr. Blazy has been actively involved in the programming languages research community, serving on numerous program committees for major conferences including POPL, ICFP, PLDI, and CPP. She has mentored students and contributed to education through teaching mechanized semantics and formal methods. Her work with the CompCert compiler has led to practical applications in safety-critical systems, with industry collaborations documented in publications like "CompCert: Practical experience on integrating and qualifying a formally verified optimizing compiler" (ERTS 2018). She leads research within the CELTIQUE project team, which focuses on developing trustworthy software using deductive verification. Her team works on advancing the state of the art in formal verification of compilers and static analyzers, with applications in security-critical domains including cryptographic implementations and safety-critical embedded systems.

• Software Engineering
• Green Software Development
• Sustainable Computing
• +۶ مورد دیگر

Félix García is a prominent professor at the University of Castilla-La Mancha in Ciudad Real, Spain, with extensive contributions to software engineering, sustainable computing, and business process management. His research spans over two decades with 187 publications indexed in dblp, demonstrating consistent scholarly productivity and leadership in multiple research areas. Dr. García's research interests focus on critical contemporary challenges in software development, particularly green software engineering, energy efficiency in computing systems, and sustainable software development practices. His work bridges theoretical foundations with practical applications, addressing how software design, implementation, and maintenance impact environmental sustainability. He has pioneered research connecting software quality attributes with energy consumption, examining how design patterns, code smells, and refactoring techniques affect resource usage. His recent publications (2023-2025) reveal a strong focus on cutting-edge topics including Green AI, quantum computing sustainability, and energy-aware programming language design. These works demonstrate his ability to anticipate and address emerging challenges at the intersection of software engineering and environmental sustainability. Dr. García has received significant recognition through numerous collaborations, particularly with Mario Piattini (133 co-authored papers), Francisco Ruiz (63 papers), and María Ángeles Moraga (30 papers), establishing him as a central figure in his research community. His work has appeared in prestigious venues including IEEE Transactions on Software Engineering, Journal of Systems and Software, and ACM Computing Surveys. He has mentored numerous researchers who have become established scholars in their own right, including Javier Mancebo, Laura Sánchez-González, and César Jesús Pardo Calvache. His contributions to gamification in software engineering education through serious games like GLOBAL-MANAGER demonstrate his commitment to innovative teaching approaches.

• 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.

Timo Hönigمشاهده پروفایل

استاد

• Operating Systems
• System Software
• Energy-Aware Computing Systems
• +۳ مورد دیگر

Prof. Timo Hönig is a Professor leading the Bochum Operating Systems and System Software (BOSS) Research Group at Ruhr-Universität Bochum (RUB). Previously, he served as an Assistant Professor at Friedrich-Alexander-University Erlangen-Nürnberg (FAU), where he was part of Department of Computer Science 4. His research focuses on Energy-Aware Computing Systems, Operating Systems, and System Software design with applications in embedded and real-time systems. Key research projects include the DFG Collaborative Research Center/TR 89 (Invasive Computing) and the DFG SPP 1914 (Latency- and Resilience-Aware Networking). He has received notable awards such as the SOSP SRC Gold Medal (2019) and the ISORC Best Paper Award (2017). He actively contributes to conferences like ACM EuroSys and USENIX ATC, and has led initiatives like the Albatross runtime system for energy-efficient HPC clusters. Teaching includes courses on Energy-Aware Computing and Operating Systems Technology. His work bridges theoretical system software design with practical applications in energy efficiency and heterogeneous architectures. The BOSS group explores future system software challenges for many-core and NVM-based systems.