Aiswarya Cyriac
Assistant Professor
Computer Science
Chennai Mathematical Institute
India
Biography
I am an assistant professor at Chennai Mathematical Institute. I was a post-doctoral researcher at Uppsala University before. I did my PhD at LSV, ENS Cachan, France
Research Interest
algorithmic program verification group
Publications
-
M. Függer, A. Kinali, C. Lenzen and T. Polzer. Metastability-Aware Memory-Efficient Time-to-Digital Converter. In ASYNC'17. IEEE Computer Society, May 2017. To appear.
-
G. Tarawneh, M. Függer and C. Lenzen. Metastability Tolerant Computing. In ASYNC'17. IEEE Computer Society, May 2017. To appear.
-
M. Függer, Th. Nowak and M. Schwarz. Brief Announcement: Lower Bounds for Asymptotic Consensus in Dynamic Networks. In DISC'17, Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, October 2017.
