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

• Software Security
• Systems Security
• Smart Contract Security
• +۵ مورد دیگر

Lucas Vincenzo Davi is a Professor of Computer Science at the University of Duisburg-Essen and Director of the paluno - the Ruhr Institute for Software Technology . He leads the SYSSEC research group and is a Principal Investigator (PI) in the SFB CROSSING and CASA excellence cluster. His work focuses on practical software and systems security, including memory corruption vulnerabilities, exploit mitigation, and blockchain smart contract security. Davi holds an ERC Starting Grant for Smart Contract Security research. Education: PhD in IT Security, TU Darmstadt (2011–2015), Dissertation: "Code-Reuse Attacks and Defenses" Master of Science in IT Security, Ruhr-Universität Bochum (2007–2009) Diplom (FH) in Business Informatics, FOM Neuss (2003–2007) Research: Davi's work emphasizes real-world security challenges like runtime attacks, trusted execution environments (TEE), and secure embedded systems. His contributions include Wemby (WebAssembly security analysis), HCC (smart contract hardening), and rowhammer mitigations like CATT. His research has influenced industry practices, e.g., Microsoft EMET v5.1 improvements. Awards: Best Teacher Award (2025) Finalist German IT Security Prize (2022, 2020) ACM SIGSAC Dissertation Award (2016) CAST Förderpreis (2010) Grants & Leadership: ERC Starting Grant (Smart Contracts), SFB CROSSING PI, CASA Cluster PI, and leadership in interdisciplinary initiatives like Nano Security (DFG Priority Program). Labs/Teams: Director of paluno, SYSSEC group leader, and collaborator in projects like HERA (hotpatching for embedded systems) and DMA’n’Play (DMA-based attestation).

Sabine Trepteمشاهده پروفایل

استاد

• Media Psychology
• Privacy in Social Media
• Political Knowledge Acquisition
• +۳ مورد دیگر

Prof. Dr. Sabine Trepte is a full professor of Media Psychology at the University of Hohenheim since 2013, previously holding positions at the Hamburg Media School (2006-2012) and the University of Hamburg. She earned her doctorate from Hannover University in 2001 and conducted post-doctoral research at the University of Southern California. Her research focuses on privacy dynamics in social media, political media literacy, and social identity processes. She has served as Co-Editor for Media Psychology and Associate Editor for Journal of Computer-Mediated Communication , and currently sits on editorial boards of leading journals. Key research areas include privacy self-disclosure, online microtargeting, and the psychological impacts of digital communication. Awards include the ICA Best Paper and Dissertation Awards. Her work has been featured in outlets like New York Times , Süddeutsche Zeitung , and Deutsche Welle . Current projects examine privacy in microtargeting and gender citation diversity. She advises doctoral candidates and collaborates on grants from DFG and BMBF. Education: Diploma in Psychology (Cologne, 1997), PhD (Hannover, 2001) Editorial Roles: Journal of Media Psychology , Journal of Communication , Media Psychology Key Projects: 'Privacy & Microtargeting' (DFG), 'Citation Diversity' (BMBF) Her research methodologies bridge experimental and longitudinal designs, with a focus on validating scales like the Online Privacy Literacy Scale (OPLIS). She emphasizes open science practices and has contributed to privacy policy debates in Germany and internationally.

• High-Performance Computing
• Parallel Programming
• Compiler Optimization
• +۳ مورد دیگر

Richard Schulze is a Researcher at the University of Münster, contributing to projects such as SkelCL, PACXX, and dOpenCL. His work focuses on parallel computing, compiler optimization, and auto-tuning frameworks for high-performance and distributed systems. He explores portable code generation for heterogeneous architectures using Multi-Dimensional Homomorphisms (MDH) and develops abstractions for OpenCL/CUDA programming. His research interests include advancing scheduling languages and systematic composition models, alongside probabilistic data linkage techniques. Recent publications emphasize auto-tuning methodologies for Python and interdependent parallel program parameters. Publications since 2018 highlight contributions to portable compiler design, performance optimization, and cross-platform parallelism. No scientific awards are explicitly mentioned. Consultation hours are by appointment, and he is affiliated with the university's computer science research groups.

Rainer Höckmannمشاهده پروفایل

پژوهشگر

• Digital Technology
• Microprocessor Systems
• FPGA Accelerators
• +۴ مورد دیگر

Rainer Höckmann is a Researcher at the Laboratory for Digital and Microprocessor Technology , part of the Faculty of Engineering and Computer Science at Osnabrück University of Applied Sciences . Since 2008, he has focused on digital systems, FPGA accelerators, and wireless network concepts. Education: Diplom-Ingenieur (FH) in Computer Science (2006) Research interests include: Digital and microprocessor technology FPGA-based hardware acceleration Embedded microcomputing systems Compiler construction and sensor technology Wireless network relaying strategies Quality-of-service mechanisms in telecom networks His publication trends show expertise in: Cooperative relaying topologies Multimedia broadcasting enhancements Portable FPGA design frameworks Next-gen network concepts Teaching activities include: Bildgebende Sensortechnik Compilerbau Digitaltechnik Embedded Systems Hardware/Software Co-Design Rechnerarchitektur Professional projects : HPVis visual data project (2012-2014) C-MOBILE (mobile multicast/broadcast) C-CAST (context-dependent data transport)

• Answer Set Programming
• Logic Programming
• Artificial Intelligence
• +۵ مورد دیگر

Carmine Dodaro is an active researcher in Answer Set Programming (ASP) at the University of Calabria's Department of Mathematics and Computer Science. With over 130 publications from 2011-2025, his work bridges theoretical advances in logic programming with practical healthcare applications. His primary research interests include: Answer Set Programming theory and implementation Compiler techniques for ASP solvers Healthcare scheduling optimization (operating rooms, nurse staffing, chemotherapy) Integration of ASP with other AI paradigms Real-world constraint satisfaction problems Dodaro's recent work demonstrates exceptional focus on healthcare applications of ASP, with multiple 2023-2024 publications addressing nurse scheduling, operating room management, rehabilitation planning, and nuclear medicine scheduling. His approach typically involves developing specialized ASP encodings that handle complex real-world constraints while maintaining computational efficiency. He maintains a highly productive collaboration network, particularly with Marco Maratea (52 co-authored papers), Mario Alviano (40), and Giuseppe Galatà (23), forming one of Italy's leading ASP research groups. His publications appear consistently in top venues including Theory and Practice of Logic Programming, IJCAI, AAAI, and specialized logic programming conferences. Dodaro has contributed significantly to both theoretical foundations (unsatisfiable core analysis, paracoherent reasoning) and practical implementations (WASP solver extensions, CNL2ASP translation tools). His 2024-2025 publications indicate ongoing research momentum with no signs of reduced activity.

• Software Engineering
• Machine Learning Systems Engineering
• Software Design Patterns
• +۱۴ مورد دیگر

Hironori Washizaki is a Professor in the Department of Computer Science and Engineering at Waseda University, Japan. He is a leading researcher in software engineering with a focus on software design patterns, machine learning systems, cybersecurity, and software quality. His primary research interests include: Software Engineering Machine Learning Systems Engineering Software Design Patterns AI and ML Security Requirements Engineering for AI Systems Natural Language Processing for Software Engineering Software Quality and Reliability Empirical Software Engineering His recent publications (2023–2025) reveal a strong trend toward integrating AI and machine learning into software engineering practices. Key themes include prompt engineering patterns in software development, automated log anomaly detection, vulnerability analysis using NLP techniques, modeling frameworks for ML systems, and gender studies in software engineering. His work combines theoretical modeling with empirical validation and practical application. Notable scientific contributions and activities include: Guest editorial for IEEE Transactions on Emerging Topics in Computing on software aging and rejuvenation Organizing and contributing to workshops on SQuaRE, gender in software engineering, and ML systems engineering Leadership roles in IEEE Computer Society Extensive collaboration with researchers at Waseda and internationally He advises students and leads research on topics such as automated program repair, data-driven personas, bug fixing time analysis, and educational tools for programming. His work often involves interdisciplinary collaboration across software engineering, AI, and cybersecurity domains. He is involved in several research labs and teams focused on software engineering innovation, including groups working on: Software patterns and architecture AI/ML engineering Security and privacy in cloud and IoT Empirical studies in software development Educational technology and programming pedagogy

Matthias Tichyمشاهده پروفایل

استاد

• Domain Specific Languages
• Model-Driven Software Engineering
• Self-Adaptive Systems
• +۴ مورد دیگر

Prof. Dr. Matthias Tichy is a Full Professor and head of the Institute of Software Engineering and Programming Languages at Ulm University, Germany, since 2015. His research focuses on domain-specific languages (DSLs), model-driven engineering (MDE), self-adaptive software , and cyber-physical systems , with an emphasis on safety-critical applications and graph transformation formalisms. He employs empirical research methods to evaluate technical contributions and human factors in software engineering. University: Ulm University Role: Professor & Institute Head Research Interests span domain-specific languages for mechatronic systems, collaborative modeling , performance prediction in model transformations, and software evolution in industrial contexts. His work often bridges graph transformations and safety assurance for self-adaptive systems. Recent Publications highlight trends in model versioning (e.g., operation-based caching), DSL design (e.g., flowR for R code analysis), and automotive software testing (e.g., clustering test case specifications). He frequently collaborates with international institutions on topics like cyber-physical systems and IoT resilience . Key Collaborations include projects with Chalmers University, University of Gothenburg, and industrial partners like dSPACE GmbH. His grants and industry partnerships focus on automotive software , robotics , and self-healing systems .

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

دانشیار

• Static Program Analysis
• Quantum Software Compilation
• Reliability Engineering
• +۱ مورد دیگر

Dr. Thomas Noll is an Associate Professor at the Department of Computer Science, RWTH Aachen University. He is a member of the Software Modeling and Verification Group (MOVES) led by Prof. Joost-Pieter Katoen. Research Interests Static Program Analysis for Software Optimization and Verification Compilation of Quantum Software Reliability, Safety, and Security of Hardware/Software Systems Formal Verification of Artificial Neural Networks He has supervised over 30 bachelor's and master's theses at RWTH Aachen University from 2002 to 2024, including topics on probabilistic model checking, neural network verification, and program analysis. His administrative roles include Examination Board membership for Computer Science (since 2012), QVM funds management (since 2024), and student advising across multiple disciplines. He has participated in over 40 program committees and organized 8 conferences/workshops since 2004, focusing on formal verification and software engineering applications.

• Automated Reasoning
• Theorem Proving
• Artificial Intelligence
• +۳ مورد دیگر

Stephan Schulz is a Professor at the Baden-Wuerttemberg Cooperative State University Stuttgart (DHBW Stuttgart) in the Faculty of Engineering, where he serves as the Program Director for Computer Science. His office is located in room B 3.14 at Lerchenstraße 1, 70174 Stuttgart, Germany. Professor Schulz is a leading researcher in automated reasoning and theorem proving, with extensive experience teaching computer science courses including Formal Languages and Automata, Logic and Foundations of Computer Science, Compiler Construction, and Algorithms. Professor Schulz's primary research interest lies in automated reasoning, specifically developing efficient algorithms and intelligent search control for automatic theorem proving. His long-term goal is integrating high-performance inference mechanisms with machine learning techniques to create robust reasoning systems across diverse domains. He is the principal developer of the E Theorem Prover, a high-performance system for full first-order logic with equality that has performed exceptionally well in international competitions like CASC. His recent publications demonstrate a clear trend toward extending theorem proving capabilities to higher-order logic while maintaining performance. Schulz has made significant contributions to practical aspects of automated reasoning, including watchlist implementations, contradiction detection in large theories, and the integration of machine learning techniques to improve search heuristics in theorem provers. Professor Schulz has received multiple prizes for his work on the E Theorem Prover, though specific award names are not detailed in the available information. His contributions to the field have been recognized through leadership roles in major conferences. Professor Schulz actively mentors students through project work (Studienarbeiten) at DHBW Stuttgart and has taught numerous courses throughout his career at institutions including the University of Miami, Mona Institute of Applied Sciences, Universität Hildesheim, and INRIA/MPI. While specific grant information isn't provided, his sustained development of the E Theorem Prover suggests ongoing research support. Professor Schulz is significantly involved with several workshop and conference series including the International Workshop on the Implementation of Logics (IWIL), Practical Aspects of Automated Reasoning (PAAR), and Artificial Intelligence and Theorem Proving (AITP). His current roles include PC co-chair for the 15th IWIL (2024) and 9th AITP (2024), and PC member for multiple other conferences including the 25th LPAR (2024) and 12th IJCAR (2024).

• Computer Architecture
• High-Performance Computing (HPC)
• Internet of Things (IoT)
• +۷ مورد دیگر

Vincent Bode is a researcher and teaching assistant at the Chair of Computer Architecture and Parallel Systems at the Technical University of Munich (TUM) . His work focuses on benchmarking and optimizing Data Distribution Service (DDS) middleware for Industrial IoT applications, particularly through the DDS-Perf project in collaboration with Siemens .

• Quantum Computing
• Quantum Foundations
• Diagrammatic Reasoning
• +۳ مورد دیگر

John van de Wetering is an Assistant Professor at the Theoretical Computer Science group of the Informatics Institute at the University of Amsterdam . He works with the QuSoft research center and co-develops the PyZX open-source quantum compiler. His research spans quantum computation, diagrammatic reasoning, and quantum foundations. Education: PhD in Computer Science (2022, Radboud University) Research: Focuses on ZX-calculus for quantum circuit optimization, verification, and simulation. Explores quantum foundations through algebraic and compositional methods. Recent work includes quantum circuit optimization with AlphaTensor, completeness proofs for ZH-calculus, and scalable spider nets for transversal non-Clifford gates. He directs the new Master's program in Quantum Computer Science at UvA and co-authored the book Picturing Quantum Software . Notable collaborations include PyZX development and EU Gender Equality Working Group participation. Supervision includes current PhD students Lia Yeh (Oxford), Sarah Li (UvA), and Marc Farreras (Leiden). Former students include Boldizsár Poór (Quantinuum), Julien Codsi (Princeton), and Yanbin Chen (TUM). Tools & Outreach: Maintains the ZX-calculus Wikipedia page, co-lectured courses like Quantum Processes and Computation , and develops the ZX-calculus educational website. Organized QPL2026 conference and contributed to open-access journal Quantum .

Frank Leymannمشاهده پروفایل

استاد

• Quantum Computing
• Cloud Computing
• Service-Oriented Architecture
• +۷ مورد دیگر

Frank Leymann is a Professor at the Institute for Architecture of Application Systems, University of Stuttgart. His research spans quantum computing, cloud systems, middleware, and business process management. Affiliation: University of Stuttgart, Institute for Architecture of Application Systems Key Projects: PlanQK, EniQmA, OpenTOSCA, SeQuenC Academic Recognition: Over 30 years of publications in service computing and quantum technologies Research Interests: His work focuses on quantum software engineering , hybrid quantum-classical systems , and cloud application architectures . Notable contributions include TOSCA standardization for cloud deployment and systematic studies on quantum optimization. Recent Publications: 2025-2024 articles emphasize quantum algorithm expressivity , cross-chain blockchain transactions , and post-quantum security . Earlier works (2023-2021) address quantum workflow provenance , QAOA optimization , and IoT platform architectures . Technical Leadership: Director of a multidisciplinary team developing frameworks like OpenTOSCA and tools for quantum application deployment.

Paolo G. Giarrussoمشاهده پروفایل

پژوهشگر

• Programming Language Theory
• Domain-Specific Languages
• Distributed Systems
• +۵ مورد دیگر

Paolo G. Giarrusso is a researcher at the Institute for Programming Languages and Software Engineering within the Faculty of Informatics at the University of Tübingen . Previously, he was a Ph.D. student at the University of Marburg , where he defended his thesis Optimizing and Incrementalizing Collection Queries by AST Transformation in January 2018.

• Database Systems
• In-Database Machine Learning
• GPU Acceleration for Databases
• +۳ مورد دیگر

Maximilian Schüle serves as Assistant Professor in the Department of Data Engineering at the University of Bamberg's Faculty of Information Systems and Applied Computer Sciences since October 2022. Previously, he held research positions at Technical University of Munich (2017-2022). His research bridges database systems and machine learning through compiler-based approaches. His research focuses on in-database machine learning , GPU-accelerated query processing , and recursive SQL extensions . Key contributions include: Developing MLIR-based compilers for automatic differentiation in SQL (DuoLingo-AutoDiff) Creating GPU code generators for database kernels using NVRTC Designing higher-order lambda functions for expressive query languages Implementing end-to-end neural network training within database engines His recent publications (2023-2025) demonstrate consistent output in top venues including ICDE, VLDB workshops, and BTW conferences, with growing emphasis on hardware-aware optimization and compiler techniques for analytical workloads. He currently leads a DFG-funded project on elastic memory hierarchies for memory-intensive applications (2025-2028), supporting multiple PhD researchers. His supervision emphasizes open-source contributions to database systems like Umbra and practical implementation skills alongside theoretical foundations. As an active member of the database community, he serves as workshop chair for BTW 2025 and regularly reviews for ACM TODS, VLDB Journal, and Information Systems. His work on public transport analytics demonstrates real-world impact through collaborations with urban mobility initiatives in Bamberg.

Myra Cohenمشاهده پروفایل

استاد

• Software Testing
• Configurable Software
• Search-based Software Engineering
• +۳ مورد دیگر

Myra Cohen is a Professor and the Lanh and Oanh Nguyen Chair in Software Engineering in the Department of Computer Science at Iowa State University. Previously, she held the position of Susan J. Rosowski Professor at the University of Nebraska-Lincoln where she was a member of the ESQuaReD software engineering research group. She serves on the ASE Steering Committee and has held leadership roles including general chair of ASE 2015 and program co-chair for ICST 2019 and ESEC/FSE 2020. Dr. Cohen earned her Ph.D. from the University of Auckland, New Zealand, her M.S. from the University of Vermont, and her B.S. from the School of Agriculture and Life Sciences at Cornell University. Her academic journey includes lecturing positions at both the University of Auckland and University of Vermont during her graduate studies. Her research spans several interconnected domains focused on software quality and assurance. A significant portion of her work addresses software testing challenges in highly-configurable systems, where she applies search-based techniques and combinatorial designs to create efficient test suites. More recently, her research has expanded into innovative areas including software testing for biological systems, quantum computing applications, and security testing through genetic improvement techniques. Her work demonstrates a consistent theme of addressing complex verification challenges through creative application of formal methods and automated techniques. Analysis of her recent publications reveals a growing focus on emerging domains including quantum software testing, molecular/biological computing systems, and assurance cases for safety-critical systems. She has increasingly incorporated AI techniques, particularly large language models, into traditional software engineering problems while maintaining her foundational work in configurable systems and metamorphic testing. NSF CAREER award recipient AFOSR Young Investigator Award recipient ACM Distinguished Scientist Recipient of 4 ACM Distinguished Paper awards Dr. Cohen has served as chair and committee member for numerous conferences including ASE, ICSE, ISSTA, ESEC/FSE, and ICST. She has mentored numerous students through the doctoral symposiums and student research competitions at major software engineering conferences. Her research has been supported by significant grants including those from NSF and AFOSR. She leads the LaVA-OPs (Laboratory for Variability-Aware Assurance and Testing of Organic Programs) research group at Iowa State University, which focuses on testing challenges in biological and organic computing systems.