Prof. Nancy A Lynch
NEC Professor of Software Science and Engineering
Head, Theory of Distributed Systems Research Group (CSAIL)
Primary DLC
Department of Electrical Engineering and Computer Science
MIT Room:
32-G668
Areas of Interest and Expertise
Distributed Computing
Real-Time Computing, and Hybrid Systems: Algorithms, Lower Bounds, Modeling, Analysis, Semantics, Verification, Languages
Theory of Distributed and Real-Time Computing: Mathematical Models, Specification, Algorithm and System Design, Performance and Fault-Tolerance Analysis<br>Distributed Data Management, Communication, Synchronization <br>Languages and Tools for Abstract Distributed Programming <br>Hybrid (Continuous/Discrete) Systems <br>Mobile Wireless Networks<br>Biologically Inspired Distributed Algorithms
Big Data
Real-Time Computing, and Hybrid Systems: Algorithms, Lower Bounds, Modeling, Analysis, Semantics, Verification, Languages
Theory of Distributed and Real-Time Computing: Mathematical Models, Specification, Algorithm and System Design, Performance and Fault-Tolerance Analysis<br>Distributed Data Management, Communication, Synchronization <br>Languages and Tools for Abstract Distributed Programming <br>Hybrid (Continuous/Discrete) Systems <br>Mobile Wireless Networks<br>Biologically Inspired Distributed Algorithms
Big Data