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

Chengmo Yangمشاهده پروفایل

استاد

• Embedded Systems
• Design Automation
• Computer Architecture
• +۶ مورد دیگر

Dr. Chengmo Yang is a Professor in the Department of Electrical and Computer Engineering at the University of Delaware, with a joint appointment. She received her PhD and MSc in Computer Science from the University of California, San Diego, and a BSc in Microelectronics from Peking University, China. PhD, University of California, San Diego MSc, University of California, San Diego BSc, Peking University, China Her research focuses on enhancing security, reliability, non-volatility, and energy efficiency in embedded systems, cyber-physical systems (CPS), and Internet-of-Things (IoT). She leads the Computer Architecture, Reliability, and Security (CARES) group and has authored over 70 peer-reviewed publications. Recent publications emphasize neural network accelerators, non-volatile memory (NVM) optimization, and security frameworks for embedded systems. Her work explores fault tolerance, wear leveling, and side-channel attack mitigation in NVM-based FPGAs, STT-RAM, and SSDs. National Science Foundation Career Award (2013) University of Delaware Mid-Career Faculty Excellence in Scholarship Award (2020) Best paper award at ICESS (2019) Three best paper nominations at DAC, DATE, and GLSVLSI (2019) Dr. Yang serves as Associate Editor for IEEE TCAD and ACM TODAES. She is the Diversity & Inclusion Representative for IEEE CEDA and has organized numerous conferences including Technical Program Chair for CODES-ISSS 2022. Her lab has hosted current and former students like Fanruo Meng (PhD candidate), Fateme Hosseini (Qualcomm), and Patrick Cronin (Intel), focusing on graduate-level research in hardware security and reliability.

Dawn Songمشاهده پروفایل

استاد

• Artificial Intelligence
• Cybersecurity
• Machine Learning
• +۷ مورد دیگر

Dawn Song is a Professor in the Department of Electrical Engineering and Computer Science at the University of California, Berkeley, affiliated with multiple research centers including the Berkeley Artificial Intelligence Research Lab (BAIR) and the Berkeley Center for Responsible, Decentralized Intelligence (RDI). She holds leadership roles in AI safety, cybersecurity, and blockchain research. Her work bridges machine learning, security, and distributed systems, with notable contributions to formal verification, privacy-preserving technologies, and AI governance. Education: Ph.D. (2002) and M.S. (1999) in Computer Science from UC Berkeley and Carnegie Mellon University, respectively. She previously served as an Assistant Professor at Carnegie Mellon University before joining UC Berkeley in 2007. Research Interests: Dawn's work focuses on AI safety, cybersecurity, and the ethical implications of frontier AI. She explores topics such as large language model vulnerabilities, zero-knowledge proofs, blockchain security, and policy frameworks for AI governance. Her research combines theoretical rigor with practical applications, addressing challenges in secure systems, adversarial machine learning, and privacy-preserving computation. Publications: Her recent work includes groundbreaking studies on LLM memorization, smart contract decompilation, and AI agent cybersecurity evaluation. She also leads initiatives like the Singapore Consensus and California Report on AI safety priorities, emphasizing global collaboration in risk mitigation. Notable Awards: MacArthur Fellowship (2010), ACM Fellow (2019), IEEE Fellow (2019) Advising & Grants: She advises projects on AI policy and cybersecurity, securing grants from NSF, DARPA, and industry collaborations. Her lab develops tools like CyberGym for evaluating AI agents and zkPyTorch for secure machine learning. Labs & Teams: Her research groups at UC Berkeley focus on cutting-edge projects in AI safety, blockchain, and cybersecurity, collaborating with industry leaders and policymakers to advance both technical and ethical standards.

Abhishek Jainمشاهده پروفایل

دانشیار

• Cryptography
• Computer Security
• Privacy
• +۵ مورد دیگر

Abhishek Jain is an Associate Professor in the Department of Computer Science at Johns Hopkins University and a Senior Scientist at NTT Research. He is affiliated with the Data Science and AI Institute, the Information Security Institute, and the Algorithms and Complexity group. University: Johns Hopkins University Department: Computer Science Academic Rank: Associate Professor Institutional Roles: Co-director of the Advanced Research in Cryptography group, member of the Theory Group, and co-leader of the Cryptography Group Education: Ph.D. in Computer Science from the University of California Los Angeles (2012), advised by Amit Sahai and Rafail Ostrovsky. Recipient of the Symantec Outstanding Graduate Student Award during his Ph.D. Research Interests Cryptography Secure computation Proof systems Program obfuscation Privacy Blockchain Theoretical computer science Research Trends: His recent publications emphasize cryptographic protocols for homomorphic encryption, zero-knowledge proofs, and secure multi-party computation, alongside applications in blockchain and privacy-preserving systems. Key themes include scalability, verifiable evaluation, and adapting cryptographic techniques to dynamic and distributed environments. Scientific Awards 2020 NSF CAREER Award Best Paper Awards at Eurocrypt and the International Conference on the Theory and Applications of Cryptographic Techniques Advising & Grants: Mentors Ph.D. students and interns/postdocs at NTT Research. Research funded by NSF, DARPA, JP Morgan, Ethereum Foundation, Stellar, Cisco, Samsung, and JHU Catalyst awards. Labs & Teams: Co-leads the Cryptography Group at Johns Hopkins, participates in the DC Area Crypto Day, and organizes the weekly Theory Seminar. Collaborates with institutions including MIT CSAIL, BUSEC, and Microsoft Research New England.

Adrian Wellerمشاهده پروفایل

استاد پژوهش

• Artificial Intelligence
• Machine Learning
• Explainability
• +۹ مورد دیگر

Adrian Weller is a prominent researcher and academic at the University of Cambridge, serving as a Director of Research in Machine Learning within the Department of Engineering. He holds multiple significant leadership roles including Programme Director for Trust and Society at the Leverhulme Centre for the Future of Intelligence (CFI), and previously served as Programme Director for AI at The Alan Turing Institute, the UK national institute for data science and AI. His work bridges theoretical machine learning research with practical applications and societal implications of artificial intelligence. Weller's research interests span a broad spectrum of AI and machine learning topics with a particular focus on ensuring beneficial societal outcomes. His work encompasses explainability, fairness, robustness, scalability, privacy, safety, and ethics in AI systems. He has made significant contributions to trustworthy machine learning, including developing frameworks for AI governance, certification, and human-AI collaboration. His research group actively investigates neuro-symbolic approaches, privacy-preserving techniques, and methods for improving the reliability and interpretability of AI systems. His recent publications demonstrate a strong trend toward addressing the practical challenges of deploying AI systems in real-world contexts, particularly focusing on certification frameworks, governance mechanisms, and human-centered approaches. His work spans theoretical advances in machine learning architectures while maintaining a strong connection to societal impact, with publications appearing in top venues across AI, machine learning, and interdisciplinary applications. Scientific Awards: MBE for services to digital innovation (2022 Queen's Birthday Honours) Turing AI Fellowship for Trustworthy Machine Learning Weller actively supervises a large group of PhD students and postdocs, with current students including Juyeon Heo, Yanzhi Chen, Katie Collins, Isaac Reid, Yichao Liang, Herbie Bradley, and Shoaib Siddiqui. His former students have gone on to positions at leading institutions including Google DeepMind, ETH Zurich, NYU, and MPI-IS Tübingen. He has served on numerous advisory boards including the Centre for Data Ethics and Innovation, UNESCO's expert group on AI ethics, and the World Economic Forum's Global Future Council on AI. His research has been supported through his Turing AI Fellowship and various collaborative projects focused on safe and ethical AI development. Weller leads a vibrant research group focused on trustworthy machine learning, which actively organizes workshops and conferences including ICML 2024 (where he served as Program Chair), multiple workshops on responsible AI, and events through the ELLIS network. His group collaborates extensively across disciplines, working with researchers in computer science, social sciences, law, and policy to address the multifaceted challenges of developing beneficial AI systems.

Arman Cohanمشاهده پروفایل

استادیار

• Natural Language Processing
• Machine Learning
• Artificial Intelligence
• +۳ مورد دیگر

Arman Cohan is an Assistant Professor in the Department of Computer Science at Yale University, where he leads the Yale NLP Lab since its founding in January 2023. His research spans natural language processing and machine learning with emphasis on language modeling, representation learning, retrieval systems, and specialized domain applications including scientific discovery and AI for science. His primary research interests include: Natural Language Processing Machine Learning Large Language Models Information Retrieval AI for Science Scientific Problem-Solving Recent publications (2025) demonstrate intense focus on evaluating and advancing LLM capabilities across multimodal reasoning, scientific claim verification, financial domain applications, and biological modeling. The lab consistently produces high-impact work accepted at top-tier conferences including ACL, EMNLP, and ICLR, with 11 papers at ACL 2025 alone. Scientific awards include: Best Paper Award at AI4Research Workshop (IJCAI 2024) Outstanding Paper Award at EACL 2023 Best Paper Award at ACL 2024 for Olmo language model research Professor Cohan actively advises PhD students including Kaili Liu, Jacob Dunefsky, Alan Li, Yilun Zhao, and has graduated researchers such as Linyong Nan (now at Zoom) and Ansong Ni (now at Meta). The lab maintains strong industry partnerships and receives substantial research funding as evidenced by its prolific output and conference presence. The Yale NLP Lab hosts the annual New England NLP Workshop and regularly features speakers from leading institutions including Meta AI, Allen Institute for AI, and DeepMind, fostering a collaborative environment for advancing NLP research.

Michael Carbinمشاهده پروفایل

استادیار

• Programming Systems
• Approximate Computing
• Probabilistic Programming
• +۴ مورد دیگر

Michael Carbin is the Jamieson Career Development Assistant Professor of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT) and leads the MIT Programming Systems Group. His research focuses on programming systems that address system uncertainty to enhance performance, energy efficiency, and resilience, particularly in environments involving neural networks , approximate computing , and unreliable hardware . His work spans probabilistic programming , quantum computing , and machine learning systems . Articles highlight contributions in pruning neural networks , quantum data structures , and compiler optimization , reflecting trends in deep learning , formal verification , and language-driven systems . Scientific Awards : MIT Frank E. Perkins Award (2020) Sloan Research Fellowship (2020) Facebook Research Award (2019) NSF CAREER Award (2018) Best Paper Awards at OOPSLA (2013, 2014) He has advised numerous graduate students and postdocs including Eric Atkinson, Cambridge Yang, and Charles Yuan, and served on program committees for conferences like POPL, OOPSLA, and ICLR. His group collaborates with institutions such as MIT CSAIL and explores applications in quantum algorithms and probabilistic inference .

Osbert Bastaniمشاهده پروفایل

دانشیار

• Machine Learning
• Neurosymbolic AI
• Program Synthesis
• +۱۰ مورد دیگر

Osbert Bastani is an Associate Professor at the Department of Computer and Information Science, University of Pennsylvania, leading the trustml@Penn research group. He is affiliated with the ASSET , PRECISE , and PRiML centers, and the PLClub research group. His research focuses on Trustworthy Neurosymbolic Systems , Synthesizing Neurosymbolic Programs , and Machine Learning for Programmer Productivity , with applications in verification, fairness, and human-AI collaboration. He received the NSF CAREER Award in 2023. His recent publications (2024-2025) emphasize AI Safety , LLM Robustness , and Algorithmic Fairness , including work on adversarial robustness, conformal prediction, and program synthesis. Students he has advised include Sagnik Anupam, Stephen Mell, Jason Ma, Shuo Li, and others. Awards: NSF CAREER Award (2023)

Rachit Agarwalمشاهده پروفایل

دانشیار

• Systems
• Networking
• Theory of Computing
• +۶ مورد دیگر

Rachit Agarwal is an Associate Professor in the Department of Computer Science at Cornell University, with research focusing on systems, networking, and theoretical problems arising in practical systems. He leads a research group working on resource disaggregation, host architecture, secure cloud storage, and datacenter design. PhD in Computer Science, Cornell University Undergraduate, IIT Kanpur His research spans three major directions: Resource Disaggregation (with $3M NSF and Google awards), Host Architecture (exploring terabit interconnects), and PANCAKE (secure oblivious cloud storage with $1M NSF award). He also contributed to foundational work in Near-optimal Datacenter Design and Data Plane Monitoring . Awards include the Sloan Fellowship, NSF CAREER, IRTF Applied Networking Prize, and multiple best paper awards. His recent publications focus on host network architecture, congestion control, oblivious data access mechanisms, and secure cloud storage systems. He has advised multiple Ph.D. and postdoctoral researchers who now hold faculty positions at leading institutions. Sloan Research Fellowship NSF CAREER award Kavli Fellowship IRTF Applied Networking Research Prize SIGCOMM Best Student Paper Award Usenix Security Distinguished Paper Award Tau Beta Pi Professor of the Year 2025 Rachit has advised numerous students including current Cornell advisees like Midhul Vuppalapati, Shreyas Kharbanda, and Omar Eqbal. Former advisees include Saksham Agarwal (UIUC), Qizhe Cai (UVA), and Mina Tahmasbi Arashloo (University of Waterloo). His research is supported by large NSF grants and industry awards, with deployments in real-world systems and open-source contributions.

Gianluca Iaccarinoمشاهده پروفایل

استاد

• Scientific Computing
• Uncertainty Quantification
• Turbulence Modeling
• +۶ مورد دیگر

Gianluca Iaccarino is a Professor of Mechanical Engineering at Stanford University and the Robert Bosch Chairholder. He serves as Director of the PSAAP Center and leads large-scale computational research initiatives in uncertainty quantification, exascale computing, and multiphysics simulations. His academic journey includes a PhD in Mechanical Engineering from Politecnico di Bari (2005), postdoctoral work at Stanford's Center for Turbulence Research, and progression from Research Engineer to full Professor. Education : PhD (Politecnico di Bari), MS/BS in Aeronautical Engineering (University of Naples) Research : Computational engineering, turbulence modeling, uncertainty quantification, biomedical fluid dynamics, and exascale-ready algorithms Publications : 15+ recent articles focus on turbulence modeling, data-driven simulations, and uncertainty quantification across diverse applications in aerospace, biomedical, and energy systems Awards : PECASE (2010), APS Fellow (2019), multiple best paper awards (AIAA, ASME), Terman Fellow (2007) Students : Advises doctoral and master's students in mechanical engineering and computational methods Leadership : Director of PSAAP Center (2014-present), Chair of Mechanical Engineering Department (2024-present)

Richard M. Murrayمشاهده پروفایل

استاد

• Control Theory
• Autonomous Vehicles
• Biological Circuit Design
• +۳ مورد دیگر

Richard M. Murray is the Thomas E. and Doris Everhart Professor of Control and Dynamical Systems and Bioengineering at the California Institute of Technology (Caltech). He holds a B.S. from Caltech (1985), M.S. from UC Berkeley (1988), and Ph.D. from UC Berkeley (1990). He has served in academic roles from Assistant Professor (1991–1997) to his current endowed professorship. He chaired the Engineering and Applied Science division (2000–2005) and Biology and Biological Engineering (2020–2024). His research focuses on feedback control in biological and autonomous systems, synthetic cells, and networked control systems. Collaborators include experts in robotics, synthetic biology, and systems biology. Key awards include the IEEE Control Systems Award and election to the National Academy of Engineering. His educational contributions span courses on control systems, robotics, and bioengineering. Current research projects include the Developer Cell initiative (Sloan Foundation), layered testing for autonomous systems (AFOSR), and microbiome-based environmental solutions (CHARMME, ARO). He advises numerous graduate students and postdocs, with notable alumni in academia and industry. Labs include facilities in Keck and Steele laboratories at Caltech. His work bridges control theory, synthetic biology, and autonomous systems to address societal challenges like environmental monitoring and safe autonomy.

Srdjan Capkunمشاهده پروفایل

استاد

• Computer Security
• Network Security
• Wireless Security
• +۴ مورد دیگر

Prof. Srdjan Capkun is a Full Professor in the Department of Computer Science at ETH Zurich and Director of the Zurich Information Security and Privacy Center (ZISC). He holds a Dipl.Ing. from the University of Split (1998) and a Ph.D. from EPFL (2004). His research focuses on system and network security, including wireless security (e.g., secure positioning), trusted computing, blockchain technologies, and privacy-preserving systems. He co-founded 3db Access (acquired by Infineon) and Sound-Proof, addressing secure distance measurement and authentication. Notable achievements include an ERC Consolidator Grant (2016), ACM Fellowship, and IEEE Fellowship. Education: Dipl.Ing., Electrical Engineering / Computer Science, University of Split, 1998 Ph.D., Communication Systems, EPFL, 2004 Research Interests: Wireless security (e.g., UWB, GNSS, cellular) Trusted execution environments (TEEs) Blockchain and cryptocurrency systems Privacy-preserving technologies Awards & Grants: ERC Consolidator Grant (2016) ACM Fellow and IEEE Fellow Leadership of ZISC Advising & Labs: Leads the System Security Group at ETH Zurich Guided postdoctoral researchers and graduate students in security and privacy Companies: 3db Access (secure distance measurement) Futurae (online authentication)

Kenneth P. Birmanمشاهده پروفایل

استاد

• Distributed Systems
• Cloud Computing
• Machine Learning Systems
• +۵ مورد دیگر

Kenneth P. Birman is the N. Rama Rao Professor of Computer Science at Cornell University, where he has had a long and impactful career in distributed systems, cloud computing, and AI/ML infrastructure. He is known for foundational contributions to reliable and scalable distributed systems, and for leading high-impact projects such as Cascade, Vortex, and Derecho. He is also the author of a widely used textbook on reliable distributed systems and has founded multiple companies based on his research. Education: Ph.D. in Computer Science, University of California, Berkeley M.S. in Computer Science, University of California, Berkeley B.A. in Computer Science, Columbia University Research Interests: Professor Birman's research focuses on building reliable, secure, and scalable distributed systems . His current emphasis is on AI and ML infrastructure , particularly in reducing latency and improving performance through hardware acceleration, RDMA-based communication, and edge computing. He explores how to eliminate data movement bottlenecks in AI pipelines and how to support real-time, mission-critical applications in domains like healthcare, smart grids, and industrial IoT. His work spans systems programming, cloud computing, fault tolerance, and formal verification . He has designed systems that have been deployed in high-stakes environments such as the New York Stock Exchange, the Swiss Exchange, and the French Air Traffic Control system. Scientific Awards: ACM Fellow (1999) IEEE Fellow (2014) IEEE Tsutomu Kanai Award for innovations in distributed computing Teaching and Mentorship: Professor Birman teaches two courses in the fall semester: CS4414: Systems Programming and CS5416: Cloud and ML Systems Programming . He has advised numerous Ph.D. and M.S. students, including Alicia Yang, Tiancheng Yuan, Yifan Wang, Weijia Song, Edward Tremel, Sagar Jha, Jonathan Behrens, and Mae Milano. He has announced that Fall 2025 will be his last semester teaching, and he is no longer recruiting new students, though he will continue supervising current ones. Labs and Projects: He leads the Derecho Project and the Cascade/Vortex Project , both focused on high-performance distributed systems. These projects are collaborative efforts with students and industry partners, and the software is released under open-source licenses. He also maintains strong ties with Cornell's systems group and collaborates with faculty across CS, ECE, IS, and the Cornell Tech NYC campus.

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

استادیار

• Quantum Computation
• Quantum Cryptography
• Quantum Learning Theory
• +۳ مورد دیگر

Andrea Coladangelo is an Assistant Professor at the Allen School of Computer Science & Engineering , University of Washington , co-leading the Quantum group and contributing to the Theory and Crypto groups. He coordinates the NSF-funded Quantum@UW REU program , fostering undergraduate research in quantum information. Previously, he was a postdoctoral researcher at UC Berkeley and the Simons Institute , advised by Umesh Vazirani , following a PhD in Computer Science at Caltech under Thomas Vidick . His academic journey began with a B.A. in Mathematics from Oxford and a Master in Mathematics from Cambridge . He co-founded qBraid , a platform for quantum computing education. Research Interests : Andrea explores the intersection of quantum computation and cryptography , focusing on foundational questions in entanglement , quantum correlations , and quantum learning theory . His work investigates quantum pseudorandomness , device-independent security , quantum algorithms , and quantum copy-protection , often leveraging computational assumptions to bridge quantum information theory with cryptographic applications. Scientific Awards : 2025 Google Research Scholar Program Award in Quantum Computing 2023 CSE Undergraduate Teaching Award for his course on quantum computation 2019 Best Student Paper Award at QIP Teaching & Outreach : Andrea designed and taught CSE 434: Intro to Quantum Computation (Spring 2023, 2024, 2025), CSE 534: Quantum Information and Computation (Autumn 2023), and CSE 599C: Quantum Learning Theory (Winter 2025). He also delivered lectures at the 22nd Bellairs Crypto Workshop (2024) and led a quantum programming tutorial using qBraid . Labs & Teams : As co-leader of the Quantum group at the Allen School, he collaborates with researchers in Theory and Crypto , advancing quantum computing through interdisciplinary projects and educational initiatives.

• Low-power Integrated Circuits
• Bioelectronics
• Hardware Security
• +۳ مورد دیگر

Kaiyuan Yang is an Associate Professor in the Department of Electrical and Computer Engineering at Rice University, leading the Secure and Intelligent Micro-Systems (SIMS) Lab. His research focuses on low-power integrated circuits and bioelectronic implants for applications like the Internet of Everything and medical devices. He holds a B.S. from Tsinghua University (2012) and M.S./Ph.D. degrees from the University of Michigan (2017). Research Interests: Low-power digital/analog/mixed-signal systems Bioelectronics and implantable devices Hardware security and PUF design Mixed-signal computing and emerging materials Recent work emphasizes magnetoelectric-powered implants, secure backscatter communication, and in-memory computing architectures. His publications span top venues like IEEE ISSCC, IEDM, and ACM MobiCom. Awards: 2022 NSF CAREER Award 2022 IEEE Top Picks in Hardware Security 2016 IEEE SSCS Predoctoral Achievement Award Dr. Yang serves on editorial boards for IEEE TVLSI and program committees for ISSCC/CICC. His lab develops miniature, secure, and energy-efficient systems for healthcare and IoT applications.

• Software Verification
• Formal Methods
• Programming Languages
• +۵ مورد دیگر

Jenna Wise DiVincenzo is an Assistant Professor at the Elmore Family School of Electrical and Computer Engineering at Purdue University. She specializes in research areas such as software verification, formal methods, and programming languages, with a focus on gradual verification techniques that combine static and dynamic analysis. Her work emphasizes usability and scalability in verification tools, and she has contributed to projects like Gradual C0 and gradual null-pointer analysis. Dr. DiVincenzo earned her PhD in Software Engineering from Carnegie Mellon University (2023) and a BS in Mathematics and Computer Science from Youngstown State University (2017). She has interned at IBM Research, MIT Lincoln Laboratory, and the Software Engineering Research and Empirical Studies Lab at YSU. Her awards include the Google PhD Fellowship, NSF GRFP Fellowship, and 2022 Rising Star in EECS. Her research projects span theoretical advancements in gradual verification, empirical studies on usability, and practical tool development. She advises PhD students (e.g., Craig Liu, Conrad Zimmerman) and collaborates on initiatives like gradual verification for Rust and educational tools to teach verification concepts. Her work also explores leveraging large language models for specification generation and enhancing verification tool soundness through formal proofs.