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

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.

Nadia Polikarpovaمشاهده پروفایل

دانشیار

• Program Synthesis
• Program Verification
• Type Systems
• +۵ مورد دیگر

Nadia Polikarpova is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego . She earned her PhD from ETH Zurich in 2014 under Bertrand Meyer , followed by postdoctoral research at MIT CSAIL with Armando Solar-Lezama . Her academic contributions have been recognized with prestigious awards including the 2020 Sloan Fellowship , 2020 Intel Rising Stars Award , and 2020 NSF CAREER Award . Polikarpova's research focuses on program synthesis , program verification , and type systems . She leads the Programming Systems group at UCSD and contributes to the IFIP Working Group 2.8 on Functional Programming since 2022. Her work spans foundational research and practical tools, including projects like Synquid , SuSLik , and Laurel that combine formal methods with machine learning for code generation. Her recent publications in venues like OOPSLA , NeurIPS , and ICFP reveal trends in AI-assisted programming , live programming environments , and formal verification . She has advised numerous PhD and Master’s students including Shraddha Barke , Zheng Guo , and Tristan Knoth , many of whom have moved to prominent academic and industry positions. Notable artifacts from her lab include tools like ColDeco for spreadsheet inspection and Superfusion for eliminating intermediate data structures. 2020 : Sloan Fellow 2020 : Intel Rising Stars Award 2020 : NSF CAREER Award 2021 : Distinguished Paper at POPL 2023 : Distinguished Artifact at PLDI 2023 : Distinguished Paper at OOPSLA Polikarpova actively contributes to academic service, serving on program committees for PLDI , POPL , and OOPSLA , and co-chairing the OOPSLA Review Committee in 2023. She has delivered keynotes at APLAS'20 and PLDI'24 , emphasizing the integration of large language models with formal methods.

• Recommender Systems
• Machine Learning
• Natural Language Processing
• +۴ مورد دیگر

Julian McAuley is a Professor in the Department of Computer Science and Engineering at the University of California, San Diego's Jacobs School of Engineering. His research spans recommender systems, machine learning, natural language processing, music information retrieval, and multimodal learning. He maintains an active research group with numerous PhD students and postdocs working on cutting-edge AI problems. His research interests focus on developing advanced algorithms for personalized recommendation systems, with particular emphasis on sequential recommendation, multimodal learning, and integrating large language models with traditional recommendation approaches. His work bridges the gap between theoretical machine learning and practical applications across multiple domains including e-commerce, music, and healthcare. McAuley has published extensively in top-tier conferences including NeurIPS, ICML, KDD, SIGIR, and ACL, with his most recent work exploring the intersection of large language models and recommendation systems. His publications reveal a strong trend toward multimodal approaches that combine text, vision, and audio for more comprehensive understanding and recommendation. He has received significant research funding from major technology companies including Google, Amazon, Facebook, Adobe, and Samsung, as well as government agencies like the National Science Foundation and Department of Defense. His work has practical applications across multiple industries, with a focus on improving user experience through better personalization. McAuley advises numerous PhD students who have gone on to successful careers at leading technology companies and academic institutions. His former students include Wang-Cheng Kang and Jianmo Ni at Google DeepMind, Chris Donahue and Zachary Lipton as assistant professors at CMU, and Ruining He at Google Deepmind.

Marco Platznerمشاهده پروفایل

استاد

• Reconfigurable Computing
• Approximate Computing
• Self-Aware Computing
• +۷ مورد دیگر

Marco Platzner is a Professor for Computer Engineering at Paderborn University , Germany. He serves as the Dean of Research for the Faculty of Computer Science, Electrical Engineering and Mathematics and heads the Department of Computer Science. Previously, he held research positions at ETH Zurich, Stanford University, GMD (now Fraunhofer IAIS), and Graz University of Technology. Education: Diploma and PhD in Telematics (Graz University of Technology, 1991 and 1996), Habilitation in Hardware-Software Co-Design (ETH Zurich, 2002) Research Interests focus on reconfigurable computing, approximate computing, self-* computing, and embedded systems. His work addresses hardware security, FPGA design, and sustainable AI in data centers. Current projects include energy-efficient AI through deep neural network approximation for FPGAs (EKI-App) and lifecycle sustainability of socio-technical systems (SAIL). Publication Trends show expertise in FPGA security, approximate circuit synthesis, robotics, and hardware acceleration. Collaborations span robotics (ROS 2 integration), AI (transformer optimization), and cybersecurity (Trojan detection). Scientific Awards: ACM SIGDA Hall of Fame (2020) Significant Paper Award (FPL 2015) Best Paper Awards at IEEE ISVLSI (2024), ARC (2018), IEEE ReConFig (2015), and others Weierstraß Prize for Teaching (2008) Leadership Roles include membership in the board of Paderborn Center for Parallel Computing (PC2) and the Jenny Aloni Centre for Early Career Researchers. He has contributed to EU FP7 FET project EPiCS and German priority programs on embedded systems and organic computing.

Anders Rantzerمشاهده پروفایل

استاد

• Control Systems Theory
• Scalable Control
• Adaptive Control
• +۷ مورد دیگر

Anders Rantzer is a Professor of Automatic Control at the Department of Control Engineering, Faculty of Engineering, Lund University, Sweden. He has held visiting positions at Caltech (2004–2005) and the University of Minnesota (2015–2016) as the Taylor Family Distinguished Visiting Professor. His academic journey began with a PhD from KTH Stockholm in 1991, followed by a postdoc at the Institute for Mathematics and its Applications (IMA), University of Minnesota. His research interests center on modeling, analysis, and synthesis of control systems , with a strong focus on scalability, adaptation, and applications in energy networks . He is particularly known for foundational work in positive systems and integral quadratic constraints (IQCs) . These theoretical frameworks are critical in analyzing stability and robustness of large-scale interconnected systems. His work bridges mathematical rigor with practical engineering applications, especially in sustainable energy and networked systems. The recent publications and lecture materials reflect a consistent trajectory in scalable and robust control, optimization, and distributed systems. Themes such as large-scale convex optimization , nonlinear and stochastic control , and network dynamics dominate his scholarly output, indicating a sustained commitment to advancing control theory for complex, real-world systems. Scientific honors include: Fellow of IEEE Member of the Royal Swedish Academy of Engineering Sciences (IVA) Chairman of the Swedish Scientific Council for Natural and Engineering Sciences Chairman of the Royal Physiographic Society of Lund Rantzer has supervised numerous students and contributed extensively to academic leadership and education. He has been involved in major national and international research initiatives such as WASP (Wallenberg AI, Autonomous Systems and Software Program) and ELLIIT. His work includes developing educational tools and courses in control, optimization, and machine learning. He leads and contributes to research projects on autonomous systems, cloud control, and smart energy networks. He is affiliated with the Control Lab at LTH and participates in collaborative efforts such as the Nordic University Hub on Industrial Internet of Things (HI2OT). His work integrates theoretical advances with practical implementations in robotics, biomedical systems, and industrial automation.

Yangruibo Dingمشاهده پروفایل

استادیار

• Software Engineering
• Large Language Models
• Agentic Systems
• +۷ مورد دیگر

Yangruibo Ding is an incoming Assistant Professor in the Department of Computer Science at the University of California, Los Angeles (UCLA), and currently serves as a Postdoctoral Scientist at AWS Agentic AI. He has held significant research positions at Google DeepMind, Amazon AWS AI Labs, and IBM Research, establishing himself as a leading researcher in software engineering with a focus on large language models for code. His research focuses on developing large language models (LLMs) and agentic systems for software engineering. He specializes in training LLMs with advanced symbolic reasoning capabilities for debugging, testing, program analysis, and verification. His work aims to build efficient, collaborative agentic systems for complex software development and maintenance tasks, with particular emphasis on code generation, vulnerability detection, and execution-aware pre-training techniques. Dr. Ding's publication record reveals a strong trajectory toward enhancing code intelligence through comprehensive semantics reasoning and self-refinement approaches. His research spans multiple dimensions of software engineering including code completion, vulnerability detection, model evaluation, and cross-file context understanding, with applications across various programming languages and development environments. Dr. Ding has received numerous prestigious awards recognizing his contributions to the field: IBM Ph.D. Fellowship Award (2022-2024) ACM SIGSOFT Distinguished Paper Award (2023) IEEE TSE Best Paper Award Runner-up (2022) Ph.D. Service Award, Columbia CS (2025) NSF Student Travel Award for ESEC/FSE'23 (2023) ACM SIGSOFT CAPS Travel Grant (2023) NSF Travel Award for ICSE'22 (2022) As he establishes his research group at UCLA, Dr. Ding is actively seeking students with strong coding skills and experience in large language models, program analysis, verification, or security. He serves on program committees for major conferences including ICSE (2026), ASE (2024, 2025), and ESEC/FSE Artifacts Track (2023), and regularly reviews for top-tier conferences and journals in AI and software engineering. His research is conducted through collaborations with leading industry teams including AWS Agentic AI, Google DeepMind's Learning4Code team, and IBM Research's AI for Code team, creating a robust network of industry-academia partnerships that drive innovation in software engineering research.

• Requirements Engineering
• Goal Modeling
• Conceptual Modeling
• +۷ مورد دیگر

Sotirios Liaskos is an Associate Professor in the School of Information Technology at the Faculty of Science, York University. He is a leading researcher in requirements engineering and conceptual modeling, with a focus on goal models, empirical evaluation, and model-driven engineering. Research Interests: Requirements Engineering Goal and Conceptual Modeling Empirical Software Engineering Model-Driven Design and Automation Uncertainty and Decision-Theoretic Reasoning in Models Applications in Blockchain and Reinforcement Learning His recent work emphasizes the empirical validation of modeling constructs, the integration of decision theory into goal models, and the automated generation of secure workflows and AI training environments. He has led and co-authored numerous experimental studies on model comprehensibility and semantic quality. Publication Trends: His publications consistently appear in top venues like ER, RE, and iStar. The last five years show a strong trend toward empirical evaluation of modeling languages, decision-theoretic goal models, and applications of goal modeling in emerging domains such as blockchain and reinforcement learning simulation design. Scientific Contributions: Developed frameworks for empirical evaluation of modeling language ontologies (Peira framework). Advanced decision-theoretic approaches to goal modeling under uncertainty. Pioneered model-driven methods for generating blockchain simulators and reinforcement learning environments. Conducted foundational empirical studies on the comprehensibility of contribution links and visualization alternatives in goal models. Advising and Collaboration: He has advised several researchers including Ibrahim Jaouhar, Wisal Tambosi, Mehrnaz Zhian, and Saba Zarbaf. He maintains a highly collaborative research profile with frequent co-authorship with John Mylopoulos, Shakil M. Khan, and other international researchers. He has served as a co-editor for multiple iStar workshop proceedings, indicating leadership in the goal-oriented requirements engineering community. Labs and Teams: While no specific lab name is mentioned, his work is closely associated with research groups focused on requirements engineering and conceptual modeling, likely within York University’s software engineering research cluster. His collaborations span institutions in Canada, Europe, and beyond.

• Computational Pathology
• Medical Image Analysis
• Deep Learning
• +۴ مورد دیگر

Nasir M. Rajpoot is a Professor in the Department of Computer Science at the University of Warwick, UK. His research focuses on computational pathology, medical image analysis, and deep learning applications in histology. He leads interdisciplinary projects integrating artificial intelligence with healthcare, particularly in cancer diagnostics and pathology workflows. Rajpoot’s work emphasizes developing robust algorithms for histology image analysis, including nuclear segmentation, tumor classification, and domain generalization in computational pathology. His contributions include the TIAToolbox, an open-source framework for tissue image analytics, and the CoNIC Challenge to advance nuclear detection and counting in histology images. He collaborates with clinicians and biologists to translate AI models into clinical practice, addressing challenges like tumor heterogeneity and staining variability. Rajpoot’s research spans colorectal, lung, and oral cancers, with a focus on predicting clinical outcomes via histological features and genomic data integration. Notable projects include the development of Handcrafted Histological Transformer (H2T) for unsupervised representations of whole slide images and the SAFRON framework for histology image synthesis. His work addresses domain adaptation, robustness evaluation, and explainability in AI-driven pathology systems.

Benjamin Scott Flavelمشاهده پروفایل

استاد پژوهش

• Carbon Nanotubes
• Nanotechnology
• Photovoltaics
• +۷ مورد دیگر

Dr. Benjamin Scott Flavel is a Research Group Leader at the Institute of Nanotechnology, Karlsruhe Institute of Technology (KIT), Germany. His research focuses on carbon nanotubes and their applications in photovoltaics and sensing technologies. He leads a dynamic research team conducting cutting-edge work on the separation, purification, and application of single- and double-walled carbon nanotubes. Education: Doctor of Philosophy (Chemistry), Flinders University, Australia, 2010 Bachelor of Science in Nanotechnology (Honors), Flinders University, Australia, 2005 Habilitation in Materials Science, Technische Universität Darmstadt, 2018 His research interests lie at the intersection of nanotechnology and energy materials, particularly in carbon nanotube-based solar cells , chirality-specific separation techniques , and nano-sensing devices . His group has pioneered methods such as ATPE for enantiomer sorting and developed innovative solar cell architectures with industrial relevance. The research spans fundamental charge transport mechanisms to applied device engineering. The publication record shows a strong trend in advancing carbon nanotube photovoltaics, with key contributions in interface engineering, scalable fabrication, and high-efficiency CNT:Si solar cells. Work also extends to spectroscopic characterization, alignment techniques, and software tools for data analysis. Scientific Awards: Heisenberg Program, DFG (2018) Emmy Noether Program, DFG (2013) Alexander von Humboldt Research Fellowship (2011) Australian Government Endeavor Research Fellowship (2009) Bloom-Gutmann Prize, Royal Australian Chemical Institute (2008) Hope Meeting, Japanese Society for the Promotion of Science (2008) Research Fellowship, Flinders University (2007) Dr. Flavel has successfully advised multiple PhD students, including Dr. Moritz Pfohl, Dr. Katherine Moore, and Dr. Daniel Tune. His research has been supported by significant grants from the German Research Foundation (DFG), including funding for a double-walled carbon nanotube project and an organic evaporation system (~320,000 EUR). Collaborations span institutions such as NIST, Freie Universität Berlin, University of Antwerp, McMaster University, and University of Sydney. The research group operates within the Institute of Nanotechnology at KIT, utilizing advanced infrastructure for nanomaterials synthesis, characterization, and device fabrication. The team is recognized internationally, with work featured in Open Access Government , Research Features , and Europhotonics , and covered by Nanotechweb.

• Neuromorphic Computing
• Hardware Accelerators
• VLSI Circuits
• +۵ مورد دیگر

Prof. Dr. Tobias Gemmeke is a University Professor at RWTH Aachen University's Faculty of Electrical Engineering and Information Technology, leading the Chair of Integrated Digital Systems and Circuit Design. His work focuses on neuromorphic computing, hardware accelerators, and energy-efficient electronics. He has pioneered advancements in FPGA-based computational neuroscience simulators, neuromorphic processor architectures, and sensor integration for industrial and medical applications. Research interests include time-domain computing, ReRAM reliability, and co-optimization of neural networks with hardware. Notable contributions include the neuroAIx framework for accelerated neuroscience simulations and energy-efficient ASIC designs for post-quantum cryptography. He actively explores memristive devices and domain generalization techniques for edge computing. Recent publications highlight innovations in spiking neural networks, sensor systems for plain bearings, and time-domain compute-in-memory engines. His work bridges theoretical neuroscience with practical hardware implementations, emphasizing scalability and real-time performance.

Todd Millsteinمشاهده پروفایل

استاد

• Software Reliability
• Network Verification
• Programming Languages
• +۵ مورد دیگر

Todd Millstein is a Professor in the Computer Science Department at the University of California, Los Angeles (UCLA), and served as Department Chair from 2022–2025. He is also an Amazon Scholar and a co-founder and former Chief Scientist of Intentionet (now at AWS). His research focuses on making software systems more reliable, particularly through network verification and programming language techniques. He pioneered the Batfish network configuration analyzer, which is used by AWS, Oracle Cloud, and dozens of companies, and received the ACM SIGCOMM Networking Systems Award (2025) for this work. His recent publications span probabilistic programming, network reliability, and interactive program verification, including papers at PLDI 2024 (on bit blasting probabilistic programs), NSDI 2024 (on behavioral testing of BGP), and HotNets 2024 (on network layering). Todd has received prestigious awards such as an NSF CAREER Award , a Microsoft Research Outstanding Collaborator Award , and multiple best paper awards at PLDI, OOPSLA, and SIGCOMM. He has advised Ph.D. students like Ana Brendel and Poorva Garg , and teaches courses such as CS30 (Principles of Computing), CS231 (Types and Programming Languages), and CS239 (Current Topics in PL and Systems). His professional roles include Program Chair for OOPSLA 2014 and ECOOP 2018, and committee member for numerous conferences including PLDI , SPLASH , and LAFI .

Jonathan Külzمشاهده پروفایل

پژوهشگر

• Modular Robotics
• Robotics
• Reinforcement Learning
• +۳ مورد دیگر

Jonathan Külz is a Researcher at the Technical University of Munich (TUM) , affiliated with the Department of Informatics 6 - Chair for Cyber Physical Systems under Prof. Matthias Althoff. His research focuses on Modular Robotics , Reinforcement Learning , Cyber-Physical Systems , and Control Systems . His work includes algorithmic synthesis of modular robot compositions, model-based manipulator co-design, and unifying benchmarks for robotics. He has supervised multiple Master’s theses Bachelor’s theses Practical courses on topics like Robot Workspace Representation and Dynamic Model Identification . Notable supervised projects include Autonomous Navigation of Reachbot and Task-Based Modular Robot Configuration Synthesis . His recent publications span Robotics , Benchmarking , and Computational Social Science . Key trends include Computationally efficient assessment of robot capabilities Deep reinforcement learning for robotics Analysis of political discourse polarization Jonathan emphasizes structured thesis supervision, requiring exposés, shared folders, and protocol-driven meetings. He advocates for LaTeX in scientific writing and tools like NotebookLM and Zettlr for research documentation.

Alexander Kollerمشاهده پروفایل

استاد

• Computational Linguistics
• Neural-Symbolic Models
• Semantic Parsing
• +۵ مورد دیگر

Professor Alexander Koller is a leading academic in Computational Linguistics at Saarland University's Department of Language Science and Technology. He holds a courtesy appointment in Computer Science and contributes to the Saarland Informatics Campus - one of Europe's premier computer science research centers. He leads the Computational Linguistics group and serves as speaker for the DFG-funded Research Training Group 'Neuroexplicit Models of Language, Vision, and Action'. PhD in Computer Science (Saarland University) Former positions: University of Potsdam, Columbia University, University of Edinburgh Sabbatical experiences: Meta AI (Paris), Allen Institute for AI (Seattle) His research focuses on computational modeling of meaning and reasoning in NLP, combining neural and symbolic approaches. Key contributions include semantic parsing systems like the AM parser and Alto, neurosymbolic models, and the GIVE Challenge for NLG evaluation. His recent work explores LLMs' limitations in problem-solving and compositional generalization. Recent publications highlight diverse applications across semantic parsing, dialogue systems, and LLM evaluation. Awards include ACL 2020 Best Theme Paper and multiple Outstanding Paper recognitions at ACL conferences. 2025 - AI Action Summit keynote speaker 2023 - ACL Outstanding Paper Awards 2022 - ELLIS Faculty appointment He maintains the DialogOS system for spoken dialogue development and teaches advanced computational linguistics topics. His group includes multiple postdocs and PhD students working across LLMs, dialogue systems, and semantic modeling.

Thomas Hermannمشاهده پروفایل

پژوهشگر

• Auditory Data Science
• Interactive Sonification
• Smart Environments
• +۵ مورد دیگر

Dr. rer. nat. Thomas Hermann is a faculty member at Bielefeld University's Faculty of Engineering, leading the Ambient Intelligence Group and coordinating the Computer Science program. He specializes in sonification, auditory data science, and smart environments. Head of Ambient Intelligence Working Group Computer Science Program Coordinator Member of multiple academic advisory boards His research focuses on interactive sonification for biomedical applications, quantum systems, and smart environments. Key projects include ECG sonification for cardiac diagnosis, real-time auditory feedback in swimming, and sonic interfaces for AR cooperation. Recent publications span 2025 with Python-based sonification tools ( pya AGen ), quantum system sonification, and ST-elevation myocardial infarction monitoring. He contributes to open-access supplementary materials and interdisciplinary workshops. As a researcher , Hermann develops practical sonification frameworks like Panson for facial behavior analysis, CardioScope for portable ECG monitoring, and Base Cube One for smart environments. His work bridges academic research with industry applications.

Zachary Kincaidمشاهده پروفایل

دانشیار

• Program Analysis
• Formal Methods
• Programming Languages
• +۴ مورد دیگر

Zachary Kincaid is an Associate Professor in the Department of Computer Science at Princeton University's School of Engineering and Applied Science. His research focuses on program analysis, logic, and programming languages, with an emphasis on making program analysis compositional and robust. He received his PhD from the University of Toronto under the supervision of Azadeh Farzan. His work has been implemented in the Duet program analyzer, and he has an Erdős number of 3. Dr. Kincaid's research interests include: Compositional program analysis techniques Algebraic approaches to program analysis Termination analysis and ranking function synthesis Verification of concurrent and parallel programs Automated reasoning and decision procedures Analysis of numerical programs and loops His recent publications show a strong focus on developing novel techniques for program analysis that bridge theoretical computer science with practical verification tools, particularly in nonlinear analysis, quantified reasoning, and compositional verification. Dr. Kincaid has received research support from ONR grant N00014-19-1-2318 for his work on robust program analysis. He has advised graduate students including: Current: Jake Silverman, Nicolas Koh, Nikhil Pimpalkhare Graduated: Shaowei Zhu (PhD 2024, Researcher at Amazon), Charlie Murphy (PhD 2023, Postdoc at University of Wisconsin–Madison) Dr. Kincaid teaches courses including: COS 320 – Compiling Techniques (Spring 2024, 2022, 2020, 2019) COS 516 / ELE 516 – Automated Reasoning about Software (Fall 2025, 2022, 2018) COS 217 – Introduction to Programming Systems (Fall 2024) COS IW – Practical Solutions to Intractable Problems (Fall 2023, Spring 2023, 2018, 2017) COS IW – Little Languages (Spring 2018) COS 597D – Reasoning about concurrent systems (Fall 2016)