Nancy Lynch

Massachusetts Institute of Technology — United States

Computer Science · Physical Sciences

66h-index25.7kcitations553works92.82yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Distributed systems and fault tolerance(225), Formal Methods in Verification(125), Petri Nets in System Modeling(84), Optimization and Search Problems(80), Real-Time Systems Scheduling(54)

Publications553 total

An Introduction to Input/Output Automata
Formal Aspects of Computing·2026· 1.0k citedOpen Access
Modeling feasible locomotion of nanobots for cancer detection and treatment
Proceedings of the National Academy of Sciences·2025Open Access
The neural basis for uncertainty processing in hierarchical decision making
Nature Communications·2025· 1 citedOpen Access
Nanobot Algorithms for Treatment of Diffuse Cancer
arXiv (Cornell University)·2025Open Access
Modeling Feasible Locomotion of Nanobots for Cancer Detection and Treatment
arXiv (Cornell University)·2025Open Access
Building a Theory of Distributed Systems: Work by Nancy Lynch and Collaborators
arXiv (Cornell University)·2025Open Access
Swarm Algorithms for Dynamic Task Allocation in Unknown Environments
arXiv (Cornell University)·2024Open Access
Abstraction in Neural Networks
arXiv (Cornell University)·2024Open Access
Using Single-Neuron Representations for Hierarchical Concepts as Abstractions of Multi-Neuron Representations
arXiv (Cornell University)·2024Open Access
Parallel Algorithms for Exact Enumeration of Deep Neural Network Activation Regions
arXiv (Cornell University)·2024Open Access
Multi-Neuron Representations of Hierarchical Concepts in Spiking Neural Networks
arXiv (Cornell University)·2024Open Access
ParSwarm: A C++ Framework for Evaluating Distributed Algorithms for Robot Swarms
2023Open Access
A Comparison of New Swarm Task Allocation Algorithms in Unknown Environments with Varying Task Density
2023
Learning Hierarchically-Structured Concepts II: Overlapping Concepts, and Networks With Feedback
arXiv (Cornell University)·2023Open Access
Learning Hierarchically-Structured Concepts II: Overlapping Concepts, and Networks with Feedback
Lecture notes in computer science·2023· 1 citedOpen Access
A Comparison of New Swarm Task Allocation Algorithms in Unknown Environments with Varying Task Density
arXiv (Cornell University)·2022· 1 citedOpen Access
Committees
2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS)·2022Open Access
<scp>Ares</scp> : Adaptive, Reconfigurable, Erasure coded, Atomic Storage
ACM Transactions on Storage·2022· 5 cited
A superconducting nanowire-based architecture for neuromorphic computing
Neuromorphic Computing and Engineering·2022· 14 citedOpen Access
Symbolic Knowledge Structures and Intuitive Knowledge Structures
arXiv (Cornell University)·2022· 1 citedOpen Access
page 1 of 28Next →

Frequent Co-authors

Michael J. Fischer(7), Frits Vaandrager(7), Roberto Segala(6), Seth Gilbert(5), Alex A. Shvartsman(5), Michael S. Paterson(3), Michael J. Fischer(3), Michael Merritt(3), Danny Dolev(2), Eugene W. Stark(2), Richard E. Ladner(2), Jennifer L. Welch(2), Jennifer Lundelius(2), Dilsun Kaynar(2), James E. Burns(2), Allan Borodin(2), Cynthia Dwork(1), Larry Stockmeyer(1), Marc R. Tuttle(1), Mark R. Tuttle(1)