Download on the App Store Open In Castro
Podcast artwork

10/15/21: Mathematical Programming Modulo Strings with Ankit Kumar

Boston Computation Club

October 15, 2021

45 minutes

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:

- FMCAD21:

- Pete Manolios:

- The Boston Computation Club:

- Video form of this talk:

Or Listen Elsewhere

Listen On Apple Podcasts
Listen In Pocket Casts
Listen In Overcast
Subscribe to RSS