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

Boston Computation Club

English - October 15, 2021 16:08 - 45 minutes - 42.3 MB
Mathematics Science Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed

Previous Episode: 10/09/21: Types in PL Research vs Types in Julia with Julia Belyakova

Next Episode: 10/24/21: An Extensible and Modular Design and Implementation of Monte Carlo Tree Search for the JVM with Larkin Liu & Jun Tao Luo

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