Short bio
Ramanujam’s research interests are in mathematical logic and theory of computation, and their applications to theory of distributed systems, game theory and security theory. He is currently on the editorial board of ACM Transactions on Computational Logic. He is also the chief editor of the ACM India Minigraphs series. He has been on the Executive Council of the Association for Symbolic Logic (ASL) and the Association for Logic in India (ALI). Ramanujam has been actively involved in science communication and mathematics education for school children for three decades. He was awarded the 2020 Indira Gandhi prize for Science Popularization by the Indian National Science Academy.
— presenter's bio has been redacted at the date of last given talk
Seminars
- 18 Jan 2023 Insecurity, going from terms to formulas