Find Academic Supervisors

Dawn SongView profile

Professor

• Artificial Intelligence
• Cybersecurity
• Machine Learning
• +7 more

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.

Kaiming HeView profile

Associate Professor

• Computer Vision
• Deep Learning
• Machine Learning
• +6 more

Kaiming He is an Associate Professor with tenure in the Department of Electrical Engineering and Computer Science (EECS) at the Massachusetts Institute of Technology (MIT), holding the Douglas Ross (1954) Career Development Professor of Software Technology chair. He also works part-time as a Distinguished Scientist at Google DeepMind. Prior to joining MIT in 2024, he was a research scientist at Facebook AI Research (FAIR) from 2016 to 2024, and a researcher at Microsoft Research Asia (MSRA) from 2011 to 2016. Dr. He received his PhD from the Chinese University of Hong Kong in 2011 and his Bachelor of Science from Tsinghua University in 2007. His academic journey reflects a strong foundation in computer science and engineering that has led to transformative contributions in artificial intelligence. His research primarily focuses on computer vision and deep learning, with pioneering work on deep residual networks (ResNets), visual object detection and segmentation, and self-supervised learning. He is best known for his work on Deep Residual Networks (ResNets), recognized as the most-cited paper of the twenty-first century. The residual connections he pioneered are now fundamental components in modern deep learning architectures including Transformers, AlphaGo Zero, AlphaFold, and various generative AI models. His recent publications demonstrate continued innovation across generative models, transformer architectures, and cross-disciplinary AI applications. His work bridges theoretical advances in neural network design with practical implementations that address real-world challenges in physics, biology, and other scientific domains. PAMI Young Researcher Award (2018) Best Paper Award, CVPR (2009, 2016) Best Paper Award, ICCV (2017) Best Student Paper Award, ICCV (2017) Everingham Prize, ICCV (2021) Most-cited paper of the twenty-first century Dr. He advises graduate students including Jake Austin, Xingjian Bai, and Mingyang Deng, and teaches advanced courses such as "6.S978: Deep Generative Models" (Fall 2024) and "6.8300/6.8301: Advances in Computer Vision" (Spring 2024). His research group actively explores how AI can serve as a unifying framework across scientific disciplines, breaking down traditional barriers between fields through shared methodologies and tools.

Tianqi ChenView profile

Assistant Professor

• Machine Learning
• Deep Learning Systems
• Compiler Optimization
• +6 more

Tianqi Chen is an Assistant Professor at the Machine Learning Department and Computer Science Department of Carnegie Mellon University (CMU), with a courtesy appointment as a Professor in the Electrical and Computer Engineering Department within the College of Engineering. His research focuses on scalable machine learning systems, compiler optimization, and efficient deep learning frameworks. He holds a PhD from the Paul G. Allen School of Computer Science & Engineering at the University of Washington. Key contributions include the creation of XGBoost, Apache TVM, and MLC-LLM—widely adopted systems for machine learning and large language models. His work bridges algorithmic innovation with high-performance computing, emphasizing efficient deployment, quantization, and edge computing. Recent publications highlight advancements in LLM serving (e.g., WebLLM, Flashinfer), compiler-driven optimizations (e.g., TVM, Relax), and low-latency inference techniques (e.g., Magicdec, Tilus). These efforts address scalability, energy efficiency, and cross-platform compatibility in modern AI systems. Chen’s research has been applied to diverse domains, including music AI, browser-based inference, and microservice architectures for LLMs. His work underscores the importance of system-level thinking in advancing AI capabilities.

• Computer Vision
• Machine Learning
• Visual Reasoning
• +7 more

Justin Johnson is an Assistant Professor at the University of Michigan's College of Engineering, Department of Electrical Engineering and Computer Science, and a Research Scientist at Facebook AI Research (FAIR). His work bridges computer vision, machine learning, and deep learning, focusing on visual reasoning, vision-language tasks, image generation, and 3D reasoning using neural networks. PhD, Stanford University (advised by Fei-Fei Li) His research interests span visual reasoning , vision and language , 3D vision , and image generation , with a focus on innovative applications of deep neural networks. Recent publications highlight work on 3D consistency, self-supervised learning, and multimodal integration of vision and text. Notable contributions include PyTorch3D for 3D data processing, and foundational work in visual question answering , neural style transfer , and scene graph-based image generation . Publications span top conferences like ICCV, CVPR, and NeurIPS. He teaches courses including EECS 498/598: Deep Learning for Computer Vision and EECS 442: Computer Vision at University of Michigan, with prior involvement in Stanford's CS 231N in co-teaching roles. Software projects include open-source frameworks like fast-neural-style for real-time artistic style transfer, and PyTorch3D for efficient 3D deep learning. These tools demonstrate his commitment to practical implementations and community-driven research.

Diyi YangView profile

Assistant Professor

• Computational Social Science
• Natural Language Processing
• Socially Aware NLP
• +4 more

Dr. Diyi Yang is an Assistant Professor in the Computer Science Department at Stanford University. She leads the Social and Language Technologies (SALT) Lab, affiliated with the Stanford NLP Group, Stanford HCI Group, Stanford AI Lab (SAIL), and Stanford Human-Centered Artificial Intelligence (HAI). Her research focuses on socially aware natural language processing, large language models (LLMs), and human-AI interaction, aiming to improve human-human and human-computer communication through socially grounded AI systems. Education: Ph.D. in Language Technologies Institute, Carnegie Mellon University (2013–2019) B.S. in ACM Honored Class, Shanghai Jiao Tong University (2009–2013) Research Interests: Dr. Yang’s work bridges computational social science and NLP. She explores how AI can understand social contexts in language use and develop systems that respect cultural norms, ethical standards, and human values. Her lab’s projects include AI companions for skill training (e.g., Rehearsal Dialects), norm-aware LLMs (NormBank), and frameworks for human-AI collaboration (Co-Gym). Recent efforts address bias in AI, societal impacts of LLMs, and ethical evaluation of human-AI systems. Awards & Honors: 2024: Sloan Research Fellowship, ONR Young Investigator Award 2023: Adamic-Glance Young Distinguished Award (ICWSM), Kavli Fellow (NAS) 2022: NSF CAREER Award, Microsoft Research Faculty Fellow 2020: IEEE AI’s 10 to Watch Advising & Grants: Dr. Yang advises over 10 PhD students and postdocs, co-leading projects on LLM evaluation (SWE-bench/SWE-smith), human-AI ethics, and culturally aware NLP. Her research is supported by NSF, Amazon, DARPA, Google, and Stanford’s HAI initiative. Labs & Teams: The SALT Lab collaborates across disciplines, with projects spanning computer science, linguistics, and social sciences. Current initiatives include developing AI tools for mental health support (AI Partner & Mentor) and auditing societal impacts of LLMs.

Abhishek JainView profile

Associate Professor

• Cryptography
• Computer Security
• Privacy
• +5 more

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.

Yingyan LinView profile

Associate Professor

• Efficient Machine Learning
• Cross-Layer Innovations
• Green AI
• +7 more

Yingyan (Celine) Lin is an Associate Professor in the School of Computer Science at Georgia Institute of Technology, leading the Efficient and Intelligent Computing (EIC) Lab. Her work focuses on cross-layer innovations in machine learning systems, from algorithms to chip design, aiming to advance green AI and ubiquitous machine learning. She holds a Ph.D. in Electrical and Computer Engineering from the University of Illinois at Urbana-Champaign (2017). Research interests include efficient machine learning, neural rendering (e.g., NeRF), hardware-software co-design for AI acceleration, and graph neural networks. Her lab has pioneered projects like RTML and 3DML, funded by NSF, NIH, DARPA, and industry partners (Qualcomm, Intel, Meta). Awards: NSF CAREER Award (2021), ACM SIGDA Outstanding Young Faculty (2022), Meta Faculty Research Award (2022) Grants: Multi-university projects funded by NSF, NIH, DARPA, SRC, ONR, and industry Recognition: First-place wins at DAC 2022 and TinyML Design Contest 2022, IEEE Micro Top Pick 2023 Her research bridges algorithmic innovation with hardware implementation, emphasizing energy efficiency and real-time performance for applications in AR/VR, computer vision, and neuro-symbolic AI systems.

Adrian WellerView profile

Research Professor

• Artificial Intelligence
• Machine Learning
• Explainability
• +9 more

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.

• Telecommunication Networks
• Beyond 5G/6G Mobile Networks
• Edge/Cloud Computing
• +7 more

Cicek Cavdar is an Associate Professor at the School of Electrical Engineering and Computer Science (EECS) at KTH Royal Institute of Technology , Sweden. She leads the Intelligent Network Systems research group and specializes in Telecommunication Networks , with a focus on Beyond 5G/6G Mobile Networks , Energy Efficiency , and AI-Assisted Network Management . PhD in Computer Science (2009) from University of California, Davis and Istanbul Technical University Her research spans Cell-Free Massive MIMO , Reconfigurable Intelligent Surfaces (RIS) , UAV Communication Systems , and Green Network Technologies . She actively contributes to 6G Network Architecture and Non-Terrestrial Networks , including satellite and aerial systems. Recent publications highlight AI-driven network optimization for handover management, energy-aware resource allocation , and multi-agent reinforcement learning in complex communication environments. She teaches advanced courses in Communication Systems , Machine Learning , and Software Engineering at KTH.

• Robotics
• Robot Learning
• Machine Learning
• +7 more

Lerrel Pinto is an Assistant Professor of Computer Science at the Courant Institute of Mathematical Sciences at New York University (NYU), where he leads the General-purpose Robotics and AI Lab (GRAIL) as part of the CILVR research group. His work bridges the gap between theoretical machine learning and practical robotics applications, with a focus on enabling robots to generalize and adapt in real-world environments. Dr. Pinto received his undergraduate degree from IIT Guwahati, followed by a PhD from the Robotics Institute at Carnegie Mellon University (CMU). He then completed a postdoctoral fellowship at the University of California, Berkeley before joining NYU as faculty. His research program centers on robot learning and decision making, with several key thrusts that demonstrate his innovative approach to robotics. Pinto's work emphasizes large-scale learning techniques that leverage both extensive data and sophisticated model architectures. A significant portion of his research focuses on representation learning for sensory data, particularly developing methods that enable robots to make sense of visual, tactile, and auditory inputs. His lab has made notable contributions to reinforcement learning algorithms that allow robots to adapt to new scenarios with minimal retraining. Pinto also champions open-source robotics , developing affordable robot platforms that democratize access to robotics research. Analysis of Pinto's recent publications reveals a strong trend toward multimodal perception in robotics, integrating visual, tactile, and auditory information to create more robust robot systems. His work increasingly focuses on zero-shot and few-shot learning capabilities, enabling robots to handle novel situations without extensive retraining. There's also a clear progression toward general-purpose robotics , moving away from task-specific solutions toward more flexible systems that can handle diverse real-world challenges. Dr. Pinto's scientific contributions have been recognized with several prestigious awards: Sloan Research Fellowship (2025) NSF CAREER Award (2024) RAL Early Career Award (2024) Best Student Paper Award at ICRA (2016) Outstanding Paper Award at MFM-EAI workshop at ICML (2024) Best Paper Award at NGSM workshop at ICML (2024) Best Student Paper Award at RSS (2023) As an advisor, Pinto has mentored numerous students who have gone on to impactful careers in both academia and industry. His former PhD student Denis Yarats co-founded Perplexity.AI, while Mahi Shafiullah became a postdoc at UC Berkeley and Meta AI. Many of his Masters students have pursued PhDs at top institutions like CMU, MIT, and Stanford, or joined leading robotics companies including 1X, Fauna Robotics, and NVIDIA. Pinto's lab has secured significant research funding, including the NSF CAREER award and likely other grants supporting his robotics research program. The General-purpose Robotics and AI Lab (GRAIL) that Pinto leads brings together a diverse team of researchers working on cutting-edge robotics challenges. The lab maintains strong collaborations with industry partners and other academic institutions, facilitating technology transfer and real-world impact. GRAIL's research spans multiple robotics platforms and focuses on developing algorithms that enable robots to learn from diverse experiences and generalize across environments.

Michael CarbinView profile

Assistant Professor

• Programming Systems
• Approximate Computing
• Probabilistic Programming
• +4 more

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 .

Greg DurrettView profile

Associate Professor

• Natural Language Processing
• Machine Learning
• Artificial Intelligence
• +7 more

Greg Durrett is an Associate Professor in the Department of Computer Science at University of Texas at Austin, leading the TAUR Lab (Text Analysis, Understanding, and Reasoning ). His research focuses on advancing Large Language Models (LLMs) for knowledge-intensive tasks in medical information processing scientific discovery legal reasoning . He received his B.S. in Computer Science and Mathematics from MIT (2010) and Ph.D. in Computer Science from UC Berkeley (2016). His work develops techniques to train LLMs with new capabilities augment models for reliability assess model outputs improve reasoning frameworks . His 15 most recent publications (2021-2025) span knowledge propagation in LLMs chain-of-thought reasoning code generation benchmarks multi-modal reasoning fact verification discourse analysis . Scientific honors include NSF CAREER Award (2024) NSF grants (2018, 2024) Bloomberg Data Science Grant (2017) Facebook Fellowship (2014) Best Paper Finalist (EMNLP 2013) . Teaching: CS388: Natural Language Processing (graduate) CS371N: NLP (undergraduate) High school NLP module .

Tanzeem ChoudhuryView profile

Professor

• Ubiquitous Computing
• Mobile Sensing Systems
• Wearable Technology
• +4 more

Tanzeem Choudhury is a Professor at the Jacobs Technion-Cornell Institute at Cornell Tech, specializing in Information Sciences. She co-founded HealthRhythms Inc. and directs the People-Aware Computing lab, focusing on machine learning for human activity and social network analysis. Her work pioneered the 'Reality Mining' field, leveraging mobile sensors to model social interactions. Choudhury holds a Ph.D. from MIT's Media Lab and B.S. in Electrical Engineering from the University of Rochester. Her research spans wearable tech, mental health interventions, and ubiquitous computing. Notable projects include affective touch wearables for anxiety reduction, stress detection systems (e.g., StressSense), and the BeWell app for well-being monitoring. Choudhury has been recognized as an ACM Fellow and SIGCHI Academy member, with impactful contributions to healthcare technology and sensor-based behavioral analysis. Current lab initiatives include developing closed-loop interventions for mental health, equity-driven sensing systems, and exploring AI integration in psychotherapy. She advises PhD students on topics like digital biomarkers, burnout detection in healthcare workers, and smartphone-based mental health assessment. Education: Ph.D. in Media Arts & Sciences (MIT), M.S. (MIT Media Lab), B.S. in Electrical Engineering (University of Rochester) Lab Team: Includes PhD candidates (Dan Adler, Yiran Zhao) and researchers focusing on health AI, wearable devices, and clinical applications. Major Awards: ACM Fellowship (2020), SIGCHI Academy (2018), Best Paper Awards at Ubicomp and MobileHCI conferences. Key Projects: OptoBeat (skin-tone calibrated blood oxygen sensor), EmotionCheck (anxiety intervention), and Affective Touch devices.

Harris H. WangView profile

Associate Professor

• Systems Biology
• Synthetic Biology
• Genome Engineering
• +17 more

Harris H. Wang is an Associate Professor in the Department of Systems Biology and Department of Pathology and Cell Biology at Columbia University's Vagelos College of Physicians and Surgeons, where he also serves as Interim Chair of Systems Biology. He is affiliated with the Center for Computational Biology and Bioinformatics (C2B2) and the Integrated Program in Cellular, Molecular and Biomedical Studies (CMBS). B.S., Physics and Mathematics, MIT Ph.D., Biophysics, Harvard University Dr. Wang's research lies at the intersection of systems and synthetic biology, focusing on developing foundational technologies for genome engineering, microbiome manipulation, and synthetic genomics. His lab pioneers methods such as MAGE, MAGIC, CAST, and CAMII to enable high-throughput genetic manipulation, in situ microbiome engineering, and AI-driven microbial culturomics. Key research themes include understanding microbial community dynamics, engineering cellular memory systems, designing biocontained genetic circuits, and applying synthetic biology to human health challenges in personalized medicine and infectious disease. His recent publications reveal a strong trend in spatial and functional metagenomics, CRISPR-based microbiome editing, and synthetic biology tools for data storage and genetic stability. The articles span high-impact journals like Nature , Science , and Nature Biotechnology , reflecting his leadership in developing scalable, programmable biological systems. Scientific Awards: NIH Director’s Early Independence Award Forbes 30 Under 30 in Science Sloan Research Fellowship NSF CAREER Award ONR Young Investigator Award Burroughs Wellcome Fund PATH Award Schaefer Scholar Blavatnik National Award Vilcek Prize PECASE Dr. Wang has advised numerous PhD and postdoctoral researchers, many of whom have gone on to independent scientific careers. His lab is supported by major grants from NIH, NSF, DARPA, DOE, and foundations including the Bill & Melinda Gates Foundation and CZ Biohub NY. He is actively involved in educational initiatives, including organizing Columbia’s iGEM team and the Cold Spring Harbor Laboratory Synthetic Biology course. The Wang Lab is based at the Columbia University Irving Medical Center and is part of national consortia such as the Engineering Biology Research Consortium (EBRC) and the Genome Project-Write (GP-Write) initiative. The lab develops and applies cutting-edge technologies in automation, machine learning, and synthetic biology to engineer microbiomes for applications in medicine, global health, and climate change.

• Distributed Systems
• Cryptocurrencies
• Computer Security
• +7 more

David Mazières is a Professor at Stanford University , affiliated with the School of Engineering and the Department of Computer Science . He serves as a software engineer at the Stellar Development Foundation . His work bridges academic research and industry applications in distributed systems and security. University: Stanford University Academic Rank: Professor Email: dm@scs.stanford.edu Research Interests: David Mazières' research focuses on distributed systems , cryptocurrencies , and computer security . Key areas include consensus protocols (e.g., Stellar ), low-latency scheduling ( Syrup , Shinjuku ), and cryptographic techniques for privacy and security ( SafetyPin , CCFI ). Key Achievements: His notable works include: TCP-ENO (RFC 8547) for secure transport protocols Stellar Consensus Protocol for decentralized finance SOSP 1999 Best Paper for 'Separating key management from file system security' Teaching Contributions: He has taught core and advanced courses at Stanford since 2005, including CS212 (Operating Systems) , CS240h (Functional Systems in Haskell) , and CS251 (Cryptocurrencies and Blockchain Technologies) . Previously taught courses at NYU (2001-2005).