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

Prof. Dr. Timothy Roscoe is a Full Professor in the Department of Computer Science at ETH Zurich. His research focuses on operating systems, networking, and distributed systems. He was inducted as an ACM Fellow in 2014 for contributions to these fields. Previously, he worked at Intel Research Berkeley, UC Berkeley (Adjunct Professor), and Sprint Labs. His work includes foundational contributions to systems like PlanetLab, P2 Declarative Networking, and the Nemesis OS. Roscoe holds a PhD from the University of Cambridge and has led projects in cloud computing, wide-area network measurement, and secure systems design. His current research emphasizes hardware-software co-design, formal verification of systems, and scalable memory architectures. Education: PhD in Computer Science, University of Cambridge (1995) Key Roles: Principal Researcher at Intel Berkeley Lab, Visiting Researcher at National ICT Australia Research Highlights: Contributions to distributed systems (PlanetLab), declarative networking (P2), and secure microkernels (seL4 integration). Current projects address challenges in disaggregated memory systems, coherent interconnects, and trustworthy embedded systems. Awards: ACM Fellow (2014), numerous grants and industry collaborations. Labs/Teams: Systems Group at ETH Zurich, focusing on OS design, hardware architectures, and formal methods.

• Operating Systems
• Networking
• Distributed Systems
• +۳ مورد دیگر

Kaveh Razavi is an Assistant Professor at ETH Zurich in the Department of Information Technology and Electrical Engineering, supervising the Computer Security Group. He is also affiliated with the Department of Computer Science. Research focuses on commodity hardware and operating systems security Teaching: Computer Engineering (BSc 2022–2025), Hardware Security (MSc 2016–2025), Advanced Operating Systems (MSc 2016–2019) Research Interests: Razavi's work bridges computer systems and security, emphasizing microarchitectural vulnerabilities, hardware exploitation, and security verification. His group develops tools for analyzing hardware-software interactions and mitigating memory attacks like Rowhammer. Scientific Awards: Distinguished/Best Paper Awards at IEEE S&P, USENIX Security, MICRO Five Pwnies Awards for innovative research Dutch Veni Grant, ERC Starting Grant Jochen Liedtke Young Researcher Award Golden Owl Teaching Award (2022) ETH Medal, Intel Bounty Reward, BlackHat USA Recognition

• Computer Systems
• Computer Security
• Hardware Security
• +۵ مورد دیگر

Emilio Frazzoli is a Full Professor at ETH Zurich’s Department of Mechanical and Process Engineering. He leads the Institute for Dynamic Systems and Control and the Center for Sustainable Future Mobility, focusing on autonomous systems, robotics, and socio-technical control frameworks. Current affiliations: ETH Zurich (Dynamic Systems and Control, Sustainable Future Mobility) Research: Autonomous mobility-on-demand, game theory for resource allocation, and safety verification in multi-agent systems His work bridges robotics, control theory, and economics, with projects like the open-source AMoDeus simulation framework for autonomous taxis and karma-based resource allocation systems. Recent publications emphasize trustworthy AI, reproducibility in autonomous vehicle control, and human-robot interaction challenges. Notable projects include nuReality (VR-based pedestrian interaction studies) and CARSI II (context-driven vehicle interfaces).

• Autonomous Robotics
• Control Systems
• Game Theory
• +۴ مورد دیگر

Paolo Tonella is a Full Professor and Director of the Software Institute at the Faculty of Informatics, Università della Svizzera italiana (USI) in Lugano, Switzerland. He also holds an Honorary Professorship at University College London (UK) and previously led the Software Engineering group at Fondazione Bruno Kessler (Italy). His research focuses on software testing, analysis, and AI-driven systems. He has authored over 200 peer-reviewed papers and 100 journal articles, with an H-index of 72. He teaches courses in Data and Software Engineering and Informatics, including Information Modeling, Probability & Statistics, and Knowledge Search. Key contributions include foundational work on web application testing (ICSE MIP award), evolutionary testing techniques (eToc/EvoSuite tools), and reverse engineering of object-oriented systems. He led the ERC-funded PRECRIME project on anticipatory testing. His recent work addresses AI dependability, autonomous systems testing, and deep learning fault analysis. Scientific awards include the ICSE MIP Award (2001) and ERC Advanced Grant (2018). He has served on editorial boards for major journals like IEEE Transactions on Software Engineering and ACM TOSEM. Current roles include leadership in the Software Institute and organizing the SIESTA summer school.

• Software Engineering
• Software Testing and Analysis
• Web Engineering
• +۴ مورد دیگر

George Candea is an Associate Professor at the École polytechnique fédérale de Lausanne (EPFL) and heads the Dependable Systems Laboratory (DSLAB). He also holds teaching roles in the School of Computer and Communication Sciences, focusing on computer science, communication systems, and software engineering. Education: PhD in Computer Science (2005) from Stanford University; B.S. and M.Eng. in Electrical Engineering and Computer Science (1997, 1998) from MIT. His research centers on achieving reliability, security, and predictable performance in complex software systems. He has pioneered concepts like 'crash-only software' and 'microrebooting' to enhance system resilience. His work spans theoretical foundations and practical implementations, addressing scalability challenges in real-world systems. George has co-founded two technology companies: Cyberhaven (2016, cybersecurity) and Aster Data Systems (now Teradata Vantage , big-data analytics). He actively contributes to academic governance as a member of EPFL's Innovation Council (2017-2021) and Innogrant committee (2018-2022). Scientific Awards: 2024: ACM Mark Weiser Award 2014: ACM Eurosys Jochen Liedtke Young Researcher Award 2005: MIT TR35 Young Innovators Award 2011: ERC Starting Grant Multiple Best Paper Awards at ASPLOS, USENIX NT, and SIGCOMM KBNets He has advised numerous PhD students and served on program committees for top conferences like SOSP, OSDI, and ASPLOS. His work bridges academia and industry through startups and collaborations with tech giants.

• Dependable Systems
• Software Reliability
• Cybersecurity
• +۷ مورد دیگر

David Basin is a Full Professor at the Department of Computer Science, ETH Zurich, and heads the Information Security Group. He has held academic positions since 2003, including roles at the University of Freiburg (1997–2002) and the Max-Planck-Institut für Informatik (1992–1997). His research focuses on Information Security, including methods and tools for secure systems, formal verification, and cryptographic protocols. He is Editor-in-Chief of the ACM Transactions on Privacy and Security and Springer's Information Security and Cryptography book series. Basin founded the Zurich Information Security Center (ZISC) in 2003 and led it until 2011. Education: B.Sc. in Mathematics (Reed College, 1984), Ph.D. (Cornell University, 1989), and Habilitation (University of Saarbrücken, 1996). Research interests span formal methods for security protocol verification, privacy-preserving systems, and cryptographic implementations. He has contributed to foundational work on security protocols, including the Tamarin verification framework. His work addresses real-world systems like payment protocols (EMV), DNS security, and database isolation guarantees. Awards: ACM Fellow (2018) for contributions to Information Security and Formal Methods, IEEE Fellow. He has organized numerous conferences, including IEEE S&P, Euro S&P, and ACM CCS. Labs/Teams: Leads the Information Security Group at ETH Zurich and co-founded Anapaya Systems, a startup focused on network security solutions. His team develops tools like VeriMon (formally verified monitoring) and Tamarin for protocol analysis.

• Information Security
• Formal Methods
• Cryptography
• +۳ مورد دیگر

Carlo Alberto Furia is an Associate Professor and Vice Dean at the Faculty of Informatics, Università della Svizzera italiana (USI). He is affiliated with the Software Institute, where he leads the ATOM research group. His academic journey includes prior roles as an Associate Professor at Chalmers University of Technology and a Senior Researcher at ETH Zurich’s Chair of Software Engineering. PhD in Computer Science, Politecnico di Milano Master of Science in Computer Science, University of Illinois at Chicago Laurea in Computer Science and Engineering, Politecnico di Milano His research centers on formal methods for software engineering, aiming to enhance software correctness, reliability, and quality through rigorous techniques. Key areas include automated program verification, contract-based development, loop invariant inference, and empirical evaluation using Bayesian data analysis. He emphasizes practical applicability and automation in formal methods. His recent publications reflect a strong focus on program analysis at the bytecode level, multilingual software analysis, automated repair of Android security issues, and empirical methodologies. These works span topics such as JVM substitutability, exception behavior in Java bytecode, and information flow security, demonstrating a consistent thread in improving software robustness through formal and automated techniques. He is actively involved in the software engineering research community as an Associate Editor of the Empirical Software Engineering (EMSE) journal and as a Program Committee member for major conferences including FASE, FM, ASE, ICSE, and CauSE. Carlo Furia has advised multiple research projects and supervised student theses. He has led and contributed to funded research initiatives, particularly in program analysis and verification. His group has developed tools such as AutoProof and other software artifacts available through the ATOM software page. He regularly teaches courses such as Software Analysis, Programming Fundamentals, and Software Design & Modeling. He leads the ATOM research group, which focuses on advancing automated techniques for software testing, analysis, and verification. The group develops practical tools and conducts empirical studies to validate research outcomes.

• Formal Methods
• Software Engineering
• Software Verification and Validation
• +۷ مورد دیگر

Zhendong Su is a full professor in the Department of Computer Science at ETH Zurich since August 2018. Previously, he held a full professorship at UC Davis from 2003 until June 2019. He earned his Ph.D. in Computer Science from UC Berkeley and dual Bachelor’s degrees in Computer Science and Mathematics from UT Austin in 1995. Affiliations: ETH Zurich: Full Professor (since 2018) UC Davis: Full Professor and Chancellor’s Fellow (2003–2019) IEEE Fellow, ACM Fellow, and Member of Academia Europaea His research focuses on programming languages, compilers, software engineering, computer security, and education technologies . Key contributions include compiler validation (e.g., Project Yin-Yang for SMT solvers and DBMS testing), testing tools like SQLancer, and educational innovations such as the Algot visual programming language. Recent work emphasizes secure AI (e.g., CipherSteal for TEE-shielded models) and compiler reliability (e.g., Artemis/Apollo for JIT validation). He has pioneered techniques like metamorphic testing and equivalence modulo inputs (EMI) for compiler validation, uncovering thousands of bugs in GCC/LLVM and SMT solvers. Awards: ICSE MIP Award (2022), ACM SIGSOFT Impact Paper (2018), NSF CAREER Award, and multiple industrial awards. His students have won IEEE TCSE Rising Star and SIGSOFT Impact Paper awards, securing roles at top universities and companies like Google and NVIDIA. Service: Steering committee member of ISSTA and ESEC/FSE, ACM Distinguished Speaker, and Associate Editor for ACM TOSEM. Program chaired ISSTA 2012 and co-chaired FSE 2016. Labs/Teams: Leads research groups on compiler validation, secure AI, and education technologies. Projects include Yin-Yang (SMT testing), SQLancer (DBMS fuzzing), and Algot (visual programming for education).

• Programming Languages
• Compilers
• Software Engineering
• +۳ مورد دیگر

Dr. Alessandro Ottaviano is a Researcher affiliated with the Department of Digital Integrated Circuits and Systems at ETH Zürich. His work focuses on advanced computer architecture and embedded systems, particularly in the domains of RISC-V processors, real-time systems, and heterogeneous computing. He contributes to the design of time-predictable virtual memory solutions, mixed-criticality systems, and energy-efficient hardware-software interfaces. Key research areas include modular processor architectures, hardware monitoring for safety-critical applications, and power management in high-performance computing (HPC) systems. His recent projects involve developing controllers for 2.5D systems-in-package and creating open-source networking solutions for mixed-criticality environments. Ottaviano’s work often emphasizes open-source hardware design and scalable system-level approaches to address challenges in autonomous systems and edge computing. He collaborates on advancements in interrupt handling for virtualized systems, peripheral event linking for IoT devices, and FPGA-based thermal emulation for many-core processors. His research bridges theoretical computer architecture principles with practical implementations in embedded and real-time systems.

• Computer Architecture
• Embedded Systems
• Real-Time Systems
• +۳ مورد دیگر

Carlo A. Furia is an Associate Professor at the Software Institute within the Faculty of Informatics at Università della Svizzera italiana (USI). He leads the ATOM research group and is actively involved in advancing formal methods in software engineering. His work bridges theoretical rigor with practical applicability, particularly in verification, automated repair, and empirical analysis of software systems. PhD in Computer Science, Politecnico di Milano Master of Science in Computer Science, University of Illinois at Chicago Laurea in Computer Science and Engineering, Politecnico di Milano His research focuses on making formal methods practical through automation, combining diverse techniques, and conducting thorough empirical evaluations. He is particularly interested in using Bayesian data analysis to assess software engineering data. His work spans program verification (e.g., AutoProof), contract inference, API usability, and multilingual program analysis. His recent publications highlight trends in automated program repair, JVM bytecode analysis, Android security, and empirical methodologies. These works reflect a consistent emphasis on correctness, reliability, and empirical validation in software development. Scientific service includes: Associate Editor, Empirical Software Engineering (EMSE) journal Program Committee member, FM 2026, FormaliSE 2026, ASE 2025, iFM 2025 He has advised students and leads the ATOM group, which develops tools for software analysis. He teaches courses such as Software Analysis, Programming Fundamentals, and Software Design & Modeling. Current research directions include improving empirical evaluation rigor and enhancing verification at lower code levels like bytecode.

• Formal Methods
• Software Engineering
• Program Verification
• +۷ مورد دیگر

Jinhan Kim is a Postdoctoral Researcher at the Università della Svizzera italiana (USI) in the Faculty of Informatics, working in the TAU lab under Prof. Paolo Tonella. He earned his Ph.D. from KAIST under Prof. Shin Yoo, focusing on software engineering research in mutation testing, fault localization, and deep learning system testing. His work bridges traditional software engineering techniques with AI-driven methodologies, emphasizing AI4SE and SE4AI paradigms. Education: Ph.D. in Software Engineering, KAIST, 2023 Research Interests: Mutation Testing Deep Learning System Testing Autonomous Systems Testing Adversarial Attack Detection Empirical Software Engineering Service and Leadership: Organized SBFT 2026 and DeepTest 2026 (co-located with ICSE 2026) Program Committee Member for ASE, ISSTA, Mutation, and DeMeSSAI Board of Distinguished Reviewers for TOSEM (2024–2025) Labs and Teams: Active contributor to the TAU Lab at USI, focusing on advanced software testing and AI integration.

• Software Engineering
• Mutation Testing
• Fault Localization
• +۴ مورد دیگر

Christian Hilbes is a Lecturer at the School of Engineering of Zurich University of Applied Sciences (ZHAW). He serves as Deputy Head of the Institute for Applied Mathematics and Physics (IAMP) and co-leads the research focus on Safety-Critical Systems. Active projects include leadership roles in Autonomous Predictive Interlock Systems , Personnel Safety Systems , and Triggering Conditions for Autonomous Cars . He specializes in STPA (Systems-Theoretic Process Analysis) , UML-based modeling , and Dynamic Flowgraph Modeling for safety-critical applications. Email: christian.hilbes@zhaw.ch His research integrates safety analysis with emerging technologies like autonomous systems and nuclear facilities, contributing to publications at MIT STAMP Workshops and in journals like Nuclear Engineering and Design . He actively collaborates on European Spallation Source (ESS) safety frameworks and develops domain-specific languages for STPA.

• Safety-Critical Systems
• Systems Engineering
• STPA (Systems-Theoretic Process Analysis)
• +۳ مورد دیگر

Onur Mutlu is a Professor of Computer Science at ETH Zurich, affiliated with the Department of Information Technology and Electrical Engineering. He also holds adjunct professorships at Carnegie Mellon University and Bilkent University. His research focuses on computer architecture, systems security, bioinformatics, and energy-efficient computing. He has pioneered work on memory-centric computing paradigms, RowHammer security vulnerabilities, and bio-inspired computing systems. He teaches courses such as Digital Design & Computer Architecture and supervises the SAFARI research group, which explores cutting-edge topics in memory systems, AI accelerators, and genomics. Recent activities include keynote talks at ISCA, HiPEAC, and IEEE conferences, emphasizing emerging hardware-software co-design principles. Key contributions include foundational work on memory reliability, cross-layer system design, and accelerating genomic data analysis. His research has been showcased in over 200 publications and industry collaborations with tech leaders like Intel, Huawei, and Micron.

• Computer Architecture
• Computer Systems
• Hardware Security
• +۵ مورد دیگر

Pasquale Davide Schiavone holds multiple research and teaching positions at École Polytechnique Fédérale de Lausanne (EPFL), serving as a Lecturer at the School of Computer and Communication Sciences (IC) and as a Scientist at both the Embedded Systems Laboratory (ESL) within the School of Engineering (STI) and PAT Administration. His interdisciplinary work bridges computer architecture, embedded systems design, and biomedical applications, with office located at ELG 136 in Lausanne, Switzerland. Dr. Schiavone's research focuses on ultra-low-power computing systems, particularly RISC-V architectures and TinyML applications for edge devices. His work develops open-source hardware platforms like X-HEEP and HEEPOCRATES that enable energy-efficient AI at the edge, with applications spanning biomedical monitoring, neural interfaces, and wearable computing. He explores innovative hardware-software co-design approaches to overcome energy constraints in resource-limited environments. His recent publications reveal a consistent research trajectory centered on open, configurable computing platforms for specialized applications. The work spans from fundamental RISC-V architecture improvements (ARCANE, e-GPU) to application-specific implementations for biomedical contexts (BiomedBench, neural interfaces). A strong emphasis on energy efficiency permeates all his research, whether through novel arithmetic approaches (Posit), system architecture (near-memory computing), or specialized accelerators (Strela, Quadrilatero). Lecturer, School of Computer and Communication Sciences (IC) Scientist, Embedded Systems Laboratory (ESL), School of Engineering (STI) Scientist, PAT Administration, School of Engineering (STI) Dr. Schiavone teaches courses on hardware compilation, presenting algorithms and methods for transforming hardware description languages into optimized circuit implementations. His Embedded Systems Laboratory work places him at the forefront of developing practical, open-source solutions for next-generation computing challenges in energy-constrained environments.

• Embedded Systems
• RISC-V Architecture
• Ultra-low-power Computing
• +۵ مورد دیگر

Dr. David Cock is a Senior Lecturer and Senior Researcher at ETH Zürich's Department of Computer Science, affiliated with the Systems Group. He holds a PhD from UNSW (2014) and a B.Sc. (hons) from UNSW (2004). His research focuses on formal verification, trustworthy systems, and hardware-software co-design, with notable contributions to projects like Enzian (a CPU/FPGA platform) and seL4 (formally verified kernel). He teaches Advanced Operating Systems and Informal Methods courses. Key achievements include the ACM Software System Award (2022) for seL4 and leadership in projects addressing hardware complexity and security. Research interests include formal methods for hardware modeling (Sockeye project), runtime verification, and mitigating timing channels. His work bridges theoretical foundations with practical systems, emphasizing secure and reliable computing platforms. Projects like Trustworthy BMC aim to enhance baseboard management systems' assurance. Collaborations span academia and industry, with open-source contributions to hardware designs and formal tools. Publications span formal verification, hardware modeling, and secure systems, with recent focus on heterogeneous computing and declarative hardware specifications. Teaching emphasizes practical formal techniques and OS design, leveraging real-world hardware (e.g., Barrelfish). His lab, the Systems Group, explores cutting-edge challenges in systems software and architecture.

• Formal Verification
• Operating Systems
• Hardware-Software Co-Design
• +۳ مورد دیگر