Ankit Kumar is a PhD student in the Khoury College of Computer Science at Northeastern University, advised by Pete Manolios.  He is from Dhanbad, Jharkand, in India, and prior to joining Northeastern, he earned his MTech in Computer Science and Engineering from IIT Kanpur and his BTech in Electrical Engineering from IIT (BHU) Varanasi.  Now, Ankit's research focuses on formal methods (FM) -- particularly in ACL2Sedan -- and the use of FM to study programming languages, including writing machine-checkable proofs to prove properties.  Today Ankit joined us to present Mathematical Programming Modulo Strings, his recent FMCAD21 paper.  This presentation can be viewed as an "extended" version of the 10-minute presentation he gave at that conference.  
- Ankit Kumar: https://www.khoury.northeastern.edu/people/ankit-kumar/
- FMCAD21: https://fmcad.org/FMCAD21/
- Pete Manolios: https://www.ccs.neu.edu/~pete/
- The Boston Computation Club: https://bstn.cc/
- Video form of this talk: https://youtu.be/doeauZv3JrE