Abhinandan Pal

Doctor of Philosophy (Computer Science) [Ongoing]

PhD at the School of Computer Science | University of Birmingham | Sept. 2023 - Sept. 2027 | Supervisor: Mirco Giacobbe  | Topic: Machine Learning Approaches for Formal Verification

-----------------------------------

Bachelor of Technology (Computer Science)

B.Tech. Computer Science and Engineering  | Indian Institute of Information Technology, Kalyani | August 2019 - July 2023 | Thesis : Qiwi: A Beginner-Friendly Quantum Language

-----------------------------------

Indian School Certificate (Science)

Council for the Indian School Certificate Examinations | Don Bosco School, Bandel | 2007 - 2019

École Normale Supérieure (Intern)

RESEARCH INTERN | École Normale Supérieure | Nov 2022 – Apr 2023

• Advisor: Dr. Caterina Urban 

• Attention Robustness of Neural Networks

• Verifying Attention Robustness of CNNs using Abstract Interpretation

-----------------------------------

Università degli Studi di Padova (Intern)

RESEARCH INTERN | Università degli Studi di Padova | May 2022 – July 2022

• Advisor: Prof. Francesco Ranzato,   Dr. Caterina Urban,   Dr. Marco Zanella

• Project: Feature ranking and fairness analysis of SVMs using abstract interpretation

-----------------------------------

École Normale Supérieure (Intern)

RESEARCH INTERN | École Normale Supérieure | Nov. 2021 – Jan 2022

• Advisor: Dr. Caterina Urban   

• Project: Libra [Fairness certification of decision-making software]

• Redesigned an existing static analysis for certifying fairness of neural networks by intelligently exploiting GPU

-----------------------------------

École Normale Supérieure Paris-Saclay (Intern)

RESEARCH INTERN | École Normale Supérieure Paris-Saclay | June 2021 – July 2021

• Advisor: Prof. Mihaela Sighireanu

• ANR Project CoLiS (Correctness of Linux Scripts)

• Developed specification-based test for POSIX utilities manipulating the file system

Machine Learning Verification

Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella. “Abstract Interpretation-Based Feature Importance for Support Vector Machines”. In International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'24) (pp. 27-49). Cham: Springer Nature Switzerland. [Paper] [Talk]

---------------------------------------

Abhinandan Pal “PiR (πr): Probabilistic Interpretation of Robustness” Extended Abstract for the Student Research Competition track of the 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL SRC ’24), January 14–20, 2022, London, United Kingdom. [Paper] [Poster]

Quantum Programming Languages

Abhinandan Pal, Anubhab Ghosh. “Qiwi: A Beginner Friendly Quantum Language” In Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion ’22), December 5–10, 2022, Auckland, New Zealand. [Paper]

Spring 2024

Post Graduate Teaching Associate | University of Birmingham | Module: Team Project

For BSc in Computer Science, 2nd year

-----------------------------

Post Graduate Teaching Associate | University of Birmingham | Module: Data Structures and Algorithm

For Conversion MSc in Computer Science

-----------------------------

Invited Talk | University of Oxford  | OXCAV seminar series

Topic: Projects I worked on with Inria while living in India

Autumn 2023

Post Graduate Teaching Associate | University of Birmingham | Module: Computer-Aided Verification

For BSc/MSci in Computer Science, 3rd and 4th year

-----------------------------

Facts and Snacks (Weekly Department Talk) | University of Birmingham 

Topic: Explainability of Support Vector Machine 

Spring 2023

Antique Seminar (Weekly Seminar at Research Group) | École normale supérieure

 Topic: Explainability of Support Vector Machine