Anna Pogosyants

Former Graduate student (PhD candidate, Advisor: Nancy Lynch)

In memory of Anna (Anya), a UROP (Undergraduate Research Opportunities Program) fund has been established in her name. For more information, please see Anya Pogosyants UROP Award.

Additionally, some friends of Anya have set up some other web pages in dedication to Anya and Igor..

Affiliation: Massachusetts Institute of Technology, Computer Science and Artificial Intelligence Laboratory, Theory of Distributed Systems group.

Current Research Interests: Formal verification of distributed algorithms. Developing easy to use verification tools and applying them to real algorithms. An emphasis on randomized distributed alogorithms.

Bibliography:

[ PS95 ] Formal Verification of Timed Properties for Randomized Distributed Algorithms, A. Pogosyants and R. Segala, appears in Proceedings of the 14th ACM PODC, Ottawa. Ontario, Canada, August 1995.
[ SGGLP93 ] Computer-Assisted Simulation Proofs Joergen F. Soegaard-Anderson, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, and Anna Pogosyants. In Costas Courcoubetis, Computer-Aided Verification: 5th International Conference, (CAV'93 Elounda, Greece, June/July 1993.)

TOC / CSAIL / MIT
Last modified: Mon Nov 2 10:16:19 1998 Comments?


TOC / CSAIL / MIT Last modified: Mon Nov 2 10:16:19 1998	Comments?