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

Shweta Shindeمشاهده پروفایل

استادیار

• Trusted Computing
• System Security
• Hardware Security
• +۴ مورد دیگر

Shweta Shinde is an Assistant Professor in the Department of Computer Science at ETH Zurich where she leads the Secure & Trustworthy Systems (SECTRS) research group. She is also a member of the Institute of Information Security and the ZISC Center at ETH Zurich. Her work bridges theoretical foundations with practical implementations in hardware and system security. Dr. Shinde's research focuses on the intersection of trusted computing, system security, and program analysis. Her group investigates both foundational aspects of security to protect phones, servers, and accelerators, as well as practical aspects of realizing these solutions through large-scale system building. Her work spans hardware security primitives, trusted execution environments, confidential computing, and secure system design across multiple platforms including mobile devices, cloud infrastructure, and blockchain systems. Her publication record demonstrates significant impact in the field, with numerous papers in top security venues including IEEE S&P, USENIX Security, CCS, and NDSS. Her research has uncovered critical vulnerabilities in major hardware security technologies like Intel SGX and AMD SEV-SNP while also proposing novel frameworks for building more secure systems. The work spans multiple domains including hardware security, cloud security, mobile security, and blockchain security, with a consistent thread of identifying and addressing fundamental security challenges in trusted computing. Among her notable achievements are multiple best paper awards including at SysTEX 2025 and nominations at DATE 2025, a Distinguished Paper Award at IEEE S&P 2024, and recognition as a Most Innovative Research Pwnie Award Nominee in 2024. Her work on WeSee received particular attention for breaking AMD SEV-SNP through novel interrupt-based attacks. Dr. Shinde actively mentors PhD students including Mark Kuhne, Supraja Sridhara, Mélisande Zonta-Roudes, Benedict Schlüter, Andrin Bertschi, and others. She teaches courses on Systems Security, Information Security Lab, Seminar on Systems Security, and Current Topics in Information Security at ETH Zurich. Her service to the community includes extensive program committee work for major security conferences including Oakland (S&P), NDSS, USENIX Security, and CCS, where she has served as track co-chair and program co-chair for several workshops.

Anthony Roweمشاهده پروفایل

استاد

• Networked Embedded Systems
• Sensor Networks
• Extended Reality (XR) Systems
• +۶ مورد دیگر

Anthony Rowe is the Siewiorek and Walker Family Professor of Electrical and Computer Engineering at Carnegie Mellon University (CMU) and a Chief Scientist at Bosch Research. His primary affiliation is with the CyLab and the Wireless, Sensing and Embedded Systems (WiSE Lab) at CMU. He specializes in networked embedded systems, sensor networks, and extended reality (XR) technologies. His research emphasizes energy-efficient sensing, real-time localization, and XR integration with physical systems. Research Focus: His work spans XR systems (e.g., AR/VR edge networking in ARENA), mmWave radar for sensing (e.g., tire wear monitoring via Osprey), distributed edge computing (Silverline), and low-power wide-area networking (OpenChirp). Recent efforts include AI-integrated XR platforms (XaiR) and radar tomography (DART). Grants & Projects: Leads the CONIX Research Center ($27.5M NSF/DARPA grant), Bosch-funded edge computing projects, and DOE initiatives on microgrids. Notable projects include ARENA (XR edge architecture), GridBallast (smart grid control), and rural microgrid deployments in Haiti. Awards: Best Student Paper (ISMAR 2024), Best Paper (IPSN 2020), and the Steven J. Fenves Research Award (2015). Recognized for innovations in localization (MobiCom 2021), radar (ICRA 2023), and energy systems (BuildSys 2010). Teaching: Teaches courses on embedded systems (18-349/18-449), real-time systems, and mixed reality (18-453). Courses emphasize hands-on design and real-world applications. Labs & Teams: Directs the WiSE Lab, collaborating with Bosch Research and industry partners. The lab develops open-source frameworks like ARENA and OpenChirp, and contributes to standards for edge computing and sensing.

Insup Leeمشاهده پروفایل

استاد

• Cyber-physical Systems
• Real-time and Embedded Systems
• Safe Autonomy
• +۳ مورد دیگر

Insup Lee is the Cecilia Fitler Moore Professor in the Department of Computer and Information Science and Director of the PRECISE Center at the University of Pennsylvania's School of Engineering and Applied Science. He holds a secondary appointment in the Department of Electrical and Systems Engineering and the Perelman School of Medicine’s Department of Biostatistics, Epidemiology, and Informatics. IEEE TCCPS Distinguished Leadership Award (2023) Fellow of the AAAS (2022) Test of Time Award, Runtime Verification (2019) Fellow of the ACM (2017) Best Paper Awards at IEEE ICPS, ACM/IEEE ICCPS, and MEMOCODE His research focuses on cyber-physical systems , real-time and embedded systems , safe autonomy , and internet of medical things , with applications in healthcare and connected systems. He advises PhD students including Eric Lu, Kaustubh Sridhar, Sooyong Jang, and Jean Park (co-advised with Kevin Johnson). Recent publications address safety monitoring for learning-enabled systems, model-free control synthesis using reinforcement learning, and multilingual toxicity guardrails for large language models. His team collaborates with institutions like Hillrom and Penn Nursing to optimize medical device usage in clinical settings.

Nate Fosterمشاهده پروفایل

استاد

• Programming Languages
• Networking
• Databases
• +۵ مورد دیگر

Nate Foster is a Professor of Computer Science at Cornell University and currently serves as the Associate Dean for Research in the Ann S. Bowers College of Computing and Information Science. He is also a Visiting Researcher at Jane Street and served as a Visiting Professor at École Polytechnique Fédérale de Lausanne during the 2023-24 academic year. His research uses ideas from programming languages to solve problems in networking, databases, and security. BA in Computer Science, Williams College (2001) MPhil in History and Philosophy of Science, University of Cambridge (2008, all work completed in 2003) PhD in Computer and Information Science, University of Pennsylvania (2009) Foster's research focuses on developing languages and tools that make it easy for programmers to build secure and reliable systems. His current work centers on the design and implementation of languages and tools for programmable networks, particularly using the P4 language. His past work includes bidirectional languages (also known as 'lenses'), database query languages, data provenance, type systems, mechanized proof, and formal semantics. His research group at Cornell has made significant contributions to network verification, software-defined networking, and formal foundations for programmable data planes. Analysis of Foster's recent publications reveals a strong focus on network verification and programming language foundations for networking. His work consistently applies formal methods to practical networking problems, with a particular emphasis on the NetKAT and P4 languages. Over the past five years, his research has evolved toward more complex network verification techniques, including infinite state verification, active learning of network models, and dependently-typed approaches to network programming. His work bridges theoretical computer science with practical networking systems, making formal methods accessible to network engineers. ACM Fellow (2025) ACM SIGPLAN Robin Milner Award (2023) ACM SIGCOMM Rising Star Award (2018) NSF CAREER Award (2013) Alfred P. Sloan Fellowship (2012) Multiple distinguished paper awards across top conferences including POPL, PLDI, and SIGCOMM Foster has advised numerous PhD and Master's students who have gone on to prominent positions in both industry and academia, with many continuing work in programming languages and networking. He has led multiple significant research grants including an NSF CAREER Award and has been involved in the P4 Language Consortium, serving as Chair of the P4 Language Governing Board. His work has been supported by various organizations including NSF, DARPA, and industry partners like Intel and Jane Street. Foster is also active in the programming languages research community, serving on numerous program committees and as Vice Chair of DARPA's Information Science and Technology (ISAT) study group. Foster leads a vibrant research group at Cornell focused on programming languages for networks, with collaborators from academia and industry. His group has developed several influential tools and frameworks including NetKAT, Petr4, and KATch. They maintain strong connections with the P4 community and work closely with industry partners to ensure their research has practical impact on real-world networking systems.

Sanjit A. Seshiaمشاهده پروفایل

استاد

• Formal Methods
• Cyber-Physical Systems
• Computer Security
• +۱۰ مورد دیگر

Sanjit A. Seshia is the Cadence Founders Chair Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley . He is affiliated with the Group in Logic and the Methodology of Science and participates in centers like the Industrial Cyber-Physical Systems Center , Berkeley AI Research , and the Simons Institute for the Theory of Computing . Research interests include formal methods for automated verification and synthesis of dependable systems, with applications to cyber-physical systems , AI-based autonomy , and computer security . His work spans SMT solving, model counting, syntax-guided synthesis, and algorithmic improvisation, with tools like UCLID5 , VerifAI , and Scenic for verifying autonomous systems and educational platforms like CPSGrader . Students and collaborators include notable researchers such as Dorsa Sadigh (Stanford), Daniel Fremont (UC Santa Cruz), and Hazem Torfah (Chalmers). He has co-founded startups like Decyphir and 20ⁿ Labs based on his research.

Xugui Zhouمشاهده پروفایل

استادیار

• Cyber-Physical Systems
• Security
• Dependability
• +۷ مورد دیگر

Xugui Zhou is an Assistant Professor jointly appointed in the Department of Electrical and Computer Engineering and the Department of Computer Science at Louisiana State University (LSU). He holds a Ph.D. in Electrical and Computer Engineering from the University of Virginia (2024), where he worked under Prof. Homa Alemzadeh. Prior to his Ph.D., he earned an M.Eng in Control Science and Engineering and a B.Eng in Automation from Shandong University. Before joining UVA, he was a Senior Engineer at NR Research Institute, State Grid of China. His research focuses on the intersection of system dependability, security, and control theory, with applications in autonomous systems and healthcare. Key interests include engineering resilient autonomous vehicles, mitigating adversarial attacks on cyber-physical systems (CPS), and enhancing safety through formal methods and machine learning. He leads a research lab with openings for Ph.D. students and interns. Zhou is actively involved in academic service, serving on program committees for DSN'26, AsiaCCS'26, and ICCPS'25, among others. He also chairs workshops like DSML'25 and organizes conferences such as ICCPS'24. His recent awards include the UVA Engineering Endowed Graduate Fellowship (2023) and selection as a Rising Star in Cyber-Physical Systems (2023). His teaching includes courses like AI-Driven Autonomous Driving Systems and ML for CPS Security at LSU. He has extensive experience in teaching and research supervision, emphasizing hands-on projects and interdisciplinary collaboration.

• Artificial Intelligence
• Machine Learning
• AI Alignment
• +۲ مورد دیگر

Michael Riegler is a Researcher at the AI Department, Simula Research Laboratory , focusing on interdisciplinary applications of Artificial Intelligence in healthcare, sports analytics, and multimedia systems. His work bridges Machine Learning , AI Alignment , and Applied AI across clinical and real-world domains. Key Affiliations: Simula Research Laboratory (AI Department Head) Research Themes: Explainable AI in medicine, multimodal data analysis, and AI-driven health monitoring Research Interests include: Developing AI/ML algorithms for medical imaging (e.g., polyp detection, embryo analysis) Addressing missing data challenges in healthcare through novel imputation techniques Creating multimodal virtual avatars for investigative interview training Designing edge AI systems for sports analytics and sustainable fishing Recent Publications highlight collaborations with institutions in Norway and globally, with a focus on: Medical Applications: Polyp segmentation, ECG analysis, and explainable models for disease detection Sports Analytics: Athlete performance prediction and soccer video processing Data Infrastructure: Lifelogging datasets (ScopeSense), semantic representation frameworks Labs & Teams include leadership in Simula’s AI Department and participation in projects like Medico Multimedia Task , ImageCLEF , and MediaEval workshops. His work emphasizes responsible AI innovation in public sectors and privacy-preserving systems for edge environments.

Cyrille Arthoمشاهده پروفایل

دانشیار

• Software Engineering
• Formal Methods
• Cybersecurity
• +۵ مورد دیگر

Cyrille Artho is an Associate Professor in the Division of Theoretical Computer Science at KTH Royal Institute of Technology, actively contributing to research in formal methods, software testing, and cybersecurity. His work spans model checking, smart contract security, and concurrent systems verification, with significant contributions to tools like Java Pathfinder and Modbat. PhD from ETH Zurich (2005) with dissertation on multi-threading fault detection Teaches Software Safety and Security, Software Engineering Fundamentals, and supervises degree projects His research focuses on developing formal techniques for safety-critical systems, particularly in blockchain security and distributed applications. Recent work emphasizes smart contract verification, anomaly detection in microservices, and trusted execution environments for secure cloud analytics. The 15 most recent publications reveal a strong trend toward blockchain security (6 articles), formal verification of distributed systems (5), and novel testing methodologies (4), with increasing integration of machine learning for vulnerability detection. As chair of the FTSCS workshop series and contributor to major conferences like ASE and ICST, Artho has significantly shaped the formal methods community. His leadership in organizing workshops demonstrates commitment to advancing safety-critical systems research. Principal investigator for C3.ai DTI Cyber Safety Cage for Networks project Develops Modbat framework for model-based API testing Active in Digital Futures research initiative at KTH

Bryan Parnoمشاهده پروفایل

استاد

• Secure Systems
• Formal Software Verification
• Verifiable Computation
• +۷ مورد دیگر

Bryan Parno is a Professor at Carnegie Mellon University in the Departments of Electrical & Computer Engineering and Computer Science . He is the recipient of the Kavčić-Moura Chair and leads the Secure Foundations Lab , focusing on end-to-end secure systems through formal verification. Research spans secure systems , applied cryptography , distributed systems , and zero-knowledge proofs Developed Verus (verified Rust systems) and Project Everest (verified HTTPS stack) Key contributions include Ironclad , Flicker , and Pinocchio , with impacts on Intel CPUs and Windows/iOS security models His work emphasizes open-source tools and reproducibility , often published in top venues like POPL, PLDI, and IEEE S&P. Recent projects address WebAssembly security and formal verification of complex distributed systems . Major Awards Jay Lepreau Best Paper Award (OSDI 2025) IEEE Cybersecurity Award for Practice (2024) Sloan Research Fellowship (2018) Test-of-Time Awards (IEEE S&P 2023, IEEE S&P 2020) Best Paper Awards at USENIX Security, OOPSLA, and PLDI

• Digital Hardware Design
• Reliability Engineering
• Reconfigurable Devices
• +۳ مورد دیگر

Eleonora Vacca is a PhD student and Research Fellow in the Department of Automatic Control and Computer Science (DAUIN) at the Polytechnic University of Turin. She holds a B.S. in Electronic Engineering from the University of Palermo (2018) and an M.S. in Electronic Engineering-Embedded Systems from Politecnico di Torino (2021). Her research focuses on digital hardware design, reliability engineering, reconfigurable devices, and AI applications in aerospace and safety-critical systems. She is a member of the Aerospace and Safety Computing Lab and the CAD - Electronic CAD & Reliability Group (DAUIN). Her work addresses challenges such as radiation effects mitigation in space missions, fault-tolerant AI accelerators, and real-time anomaly detection in satellite telemetry. She has contributed to projects like the RAMSES CubeSat-1 Development (2025-2026), funded by commercial contracts. In 2024, she won the Best Student Paper Award at the NEWCAS Conference for her research on radiation effects in space missions. Vacca collaborates on teaching, including assisting in the course 'Electronic Calculators' for Computer Engineering students. Her recent publications explore AI resilience in RISC-V ecosystems, radiation environment analysis for space missions, and gesture recognition systems for smart cities. She actively contributes to conferences such as the ACM International Conference on Computing Frontiers and the IEEE International Smart Cities Conference.

Ryan P. Huangمشاهده پروفایل

دانشیار

• Computer Systems
• Operating Systems
• Distributed Systems
• +۷ مورد دیگر

Ryan P. Huang is an Associate Professor in the Computer Science & Engineering department at the University of Michigan, College of Engineering, where he leads the Order Lab. Previously, he was an Assistant Professor at Johns Hopkins CS department from 2017 to 2022. His research focuses on computer systems, particularly operating systems and distributed systems, with emphasis on reliability, efficiency, and defensibility across cloud data centers and mobile devices. Dr. Huang's research interests center on pushing the boundaries of cloud systems availability and observability. His work addresses critical challenges such as gray failures and partial failures in distributed systems, developing principled techniques for failure detection and localization. His research spans multiple thrusts including Panorama for enhanced observability, Watchdog for runtime checking, OmegaGen for partial failure localization, and Narya for predictive failure mitigation. He also investigates energy-efficient mobile systems and system misconfiguration prevention. His recent publications demonstrate a strong trend toward addressing silent failures in distributed systems, with multiple papers accepted to top-tier conferences including SOSP and OSDI in 2025. His work bridges theoretical principles with practical system implementations, focusing on real-world challenges in cloud infrastructure and distributed computing environments. NSF CAREER award recipient Multiple Best Paper Awards (OmegaGen, Argus, LeaseOS) CRA Outstanding Undergraduate Researcher Award honorable mentions for advisees Dennis Ritchie doctoral dissertation award honorable mention Dr. Huang actively mentors PhD students including Yuzhuo Jing, Wanning He, Yuxuan Jiang, and others. His lab has produced graduates who have gone on to faculty positions at institutions like University of Virginia and Boston University. He serves on program committees for major systems conferences including SOSP, OSDI, and NSDI, contributing significantly to the academic community. The Order Lab maintains active research collaborations and regularly publishes in top-tier venues, with multiple papers accepted to SOSP and OSDI in 2025.

Krishnendu Guhaمشاهده پروفایل

استادیار

• Embedded Systems
• Cybersecurity
• Artificial Intelligence
• +۴ مورد دیگر

Dr. Krishnendu Guha is an Assistant Professor and CONNECT Funded Investigator at the School of Computer Science and Information Technology, University College Cork. His research bridges embedded systems, cybersecurity, and quantum-safe hardware design with AI and bio-inspired strategies. PhD: University of Calcutta (Department of Science and Technology, Government of India) Postdoctoral: University of Florida Past Roles: Research Fellow at Intel India, Visiting Scientist at Indian Statistical Institute, Temporary Assistant Professor at NIT Jamshedpur His research focuses on embedded systems security , real-time security mechanisms , and quantum-safe hardware . He integrates AI (e.g., neural networks) and bio-inspired strategies (e.g., gecko crypsis behavior) into security frameworks for FPGAs and edge platforms. Recent publications highlight trends in blockchain for supply chains , quantum machine learning , secure FPGA architectures , and distributed AI systems . His work addresses energy efficiency, fault detection, and decentralized security in hardware. As a CONNECT Centre member, Dr. Guha contributes to advanced research in reconfigurable systems and cybersecurity. Grants and collaborations span quantum-safe design, cloud FPGA security, and hardware trojan mitigation.

Prashanth Krishnamurthyمشاهده پروفایل

پژوهشگر

• Robotics
• Control Systems
• Cyber-Physical Systems
• +۳ مورد دیگر

Prashanth Krishnamurthy is a Research Scientist in the Department of Electrical and Computer Engineering at New York University Tandon School of Engineering. His research focuses on robotics, control systems, and cybersecurity, particularly in cyber-physical systems such as power grids and embedded devices. He holds a Ph.D. in Electrical Engineering from NYU. Key research areas include hardware security (e.g., detecting Trojans in chips), anomaly detection in critical infrastructure, and resilient control strategies for robotic systems. He has led or contributed to projects funded by the U.S. Department of Energy (DOE), Office of Naval Research (ONR), and others, including the Tracking Real-time Anomalies in Power Systems (TRAPS) initiative and hardware Trojan detection using short-term aging phenomena. Education: Ph.D., Electrical Engineering, NYU His work bridges theoretical advancements and practical implementations, such as developing FPGA-based testbeds for hardware security validation and creating AI-driven cybersecurity tools like the CRAKEN LLM agent. Collaborators include institutions like SRI International, Karlsruhe Institute of Technology, and the NYU Center for Cybersecurity. Grants include a $1.94M DOE grant for TRAPS and a $359K DURIP grant for hardware Trojan detection. His technical contributions span control systems, anomaly detection algorithms, and cybersecurity frameworks for embedded systems. He is actively involved in advancing secure cyber-physical systems through innovations in real-time monitoring, robust control mechanisms, and AI-augmented security solutions.

Andrea Bastoniمشاهده پروفایل

پژوهشگر ارشد

• Real-Time Systems
• Cyber-Physical Systems
• Operating System Design
• +۵ مورد دیگر

Dr. Andrea Bastoni is a Postdoctoral Researcher and Research Fellow at the Chair of Cyber-Physical Systems in Production Engineering at Technical University of Munich (TUM), Faculty of Mechanical Engineering. He is also the CTO and co-founder of Minerva Systems , developing operating system solutions for AI-ready embedded applications. His expertise spans real-time operating systems, cyber-physical systems, and predictable system design for heterogeneous platforms. His research focuses on enhancing predictability of memory hierarchies in complex SoCs through techniques like memory bandwidth regulation and cache partitioning. This work has industrial applications in safety-critical domains such as avionics and railways, where he contributes to certifiable hypervisors and operating systems. As former Software Architect of the PikeOS hypervisor at SYSGO GmbH (2012-2020), he specialized in DO-178C, IEC 61508, and EN 50128 standards. His academic background includes a Ph.D. in Computer Engineering from the University of Rome Tor Vergata (2007-2011), where he developed LITMUS^RT as part of UNC's Real-Time Systems Group during a visiting researcher period (2009-2010). His publications reflect ongoing work on Multicore Real-Time Scheduling , Mixed-Criticality Task Isolation, and Arm DynamIQ shared unit analysis. He actively participates in program committees for conferences like RTSS, DSN, and DATE.

John Wickersonمشاهده پروفایل

دانشیار

• Computer Hardware
• Electrical and Electronic Engineering
• Computer Software
• +۷ مورد دیگر

Dr. John Wickerson is an Associate Professor in the Circuits and Systems group at the Department of Electrical and Electronic Engineering, Imperial College London. His research focuses on improving the reliability of high-performance computing through formal methods, with contributions to high-level synthesis, memory models, and concurrency verification. He holds leadership roles including Course Director for the Electrical and Information Engineering degree and Deputy Tutor for PhD students. Research Interests: Formal Verification of Hardware/Software Systems High-Level Synthesis (HLS) and FPGA Compilation Weak Memory Models and Concurrency Semantics Fuzz Testing for Hardware Tools Compiler Optimization and Correctness Digit Elision and Arbitrary-Precision Arithmetic Notable Achievements: Best Paper Award at EuroSys 2024 (database isolation validation) Pioneered formal methods for HLS tools (e.g., QuteFuzz, C4) Co-developed the C4 C compiler concurrency checker Published over 60 peer-reviewed papers across top venues (ASPLOS, PLDI, FPGA) Lab/Team: Part of the Circuits and Systems group at Imperial College, collaborating with industry partners like Kaihong Yann and ARM.