Stanly Samuel Email & Phone Number

I currently work as an engineer in the security team at Informal Systems, ensuring security and correctness in the Cosmos ecosystem.Previously, I worked in the area of Formal Methods at the Department of Computer Science and Automation, Indian Institute of Science, Bangalore. My research focuses on designing algorithms and building scalable tools in the domain of reactive synthesis using ideas from program verification, the theory of infinite games, and logic. Broadly, my interests lie in the fine intersection between theory and practice, especially in the umbrella area of algorithmic program synthesis. More specifically, my research investigates efficient and scalable techniques for the automated synthesis of maximally permissive controllers for infinite state systems using symbolic constraint solvers. Nowadays, I am also interested in neurosymbolic AI and applications of formal methods to blockchains and smart contracts.Although I have worn many hats before my stint as a research student, I enjoy being an educator and working with students (i.e., I enjoy working on new ideas to elucidate concepts depending on the target audience.)

Listed skills include Teaching, Lecturing, Higher Education, University Teaching, and 22 others.