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

Alastair Reidمشاهده پروفایل

پژوهشگر

• formal verification
• security
• functional languages
• +۱ مورد دیگر

Alastair Reid is a researcher at Intel (2021–present) focusing on formal instruction set architecture (ISA) specifications and model checking processor pipelines. His career spans roles at Google Research (2019–2021) developing Rust verification tools, Arm Ltd (2004–2019) working on formal ISA specifications and vectorizing compilers, University of Utah (1998–2004) on component-based operating systems, Yale University (1994–1998) contributing to Haskell functional reactive programming, and University of Glasgow (1988–1994) in formal specification and verification. Ph.D. in Defining interfaces between hardware and software: Quality and performance , Glasgow University M.Sc. in A precise semantics for Ultraloose Specifications , Glasgow University B.Sc., University of Strathclyde His research interests include formal verification, security analysis, functional programming languages (particularly Haskell and Rust), and computer architecture. He has contributed to the development of machine-readable ISA specifications for ARM, RISC-V, and Intel architectures, and worked on symbolic execution tools like KLEE for Rust verification. Key publications include work on RISC-V specification improvements (2024), formal methods for persistent programming (2023), PLARCH workshop contributions on ISA specification (2023), and foundational papers on ARM processor verification with ISA-Formal (2016). His technical blog posts cover topics in symbolic execution, SMT solvers, and practical verification challenges. Contributions to conferences include committee roles in PLDI (2024), PriSC (2024), and workshop organization in formal methods and programming language design.

Juliana Alves Pereiraمشاهده پروفایل

استاد

• Software Engineering
• Artificial Intelligence
• Machine Learning
• +۸ مورد دیگر

Juliana Alves Pereira is a Professor at the Computer Science Department of the Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Brazil, where she leads the Artificial Intelligence for Software Engineering lab (AISE) as part of the Software Engineering lab (LES). Her academic journey includes a Ph.D. in Software Engineering with distinction (summa cum laude) from Otto-von-Guericke-Universität Magdeburg (OvGU) in Germany (2018), a Master's degree in Computer Science from the Federal University of Minas Gerais (Brazil), and postdoctoral research at the University of Rennes, Inria/IRISA (France). Her research focuses at the intersection of software engineering and artificial intelligence, particularly in automating software engineering through software analysis, machine learning, recommender systems, and meta-heuristic optimization. Dr. Pereira's work explores applications of Machine Learning, Explainability, Transfer Learning, Generative AI, Deep Learning, Natural Language Processing, and Recommender Systems in software quality and human aspects contexts. Her publications demonstrate a consistent focus on empirical software engineering, with significant contributions in code quality analysis, pull request characteristics, exception handling, and performance prediction in configurable systems. Her research shows increasing integration of advanced AI techniques with traditional software engineering practices. Best Dissertation Prize from the School of Computer Science in 2018 (Germany) Dissertationspreis award from OvGU (2018) ACM Best Paper Award from SPLC 2021 ACM Best Paper Award from ICPE 2020 CBSoft Most Influential Paper Award from Brazilian Computer Society (SBC) Dr. Pereira actively supervises master's and doctoral research in the Software Engineering concentration area at PUC-Rio. She has served on Program and Organizing Committees for major international conferences including ICSE, ASE, SANER, MSR, and ICSME. Her laboratory collaborations span national and international research groups, reflecting her significant impact in the software engineering community.

Philippe Bonnetمشاهده پروفایل

استاد

• Database Systems
• Storage Systems
• High Performance Computing
• +۶ مورد دیگر

Philippe Bonnet is a Professor at the Department of Computer Science (DIKU) at the University of Copenhagen since 2023, where he is affiliated with the Programming Languages and Theory of Computation section. Previously, he served as a Professor at the IT University of Copenhagen from 2009 to 2023 and as an Associate Professor at DIKU from 2001 to 2009. His academic journey began with a PhD from Universite Savoie Grenoble, France in 1999. Education: PhD from Universite Savoie Grenoble, France (1999) Philippe Bonnet is an experimental computer scientist with expertise in database systems and storage system software. His research focuses on the intersection of database systems and storage technologies, with significant contributions to the uFlip Benchmark, Linux multiqueue block layer, Linux framework for Open-Channel SSDs, OX architecture for computational storage, xNVMe library, and Delilah prototype for eBPF offload. His work spans database tuning, sensor networks (Cougar project at Cornell, Hogthrob and Mana projects at U.Copenhagen), and edge-based AI for predictive maintenance through the DAPHNE Project. His technical contributions bridge theoretical computer science with practical systems development. His recent publications demonstrate a strong trend toward integrating database systems with advanced storage technologies, particularly focusing on computational storage, CXL integration, and reliability mechanisms between databases and SSDs. His work bridges computer architecture, operating systems, and database systems to create more efficient data processing infrastructures, with increasing emphasis on edge-based applications and reproducibility in computer science research. Scientific Awards: ACM SIGMOD Contribution Award (2020) Professor Bonnet has served in numerous editorial and committee roles, including as Editor of Big Data Research Journal since 2021, Member of the VLDB Endowment (2020-2025), Member of ACM EIGREP, and long-standing involvement with ACM conferences. His work on the DAPHNE Project focuses on creating an open and extensible system infrastructure for integrated data analysis pipelines, particularly for edge-based AI applications in predictive maintenance. He co-authored a book on database tuning with Dennis Shasha and has been instrumental in advancing storage system software through multiple high-impact projects and collaborations.

• Operating Systems
• Distributed Systems
• Reliable Systems
• +۴ مورد دیگر

Christian Dietrich is a Professor for Reliable Distributed Systems at Technical University of Braunschweig since 2024, where he heads the Reliable System Software research group within the Institute of Operating Systems and Computer Networks, part of the Faculty of Electrical Engineering, Information Technology, and Physics. He previously held positions at Leibniz Universität Hannover where he completed his distinguished doctoral research. Professor Dietrich's research focuses on operating systems, distributed systems, and reliable systems with particular expertise in memory management, real-time systems, and embedded systems. His work spans both theoretical foundations and practical implementations, with significant contributions to system software reliability and efficiency. His research interests include operating system design, memory management techniques, real-time computing, embedded systems, fault tolerance, and compiler optimizations for system software. Dietrich's recent publications demonstrate a strong focus on memory management innovations (particularly for persistent memory), virtualization techniques, and reliability mechanisms for distributed systems. His work frequently bridges the gap between theoretical computer science and practical system implementation, with many contributions finding their way into production systems. The research shows increasing emphasis on hardware-software co-design and adapting operating systems to modern hardware capabilities. His scientific achievements have been recognized with numerous prestigious awards: USENIX ATC Distinguished Artifact Award (2023) for LLFree USENIX ATC Best Paper Award (2017) for cHash RTAS Best Paper Award (2015) for dOSEK Multiple Outstanding Paper Awards at ECRTS, OSPERT, and ISORC Wissenschaftspreis Hannover (2020, awarded in 2024) Professor Dietrich has secured significant research funding including multiple DFG projects (DI 2840/1-1, DI 2840/2-1) and has been involved in collaborative projects with industry partners. His teaching portfolio includes advanced courses on operating systems, programming languages, and compilers, for which he received teaching excellence awards. He leads an active research group focused on reliable system software with ongoing projects including ParPerOS (Parallel Persistency OS) and ATLAS (Adaptable Thread-Level Address Spaces). The Reliable System Software group maintains strong connections with both academic and industrial partners, contributing to open-source projects and collaborating on cutting-edge research in system software reliability. The group's work has practical impact, with some findings leading to more than 100 accepted patches in the Linux mainline kernel.

Daniel Lohmannمشاهده پروفایل

استاد

• Operating Systems
• Embedded Systems
• Real-Time Systems
• +۴ مورد دیگر

Professor Daniel Lohmann leads the Systems Research and Architecture (SRA) group at Leibniz Universität Hannover since 2017, following his role as Associate Professor (Privatdozent) at Friedrich-Alexander-Universität Erlangen-Nürnberg (2009–2016). His work focuses on configurable system software, emphasizing embedded systems, real-time systems, and dependable architectures. Key projects include danceOS (dependability in embedded OS), Sloth (minimal-effort kernels), and AspectC++ (aspect-oriented C++ extension). His research is funded by DFG and addresses challenges in variability management, fault tolerance, and real-time scheduling. Research interests span operating systems design, software product lines, generative programming, and aspect-oriented development. Notable contributions include the CiAO OS family and the Sloth RTOS, leveraging aspect-oriented techniques for flexibility and efficiency. His work on configuration analysis (e.g., static variability in Linux) and fault mitigation (e.g., AN-Codes for soft errors) highlights his expertise in system reliability and optimization. Publications emphasize real-time systems, embedded software, and software engineering, with awards including the Best Paper Award at SPLC 2010 and an Outstanding Paper at RTAS 2017. He supervises theses on system software tailoring, fault tolerance, and industrial software ecosystems. His groups collaborate on invasive computing (SFB/TRR 89) and hardware-aware OS design.

Gabriele Mencagliمشاهده پروفایل

دانشیار

• Parallel Programming
• Parallel Architectures
• Self-* Systems
• +۳ مورد دیگر

Dr. Gabriele Mencagli is an Associate Professor in the Department of Computer Science at the University of Pisa, Italy. He holds a Ph.D. in Computer Science (2012) and has served as an Assistant Professor (2014–2018) and Tenure-Track Professor (2018–2021) before his current position. His research focuses on parallel systems, including architectures, programming models, and runtime systems for data stream processing. He leads work on the WindFlow stream processing library and has contributed to projects like TEXTAROSSA, ADMIRE, and EUPEX. He co-organized major conferences like HPDC 2024 and DEBS 2025 and serves on editorial boards for journals like Future Generation Computer Systems and Cluster Computing. Education: B.Sc. (2006, summa cum laude), M.Sc. (2008, summa cum laude), Ph.D. (2012) in Computer Science, all from the University of Pisa. Research Interests: Parallel programming, self-adaptive systems, data stream processing, GPU/FPGA acceleration, and high-performance computing. Over 80 publications in top journals and conferences, including IEEE TPDS, JPDC, and Euro-Par. Awards include Italian Habilitation as Full Professor (2025). Teaching: Courses on High-Performance Computing and Computer Architecture, including CUDA programming and parallel design patterns. Active in curriculum development for both bachelor’s and master’s programs. Grants & Projects: Principal investigator in EU-funded projects (e.g., TEXTAROSSA, NOUS) and collaborations with industry (e.g., List-group S.p.A., Autodesk). Focus on exascale computing, digital twins, and edge computing.

• Computer Engineering
• Multimedia Security
• Embedded Systems
• +۴ مورد دیگر

Cem Taşkın is an Assistant Professor at the Department of Computer Engineering, Trakya University, and has served as Department Head since January 2023. Previously, he was Assistant Professor at Tunca Vocational School (2011-2014) and held administrative roles as School Director (2013-2017) and Deputy Director (2012-2013). He earned his PhD in Computer Engineering from Trakya University in 2010. High School: Kırklareli Anatolian High School (1999) Bachelor's: Trakya University, Computer Engineering (2003) Master's: Trakya University, Computer Engineering (2006) PhD: Trakya University, Computer Engineering (2010) His research focuses on Computer Engineering , Multimedia Security , and Embedded Systems , with a strong emphasis on encryption techniques for MPEG video streams and mobile/web application development. Recent work includes applying interactive mobile applications for pediatric chemotherapy treatment (2022) and optimizing embedded systems as dashboards (2016). Publication trends reveal expertise in video encryption (I-frames, byte alignment, XOR operations), chaotic algorithms for sound data security, and software development for educational and administrative systems. His work bridges theoretical cryptography with practical implementations in multimedia and embedded environments. Supervised Master's Theses: Altuğ Yiğit - Human Insight in Business Processes with Deep Learning Temel Yavuz - Corporate Content-Information Management Systems Murat Emre Yücel - Text Classification with Active Learning Projects: Led initiatives at Trakya University on mobile application development laboratories (2016), campus automation systems (2016), and MPEG audio querying (2008). Participated in KOSGEB's R&D Innovation Project for Dream Cash Register/Barkot Systems (2012).

Xueyuan Michael Han-Vanbastelaerمشاهده پروفایل

استادیار

• Systems Security
• Privacy
• Data Provenance
• +۲ مورد دیگر

Xueyuan Michael Han-Vanbastelaer is an Assistant Professor in the Department of Computer Science at Wake Forest University , focusing on systems-level security and privacy research. His work integrates data provenance, machine learning, and distributed systems to develop robust security mechanisms. Ph.D. in Computer Science (2022) from Harvard University Master of Science in Computer Science (2022) from Harvard University B.Sc. in Computer Science (2015) from University of California, Los Angeles His research interests span systems security , privacy , data provenance , and graph analysis , where he develops operating system infrastructures, language-level frameworks, and algorithms to enhance system transparency and detect sophisticated attacks. His publications reveal a trend of advancing provenance-based security solutions, including intrusion detection systems like KAIROS and Unicorn, eBPF security frameworks like SafeBPF, and data deletion techniques like Splice. He has contributed to 15 major publications since 2016, with recent work (2024–2025) focusing on hardware-assisted kernel security and real-time provenance auditing. His teaching includes courses like CSC 111: Introduction to Computer Science and CSC 250: Computer Systems I , covering programming fundamentals, system architecture, and memory management.

Luigi De Simoneمشاهده پروفایل

استادیار

• Dependability
• Fault Injection Testing
• Operating Systems Reliability
• +۷ مورد دیگر

Luigi De Simone is an Assistant Professor (non-tenure track) in the Department of Information Technology and Electrical Engineering at the University of Naples Federico II. He is a member of the DESSERT (Dependable and Secure Software Engineering and Real-Time Systems) research group and collaborates with the CINI laboratory (Consorzio Interuniversitario Nazionale per l'Informatica). His academic journey at Federico II University spans from undergraduate studies through his PhD and into his current faculty position. His educational background includes: M.Eng. (2013): Master of Engineering in Computer Engineering (cum laude), University of Naples Federico II B.Eng. (2009): Bachelor of Engineering in Computer Engineering, University of Naples Federico II Luigi De Simone's research focuses on the dependability of computing systems, with particular emphasis on fault injection testing methodologies for operating systems and cloud environments. His work bridges theoretical foundations with practical applications in virtualization technologies, exploring how these technologies can enhance system reliability while addressing the challenges of mixed-criticality environments. He investigates the intersection of cloud computing, virtualization, and system dependability, with applications spanning from industrial systems to telecommunications infrastructure. His research often involves developing novel testing frameworks and analytical models to assess system behavior under fault conditions. His recent publications demonstrate a consistent focus on virtualization technologies and their application in critical systems. There's a clear trajectory from foundational work on fault injection in cloud systems to more specialized applications in 5G networks, railway systems, and Industry 4.0 environments. His research increasingly incorporates machine learning techniques for failure prediction and analysis, showing adaptation to emerging methodologies in the field. The work spans both theoretical modeling (queueing theory, performability analysis) and practical implementation (tools like ThorFI and IRIS). His notable scientific achievements include: Reusable and Available Badge (2019) for paper at ESEC/FSE PhD Thesis Award from Associazione GUFPI-ISMA (2019) Best Paper Award at NetSoft 2015 Best Student Presentation Award at ISSRE 2014 PhD fellowship from University of Naples Federico II (2014) As an educator, De Simone has taught a range of courses from fundamental computer science to advanced specialized topics, with a particular focus on virtualization technologies and advanced programming. His teaching reflects his research interests, creating a synergy between his scholarly work and educational contributions. He has been involved in numerous research grants related to dependable systems, cloud computing, and virtualization technologies, contributing to both national and international research projects. He is actively involved with the DESSERT research group, which focuses on dependable and secure software engineering and real-time systems. His work with the CINI laboratory extends his research impact into national collaborative efforts in computer science. These affiliations provide the infrastructure for his experimental work on virtualized systems and fault injection methodologies.

• Microarchitectural Side-Channel Attacks
• System Security
• CPU Security
• +۶ مورد دیگر

Dr. Michael Schwarz is a tenured faculty member at the CISPA Helmholtz Center for Information Security in Saarbrücken, Germany, where he leads the RootSec research group. Since 2020 he has been investigating microarchitectural side-channel attacks, system security, CPU security, transient-execution vulnerabilities, and corresponding defense mechanisms. He previously served as a post-doctoral researcher (2019–2020) and PhD student (2016–2019) at Graz University of Technology, after earning two master’s degrees in computer science and software engineering with a security focus. Education PhD, Graz University of Technology, 2019 — “Software-based Side-Channel Attacks and Defenses in Restricted Environments” (Advisor: Daniel Gruss) MSc, Computer Science, Graz University of Technology MSc, Software Engineering, Graz University of Technology Research Interests Dr. Schwarz’s work centers on microarchitectural side-channel attacks and system security , spanning: CPU security and transient-execution vulnerabilities (Meltdown, Spectre, Fallout, LVI, ZombieLoad, ÆPIC Leak, CacheWarp) Detection, mitigation, and formal guarantees against microarchitectural leakage Hardware–software co-design for secure operating systems and trusted execution environments Reverse engineering of CPU internals, cache architectures, and prefetchers Browser and web-platform security, including sandbox bypasses and fingerprinting Compiler security and constant-time programming enforcement Scientific Awards & Recognition 2022 Busy Beaver Award for “Foundations of Cybersecurity II” 2021 Busy Beaver Award for “Side-Channel Attacks and Defenses” 2020 EuroSys Roger Needham PhD Award 2019 IEEE S&P Distinguished Paper Award (Spectre) 2019 NSA Best Scientific Cybersecurity Paper Competition Honorable Mention (Meltdown) 2019 Open Exploit Award (Meltdown & Spectre) 2018 CSAW Best Paper Award (Meltdown) 2018 Pwnie Awards: Best Privilege Escalation Bug & Most Innovative Research 2023 USENIX Security Noteworthy Reviewer Award 2023 WOOT Best Paper Award (CustomProcessingUnit) 2022 Pwnie Award for Best Desktop Bug (ÆPIC) 2022 AI 2000 Security & Privacy Honorable Mention 2021 CCSW Best Paper Award & CSAW Best Paper 3rd Place Advising & Collaborations Dr. Schwarz currently mentors numerous PhD students and post-docs within the RootSec group. His collaborations extend across CISPA, Graz University of Technology, and an international network visible through extensive multi-author publications at top-tier venues including USENIX Security, IEEE S&P, ACM CCS, NDSS, ESORICS, DIMVA, ASPLOS, WWW, FC, and specialized microarchitecture security conferences. Labs & Teams He heads the RootSec Research Group at CISPA, whose core mission is to uncover, analyze, and mitigate microarchitectural and system-level security threats. The group maintains close links with industry partners, open-source communities, and policy makers to ensure that research findings are rapidly translated into practical defenses deployed in modern operating systems and processors.

• Microarchitectural Attacks
• Side-Channel Attacks
• System Security
• +۳ مورد دیگر

Dr. Michael Schwarz is a tenured professor at CISPA Helmholtz Center for Information Security in Saarbrücken, Germany. His research focuses on microarchitectural side-channel attacks and system security , with notable contributions to vulnerabilities like Meltdown , Spectre , and ZombieLoad . He leads the RootSec Research Group and is a regular speaker at top-tier conferences including Black Hat and IEEE S&P. PhD in Computer Science from Graz University of Technology (2019) Two master’s degrees in Computer Science and Software Engineering His work spans CPU security , transient execution attacks , and side-channel defenses , with 15 recent publications on topics like cache timing analysis, browser sandbox breaches, and compiler-induced vulnerabilities. Awards include multiple Busy Beaver Awards , Pwnie Awards , and recognition for foundational papers like Meltdown . Collaborated with Daniel Gruss (PhD advisor) Advises on hardware-software security interactions Publications reveal a trend toward microarchitectural attack surfaces and practical exploitation frameworks , often leveraging hardware features (e.g., CPU caches, prefetchers) for security analysis. He has also contributed to secure memory allocation and browser-based fingerprinting research.

Fabio Patriarcaمشاهده پروفایل

پژوهشگر

• Mobility Management in IP Networks
• Kernel Programming
• Business Development
• +۳ مورد دیگر

Fabio Patriarca is a CNIT Researcher/Postdoc affiliated with the University of Rome Tor Vergata's Netgroup Lab. He holds a Ph.D. in Telecommunications and Microelectronics Engineering, focusing on Mobility Management in IP networks. His research spans kernel programming, business development strategies, and project management in technical contexts. His academic background includes a doctoral dissertation on mobility management solutions for IP networks, with publications demonstrating expertise in network performance measurement and interface selection in heterogeneous wireless environments. He has contributed to peer-reviewed journals like IEEE Transactions on Mobile Computing and presented at conferences such as MobiWac’12 and PE-WASUN’12. Currently based in Room C2-12, his work integrates technical innovation with business administration principles. Collaborations involve projects related to telecommunications infrastructure and mobile computing solutions.

Stefano Salsanoمشاهده پروفایل

استادیار

• Networking
• Telecommunications
• 5G Networks
• +۷ مورد دیگر

Stefano Salsano is an Assistant Professor at the Department of Electronic Engineering at the University of Rome Tor Vergata since 2000. He holds a Laurea degree (1994) and PhD (1998) from the University of Rome. His research focuses on advanced networking technologies including Information-Centric Networking, SDN, Segment Routing (SRv6), 5G, and Network Function Virtualization (NFV). He has contributed to numerous EU-funded projects (e.g., INSIGNIA, ELISA, AQUILA) and led research in telecommunications at CoRiTeL until 2000. His work emphasizes scalable network architectures, performance measurement, and programmable data planes. Key projects include the OFELIA testbed, SRv6 implementation, and contributions to standards like RFC 9779. He has authored over 100 publications with an h-index of 17, addressing topics such as network programmability, cloud-native solutions, and hybrid SDN/IP systems. Research highlights include developing the DIDA framework for distributed machine learning, optimizing SRv6 for SD-WANs, and exploring 5G Superfluid Networks for dynamic service deployment. Collaborations include CNIT, Netgroup, and initiatives like the GEANT SDX project.

William Jannenمشاهده پروفایل

دانشیار

• File Systems
• Storage Systems
• Write-Optimized Data Structures
• +۷ مورد دیگر

William Jannen is an Associate Professor in the Department of Computer Science at Williams College. His research focuses on file systems and storage , with an emphasis on write-optimized data structures and storage stack improvements . He is a key contributor to the development of BetrFS , a Linux file system built using Bε-trees. Education: Ph.D. in Computer Science from Stony Brook University (2017) B.A. in Computer Science from Williams College (2009) Research Interests: Design and analysis of write-optimized file systems Block layer translation for shingled magnetic recording drives Application layer query models for read optimization RNA secondary structure prediction (past work) Key Projects: BetrFS: A write-optimized Linux file system OSCAR Lab (now at UNC Chapel Hill): Library operating system virtualization RNA visualization tools: RNAbows, Bindigo, Nestor Teaching: Courses include Introduction to Computer Science (CSCI 134), Algorithm Design (CSCI 256), and Storage Systems (CSCI 333). He has also taught advanced courses like Game Analysis & Aesthetics (CSCI 498).

Michalis Famelisمشاهده پروفایل

استادیار

• Software analysis
• Software design
• Empirical software engineering
• +۳ مورد دیگر

Michalis Famelis is an Assistant Professor at the Department of Computer Science and Operations Research , affiliated with the Faculty of Arts and Sciences at Université de Montréal . He leads research in the GEODES Software Engineering Research Group , focusing on formal yet practical methods for software development. His work integrates formal verification, model-driven engineering, and empirical methods to address challenges in software design and uncertainty management. Educated at the University of Toronto (PhD 2016, MSc 2010) and the National Technical University of Athens (DiplEng 2008), he completed a postdoctoral fellowship at the University of British Columbia . He teaches courses such as IFT1025 Programming 2 and IFT6755 Software Analysis . His research projects include a Wellcome Trust-funded platform for climate-sensitive disease modeling and CRSNG grants for formal software design support. He has supervised 6 master’s students, focusing on topics like design uncertainty, API usage verification, and software product lines. Notable collaborations involve Climate-Sensitive Infectious Disease Modelling and Formal Support for Software Design . His work emphasizes improving developer workflows through tool development and empirical studies.