Roberto Segala
Associate Professor
Department of computer science
University of Vermont
Italy
Biography
Dr. Roberto Segala is currently working as a Associate Professor in the Department of Department of computer science, University of Verona , Italy. His research interests includes Security and privacy - Formal methods and theory of security,Theory of computation - Models of computation. He /she is serving as an editorial member and reviewer of several international reputed journals. Dr. Roberto Segala is the member of many international affiliations. He/ She has successfully completed his Administrative responsibilities. He /she has authored of many research articles/books related to Security and privacy - Formal methods and theory of security,Theory of computation - Models of computation.
Research Interest
Security and privacy - Formal methods and theory of security,Theory of computation - Models of computation
Publications
-
Lynch N, Segala R, Vaandrager F. Hybrid i/o automata. Information and computation. 2003 Aug 25;185(1):105-57.
-
Segala R, Lynch N. Probabilistic simulations for probabilistic processes. Nordic Journal of Computing. 1995 Jun 1;2(2):250-73.
-
Segala R. Modeling and verification of randomized distributed real-time systems.
