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

• 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.

Noah D. Goodmanمشاهده پروفایل

دانشیار

• Computational models of cognition
• Probabilistic programming languages
• Natural language semantics and pragmatics
• +۶ مورد دیگر

Noah D. Goodman is Associate Professor of Psychology and Computer Science, and Linguistics (by courtesy) at Stanford University. He directs the Computation & Cognition Lab (CoCoLab) at Stanford, where he leads research on computational models of cognition, integrating logic and probability. His work spans cognitive psychology, linguistics, and computer science. Primary Appointment: Psychology Department By Courtesy: Computer Science Department and Linguistics Department Director: Computation & Cognition Lab (CoCoLab) Goodman's research focuses on computational models of cognition, with particular interest in probabilistic approaches to understanding human thought. His work integrates logic and probability to model concepts, categorization, intuitive theories, causal learning and reasoning, social cognition (including reasoning about others' goals, beliefs, and actions), cognitive development (especially acquisition of abstract knowledge), and natural language semantics and pragmatics. He has made significant contributions to the development of probabilistic programming languages as tools for cognitive modeling. His recent publications demonstrate a strong trend toward integrating probabilistic modeling with linguistic theory and social cognition. The articles span computational cognitive science, natural language processing, and artificial intelligence, with a consistent theme of using probabilistic frameworks to understand complex cognitive phenomena. Many papers explore how humans make inferences under uncertainty across different domains. Goodman teaches several courses at Stanford including Language and Thought (Psych 132), Computation and Cognition: the Probabilistic Approach (Psych 204/CS 428), Foundations of Cognition (Psych 205), and Introduction to Cognitive Science. He has also led seminars on topics ranging from natural and artificial intelligence to the science of meditation.

Rajeev Alurمشاهده پروفایل

استاد

• Formal Methods
• Artificial Intelligence
• Cyber-Physical Systems
• +۶ مورد دیگر

Rajeev Alur is the Zisman Family Professor in the Department of Computer and Information Science at the University of Pennsylvania, leading the School of Engineering and Applied Science. He is the Founding Director of the ASSET Center for Trustworthy AI and a member of the PRECISE Center. His research focuses on formal methods for system design, integrating AI, cyber-physical systems, and machine learning with logical reasoning to ensure safety in autonomous systems. Alur has held leadership roles in major NSF projects like ExCAPE and has directed the Embedded and Multi-Scale Systems (EMBS) program. His research interests span formal verification, temporal logics, programming abstractions, and synthesis techniques. Notable contributions include the development of Nested Words (visibly pushdown languages), streaming string transducers, and tools like AutomataTutor for education. He has advised over 60 PhD students and postdocs, many of whom now hold academic and industry leadership positions. Alur’s awards include the 2024 Knuth Prize and the 2016 Alonzo Church Award. His work on Verisig and compositional verification of neural networks has advanced safety-critical AI applications. He teaches foundational courses like CIS 2620 and develops educational tools, emphasizing both theoretical rigor and practical impact. Key projects include the ASSET Center’s focus on trustworthy AI, integration of logical specifications in reinforcement learning, and formal verification of closed-loop systems with neural components. His publications span over 350 papers, with recent work addressing neurosymbolic learning, security in large language models, and efficient neural network verification.

Colin Jonesمشاهده پروفایل

دانشیار

• Optimal Control
• Model Predictive Control
• Optimization
• +۶ مورد دیگر

Colin Jones is an Associate Professor at the École Polytechnique Fédérale de Lausanne (EPFL) in the Automatic Control Laboratory, School of Engineering. He earned his BASc and MASc in Electrical Engineering and Mathematics from the University of British Columbia (1994-2002) and a PhD in Control Theory from the University of Cambridge (2002-2005). Prior to EPFL, he was an assistant professor there and a senior researcher at ETH Zürich. Current role: Director of the Robotics, Control, and Intelligent Systems Doctoral Program at EPFL Research focus: Optimization-based and model predictive control (MPC) for renewable energy systems, green energy management, and data-driven control methods His recent work (2023-2025) spans high-speed predictive control , smart grid optimization , and physically consistent neural networks , with applications to buildings, hovercrafts, and power systems. He has secured an ERC Starting Grant for his research on optimal control of building networks. Publications include over 200 papers in journals like Automatica , IEEE Transactions , and Energy and Buildings . Notable article trends include distributed optimization , data privacy in energy systems , and nonlinear MPC for autonomous vehicles . Scientific Awards : ERC Starting Grant for optimal control of building networks Advising : Supervises 10 current PhD students and has advised 19 past PhD students, including Alessandretti Andrea and Diwale Sanket Sanjay. Grants and projects emphasize smart energy systems , predictive demand response , and nonlinear control .

Sam Statonمشاهده پروفایل

استاد

• Programming Language Theory
• Probabilistic Programming
• Quantum Computing
• +۳ مورد دیگر

Sam Staton is a Professor of Computer Science at the University of Oxford and Senior Research Fellow at Jesus College. He holds a Royal Society University Research Fellowship and leads the ERC-funded BLaSt project on probabilistic programming. His research focuses on programming language theory, particularly probabilistic and quantum programming, and category theory. Staton earned his PhD from the University of Cambridge in 2007, with prior roles as a lecturer and researcher at Cambridge, Paris, and Nijmegen. Research Interests: His work explores foundational aspects of programming languages, including semantics, algebraic effects, and applications to quantum computing and statistical modeling. Recent grants include the ARIA Safeguarded AI initiative and an AFOSR award. Education: PhD in Computer Science (2007), BA from Cambridge (2002). Students & Collaborators: Supervises multiple PhD students and postdocs, including those funded through his grants. Notable advisees include Swaraj Dash (now at Heriot-Watt) and Mathieu Huot (postdoc at MIT). Awards & Grants: Royal Society Fellowship, ERC Consolidator Grant (BLaSt), EATCS Best Paper Award, and Facebook Research Award. Labs & Teams: Leads the BLaSt project and collaborates on quantum programming via algebraic effects. Engaged in editorial roles for ACM Transactions on Quantum Computing and program committees for major conferences like POPL and LICS.

Anush Tserunyanمشاهده پروفایل

استاد

• Mathematics
• Ergodic Theory
• Combinatorics
• +۳ مورد دیگر

Anush Tserunyan is a Professor of Mathematics at McGill University, Canada, and a Visiting Professor at the Unit of Pure and Applied Mathematics (UMPA) at École normale supérieure de Lyon from December 1, 2024, to January 31, 2025. She holds a bachelor's and master's in computer science and applied mathematics from Yerevan State University (2005–2007) and a Ph.D. in Mathematics from UCLA (2013), focusing on finite generators for group actions, equivalence relations, and recursive program complexity. Research Interests: Anush Tserunyan specializes in Ergodic Theory , Combinatorics , and Group Actions , with notable contributions to graph theory, hypergraphs, and Ramsey theory. Her work bridges combinatorial structures with analytic methods, particularly in dynamical systems and descriptive set theory. Collaborations: During her visit to UMPA, she collaborates with teams in Geometry, Groups and Dynamics , and Number Theory , alongside researchers like Benjamin Schraen and Sophie Morel. Her stay includes seminars on GGD, Number Theory, and the 'Actions!' working group. Publications: Her research spans topics like ergodic theorems, disjoint matchings in graphs, and algebraic hypergraphs, reflecting a focus on foundational mathematical structures and their applications.

Freda Shiمشاهده پروفایل

استادیار

• computational linguistics
• natural language processing
• computational multilingualism
• +۵ مورد دیگر

Freda Shi is an Assistant Professor at the David R. Cheriton School of Computer Science at the University of Waterloo and a Faculty Member at the Vector Institute, where she holds a Canada CIFAR AI Chair. She joined the University of Waterloo in July 2024 after completing her Ph.D. at the Toyota Technological Institute at Chicago. Educational Background: Ph.D. in Computer Science, Toyota Technological Institute at Chicago (2024), advised by Professors Karen Livescu and Kevin Gimpel Bachelor's degree in Intelligence Science and Technology (Computer Science Track) with a minor in Sociology, Peking University (2018) Dr. Shi's research focuses on computational linguistics and natural language processing, particularly on deeper understandings of natural language and the human language processing mechanism. She is especially interested in learning language through grounding, computational multilingualism, and related machine learning aspects. Her work aims to inform the design of more efficient, effective, safe, and trustworthy NLP systems. She leads the CompLING Lab at the University of Waterloo, which investigates how language models process spatial relationships and acquire linguistic structures through grounded experiences. Her publication record shows a consistent trajectory of high-impact research, with recent work focusing on spatial reasoning in vision-language models, multilingual chain-of-thought capabilities, and grounded language acquisition. She has published in top-tier conferences including ACL, EMNLP, ICLR, and NAACL, with several papers receiving notable recognition including Best Paper Nominee status at multiple venues. Her research bridges theoretical linguistics with practical NLP applications, demonstrating how linguistic insights can improve AI systems. Scientific Recognition: Canada CIFAR AI Chair (2024) Google Ph.D. Fellowship Thesis of Distinction for her doctoral work Multiple Best Paper Nominee awards at major NLP conferences Dr. Shi teaches CS 784: Computational Linguistics and CS 486/686: Introduction to Artificial Intelligence at the University of Waterloo. She actively contributes to the NLP research community through conference participation, program committee service, and collaborative projects. Her research has significant implications for creating more robust, human-like language understanding systems and advancing the field of grounded language learning in artificial intelligence.

Peter A. Flachمشاهده پروفایل

استاد

• Machine Learning
• Artificial Intelligence
• Explainable AI (XAI)
• +۳ مورد دیگر

Peter A. Flach is Professor of Artificial Intelligence at the Intelligent Systems Laboratory, School of Computer Science, University of Bristol, where he has been faculty since 1997 and was promoted to Professor in 2003. He currently directs the UKRI AI Centre for Doctoral Training in Practice-Oriented Artificial Intelligence and serves as Vice-President of the European Association for Data Science (EuADS), having previously served as its President. His research centers on rigorous evaluation and improvement of machine learning systems, with seminal contributions to classifier calibration (including Beta Calibration and Precision-Recall-Gain curves), explainable AI frameworks, and data science methodology. He pioneered the extension of CRISP-DM to data science trajectories and developed Explainability Fact Sheets for systematic assessment of XAI approaches. His work bridges theoretical foundations with practical deployment in real-world systems. Analysis of his recent publications reveals a dominant focus on interpretable and reliable machine learning, with strong emphasis on performance evaluation metrics, model calibration techniques, and human-centered explainability. His research increasingly addresses healthcare applications through projects like SPHERE and clinical decision support systems, while maintaining core contributions to fundamental ML theory. His scientific recognition includes prestigious fellowships: Fellow of the European Lab for Learning and Intelligent Systems (ELLIS) Fellow of the European Association for Artificial Intelligence (EurAI) Professor Flach has secured major research funding including UKRI Centre for Doctoral Training grants and EU network funding (TAILOR). He leads extensive collaborations across Engineering, Population Health Science, and international institutions (Monash University, Polytechnic University of Valencia), plus over 20 industry partners in the Practice-Oriented AI CDT including LV= and QinetiQ. His work with the SPHERE project demonstrates successful translation of AI research into residential healthcare settings. He leads the Intelligent Systems Laboratory at Bristol, which develops influential open-source tools including the FAT Forensics Python toolbox for algorithmic fairness and the Explainability Fact Sheets framework. His lab maintains strong connections with the European AI community through ELLIS and EurAI, positioning Bristol as a hub for human-centered and methodologically rigorous AI research.

Joseph Eremondiمشاهده پروفایل

استادیار

• Programming Languages
• Type Theory
• Dependent Types
• +۱۲ مورد دیگر

Joseph Eremondi is an Assistant Professor in the Department of Computer Science at the University of Regina, Faculty of Science, Canada. He began his tenure in 2024 after serving as a Royal Society Newton International Fellow at the University of Edinburgh, where he conducted postdoctoral research with Ohad Kammar in the Laboratory for Foundations of Computer Science. He earned his PhD from the University of British Columbia (UBC) under the supervision of Ron Garcia at the UBC Software Practices Laboratory. His research is centered on programming languages theory, with a strong focus on type systems that enhance software reliability and usability. He is particularly known for his work in dependent types, gradual typing, and the integration of both paradigms. His research interests include: Dependent pattern matching and its semantic foundations Gradual dependent types and approximate normalization Error message generation and usability in dependently typed languages Static analysis using set constraints and SMT solvers Theoretical properties of reversal-bounded counter automata and shuffle operations His recent publications, appearing in premier venues like POPL, ICFP, and CPP, reflect a consistent trajectory toward making advanced type systems more accessible and practical. Key themes include coverage semantics for dependent pattern matching, formal models of gradual dependent typing, and improving the developer experience through better tooling and error diagnostics. Notable scientific recognitions include the NSERC Discovery Grant (awarded in 2025) and the prestigious Royal Society Newton International Fellowship. These awards underscore the impact and promise of his research program on the usability of dependently typed programming languages. Joseph is actively mentoring and recruiting graduate students, particularly in areas such as dependently typed programming (Lean, Agda, Idris, Coq), gradual typing, live programming environments, and static analysis. He emphasizes close collaboration within a small, focused research group. He has also served on program committees, including for TyDe and POPL Artifact Evaluation, demonstrating active engagement in the programming languages community. His work bridges theoretical rigor with practical implementation, evident in his artifact releases on GitHub and integration with tools like Ott and DrRacket. He maintains a personal website and open-source repositories that support reproducibility and community involvement.

Witold J. Heniszمشاهده پروفایل

استاد

• Political Risk Management
• ESG (Environmental, Social, Governance) Impact Analysis
• Stakeholder Engagement
• +۵ مورد دیگر

Witold J. Henisz serves as Vice Dean and Faculty Director of the Impact, Value, and Sustainable Business Initiative at The Wharton School, University of Pennsylvania, holding the Deloitte & Touche Professorship in Management. His research centers on political and social risk identification, ESG impact materiality, and corporate diplomacy frameworks that transform stakeholder relationships into strategic assets. His educational background includes a Ph.D. in Business and Public Policy from UC Berkeley's Haas School and an M.A. in International Relations from Johns Hopkins SAIS. Henisz has served as Departmental Editor at Journal of International Business Studies and Associate Editor at Strategic Management Journal , reflecting his scholarly influence. Research interests converge on geopolitical risk quantification, stakeholder engagement optimization, and sustainable business model innovation. His work demonstrates how political hazards materially impact firm valuation and how corporate diplomacy can mitigate conflict through strategic stakeholder alignment. Recent publications leverage massive media datasets (4+ billion articles) to model populism dynamics, indigenous land conflicts, and ESG-credit risk linkages. Award highlights include the Aspen Institute Ideas Worth Teaching Award (2020), Iron Prof recognition (2019), and Academy of International Business Fellowship. His geostrategy framework Geostrategy by Design (2024) provides executives with actionable methods for navigating geopolitical volatility. Aspen Institute Ideas Worth Teaching Award (2020) Iron Prof recognition (2019) Academy of International Business Fellow (2014-present) Multiple Wharton Excellence in Teaching Awards (2006-2021) Industry Studies Association Best Paper Award (2019) Henisz consults through PRIMA LLC for multinational firms (Rio Tinto, Shell), financial institutions (Eaton Vance, World Bank), and NGOs. His executive education programs train leaders in ESG integration and geopolitical risk management, while his KEROVKA crisis simulation develops real-time strategic response capabilities. Media frequently cites his expertise on ESG controversies, with 50+ major publications featuring his analysis since 2022 including Financial Times , Bloomberg , and Wall Street Journal .

• Secure Decentralized Systems
• Blockchain Technology
• Systems Security
• +۳ مورد دیگر

Prof. Bryan Ford leads the Decentralized/Distributed Systems (DEDIS) lab at EPFL. He focuses on secure decentralized systems, including blockchain technology, privacy, and systems security. He earned his Ph.D. from MIT and held faculty positions at Yale University and EPFL. His work spans distributed consensus protocols, peer-to-peer networking, and privacy-preserving systems. Key projects include QuePaxa (timeout-free consensus), UIA (global connectivity for mobile devices), and MedCo (secure healthcare data sharing). He advises numerous PhD students and contributes to open-source projects like Bitcoin collective signing and privacy networks like Riffle. Education: Ph.D., MIT; Postdoctoral work at Yale Research interests include blockchain scalability, consensus algorithms, and cryptographic privacy. His lab develops systems like TRIP for coercion-resistant voting and F3B to mitigate blockchain front-running. His work on NAT traversal and peer-to-peer protocols (e.g., STUN/ICE) remains foundational in network architecture. He emphasizes practical, auditable security solutions such as CertiKOS and atomic cross-chain transactions (Atom). Notable contributions: CoSi (collective signing), OmniLedger (sharded blockchain), and privacy-preserving protocols like PURBs (Protected Unsealable Recursive Boxes). His lab collaborates with Swiss Post to audit e-voting systems and designs democratic cryptocurrencies like PoPCoin.

Caroline Lemieuxمشاهده پروفایل

استادیار

• Programming Languages
• Software Engineering
• Fuzz Testing
• +۶ مورد دیگر

Caroline Lemieux is an Assistant Professor at the Department of Computer Science, University of British Columbia (UBC), with research focused on advancing software correctness, security, and performance through innovative testing and synthesis techniques. Her work bridges Programming Languages and Software Engineering , particularly in fuzz testing, specification mining, and program synthesis. PhD from University of California, Berkeley (2021), advised by Koushik Sen Postdoctoral researcher at Microsoft Research, NYC (2021-2022) Key contributions: FuzzFactory , CodaMOSA , Arvada , and Gauss Her research integrates machine learning with traditional testing methods, exemplified by projects like RLCheck (reinforcement learning for test generation) and AutoPandas (neural synthesis for dataframes). Recent publications analyze generator-based fuzzing challenges and propose hybrid strategies combining coverage feedback with AI-driven insights. Scientific Awards : ACM/SIGSOFT Best Paper Award (ESEC/FSE 2019) ACM/SIGSOFT Tool Demonstration Award (ISSTA 2019) ACM/SIGSOFT Distinguished Artifact Award (ISSTA 2019) NSERC Postgraduate Scholarship-Doctoral (PGS D) UBC Governor General's Silver Medal (2016) Teaching roles include: 2025W2: CPSC 539L - Topics in Programming Languages 2024W2: CPSC 410 - Advanced Software Engineering 2023W2: CPSC 410 (with Alex Summers) She supervises graduate and undergraduate researchers working on projects like ExploTest (automated unit test generation) and GRIMOIRE (grammar extraction from pseudo-rules). Her research team collaborates with institutions including Microsoft Research, Google, and academic partners in systems security and AI-driven testing.

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

استاد

• Language Acquisition
• Computational Linguistics
• Cognitive Development
• +۴ مورد دیگر

Charles Yang is a Professor of Linguistics and Computer Science at the University of Pennsylvania , where he also directs the Cognitive Science Program. His research integrates computational models with studies of language acquisition, processing, and evolution. Education: Ph.D. in Computer Science, MIT, 2000 Yang's work spans language acquisition , computational linguistics, and the evolution of cognition. He has authored The Price of Linguistic Productivity (2016), which received the Leonard Bloomfield Award from the LSA. Recent publications focus on large language models as cognitive models, the Chinese aspectual system , and statistical approaches to linguistic patterns. His 15 most recent articles (2025-2021) demonstrate a trajectory from computational models of language change to machine translation and multiword expression analysis . Yang has received significant funding from the National Science Foundation and the Guggenheim Foundation . He co-directs the Integrated Language Science and Technology group with John Trueswell and mentors students in linguistics, computer science, and psychology.

Anand V Natarajanمشاهده پروفایل

استادیار

• Quantum Information Theory
• Quantum Complexity Theory
• Nonlocality and Bell Inequalities
• +۳ مورد دیگر

Anand V Natarajan is the ITT Career Development Professor in Computer Technology and Assistant Professor in the Department of Electrical Engineering and Computer Science (EECS) at MIT, with affiliation to the Computer Science and Artificial Intelligence Laboratory (CSAIL). He holds a PhD in Physics from MIT (2018), advised by Aram Harrow, and previously served as a postdoc at Caltech's Institute for Quantum Information and Matter. His research focuses on theoretical quantum information, emphasizing quantum complexity theory (e.g., MIP* and QMA(2) classes), nonlocality (Bell inequalities, nonlocal games), and semidefinite programming hierarchies. He teaches courses such as Quantum Cryptography, Quantum Systems Engineering, and Introduction to Algorithms at MIT. Notable contributions include resolving the MIP* = RE problem and the FOCS 2019 Best Paper Award for NEEXP ⊆ MIP*. He advises PhD students in quantum computing topics and collaborates extensively on quantum verification protocols and entanglement testing.

Robert Dickمشاهده پروفایل

استاد

• Embedded Systems
• Learning Dynamics
• Efficient Machine Learning
• +۶ مورد دیگر

Robert Dick is a Professor in the Department of Electrical Engineering and Computer Science at the University of Michigan, part of the College of Engineering. He previously held roles as Associate Professor at Northwestern University and Visiting Professor at Tsinghua University. He earned his Ph.D. from Princeton University and a Bachelor's degree from Clarkson University. His research focuses on Embedded Systems, Learning Dynamics, Efficient Machine Learning, Privacy, and Censorship Resistance. Key themes include defining problems with correct costs/constraints, broadening access to information technology, mitigating negative tech impacts, and solving inference problems with limited resources. He leads the Embedded Systems Graduate Program and is a member of the Michigan Integrated Circuits Laboratory (MICL). His work spans thermal management, energy-efficient computing, and low-power wireless networks. Notable contributions include innovations in embedded system design, machine vision frameworks, and sensor networks. Courses taught include EECS 507 (Embedded Systems Research), EECS 373 (Embedded System Design), and ENGR 100 (Autonomous Systems). His recent publications emphasize AI model analysis, energy-efficient networks, and environmental sensing. Projects include MemX (attention-aware wearable tech) and LoRa-based LPWAN protocols. Dick co-founded Stryd, a company commercializing embedded systems innovations.