Sunandan Adhikary

• Formal Methods
• Control Systems
• Safe Reinforcement Learning
• Cyber-Physical Systems (CPS) Safety and Security

• Languages : Bengali, English, Hindi
• Programming Languages : C, Embedded C, C++, Python, Java, PHP
• Tool-chains : Matlab, Simulink, z3, dReal, CBMC, Gurobi, Mosek, OpenAiGym

MS - 9.33 CGPA

• IIT Kharagpur (2018-2021)
• Department of Computer Science
• On the topic of EXPLORING PLATFORM AWARE FORMAL METHODS FOR SAFE AND SECURE CYBER-PHYSICAL SYSTEMS Under the guidance of Prof. Soumyajit Dey, Prof Aritra Hazra

B.TECH - 8.18 CGPA

• Kalyani Government Engineering College
• Department of Electronics, and Communications
• WBUT (2011-2015)

HIGHER SECONDARY – 90%

• Krishnath College School
• Science Major (Maths, Physics, Chemistry)
• WBCHSE (2009-2011)

SECONDARY – 87%

• Krishnath College School
• WBBSE (2004-2009)

Conference Papers

Skip to secure: Securing cyber-physical control loops with intentionally skipped executions In Proceedings of CCS pre-conference Joint Workshop on CPS&IoT Security and Privacy (CPSIOTSEC) 2020. [PDF]

• Authors : S. Adhikary, I. Koley, S. K. Ghosh, S. Ghosh, S. Dey, and D. Mukhopadhyay.

Journal Papers

SMT-based Verification of Safety-CriticalEmbedded Control Software In IEEE Embedded Systems Letters Volume 13, Issue 3, pp. 138-141, September 2021. [PDF]

• Authors : Sunandan Adhikary, Amit Gurung, Jay Thakkar, Antonio Bruto Da Costa, Aritra Hazra, Soumyajit Dey, Pallab Dasgupta

Teaching Assistant at Indian Institute of Technology, Kharagpur

• Formal Languages and Automata Theory,
• Computer Organization and Architecture Lab,
• High-Performance Computer Architecture,
• Computational Foundations of Cyber-physical Systems,
• Programming and Data Structures Theory

Research Consultant at Indian Institute of Technology, Kharagpur

• February 2018 - 2021
• An MHRD funded Project under the supervision of Prof. Pallab Dasgupta, Prof. Soumyajit Dey, and Prof Aritra Hazra. The goal of this project is to build a toolchain enabling SMT based Verification of Closed-loop implementation of Control software in the presence of timing anomalies and disturbances.

System Engineer at Tata Consultancy Services in Kolkata & Chennai

• August 2015 - February 2018 (1 year)
• Analysis and development of middle layer, back end and integration of Business Intelligence application for British Airways and Pizza Hut International using Java.

Engineering Intern at Bharat Sanchar Nigam Limited

• January 2013 - August 2014 (1year 8 months)
• Employability Enhancement Training Program in BSNL. Getting acquainted with communication technologies and tools used by Bharat Sanchar Nigam.

Summer Trainee at Airport Authority of India, Kolkata

• July 2013 - August 2013 (2 months)
• Hands-on with electronics and communication instruments used in the Airport.

• Awarded with National Merit Scholarships,
• Ranked in several Robotics Competitions,
• Ranked in National, State Level Drawing Contests,
• Won National Talent Search Medals
• Won several State Level Quiz Contests