Antonio A. Bruto da Costa [CV] Senior Research Consultant Ph.D. (Computer Science and Engineering) [Thesis] Department of Computer Science and Engineering Indian Institute of Technology Kharagpur Address :   Formal Methods Research Lab, Room No. 118, Ground Floor, CSE Building                   Department of Computer Science and Engineering,                   IIT Kharagpur, West Bengal 721 302, INDIA. Phone:     +91-3222-281431 Email:     antonio@iitkgp.ac.in / antonio.cse.iitkgp@gmail.com      [My CV]

Formal Methods Lab, IIT Kharagpur

About

Ph.D. Advisors

		Pallab Dasgupta Pallab Dasgupta is a Professor at the Department of Computer Science and Engineering, Indian Institute of Technology Kharagpur (IIT Kharagpur), Kharagpur, West Bengal, India. His research interests include formal verification, artificial intelligence, and VLSI. Prof. Dasgupta has a PhD from IIT Kharagpur. He is a senior member of the IEEE and a Fellow of the Indian National Academy of Engineering. Indian Institute of Technology, Kharagpur
		Goran Frehse Goran Frehse did his undergraduate work specializing in control theory and hybrid systems at Karlsruhe University, Germany, obtaining a Diploma (M.S. equivalent) in Electrical Engineering and Information Technology in 1999. In his graduate research he started developing the verification tool PHAVer, and worked on the compositional verification of hybrid systems at the Process Control Laboratory at Dortmund University, Germany, and the Institute for Computing and Information Sciences at Radboud University Nijmegen, Netherlands, from where he received a PhD in Computer Science in 2005. During two years as a PostDoc at Carnegie Mellon University in Pittsburgh and one year at Verimag in Grenoble, France, he expanded his research interests to analog and mixed-signal circuits. Since Sept. 2006 he is assistant professor at Verimag. His latest project is SpaceEx, a development platform for verification algorithms for hybrid systems.

Research Interests

• Formal Methods for Hybrid System Verification
• Artificial Intelligence, Learning and Logic

Activities

• Teaching Assistantships



Academic Year	Session	Subject	Teacher / Instructor
2019-20	Autumn	Artificial Intelligence	Prof. Pallab Dasgupta, Prof. Partha Pratim Chakraborty
2018-19	Autumn	Artificial Intelligence	Prof. Pallab Dasgupta, Prof. Partha Pratim Chakraborty
	Spring	Formal Systems	Prof. Pallab Dasgupta
2017-18	Autumn	Foundations of Computing Science	Prof. Pallab Dasgupta
	Spring	Formal Systems	Prof. Pallab Dasgupta
2016-17	Autumn	Foundations of Computing Science	Prof. Pallab Dasgupta
	Spring	Distributed Systems	Prof. Pallab Dasgupta
2015-16	May	T10KT Introduction to Algorithm Analysis and Design - Participant workshop	Prof. Partha Pratim Chakrabarty, Prof. Partha Pratim Das, Prof. Pallab Dasgupta
	March	T10KT Introduction to Algorithm Analysis and Design - Co-ordintors workshop	Prof. Partha Pratim Chakrabarty, Prof. Partha Pratim Das, Prof. Pallab Dasgupta
	Autumn	Testing and Verification of Systems	Prof. Pallab Dasgupta, Prof. Rolf Drechsler
	Spring	Programming and Data Structures	Prof. Pallab Dasgupta, Prof. Indranil Sengupta, Prof. Sudebkumar Prasant Pal
2014-15	Autumn	Advanced Graph Theory	Prof. Pallab Dasgupta
	Spring	Formal Systems	Prof. Dipankar Sarkar, Prof. Soumyajit Dey
2013-14	Autumn	Advanced Graph Theory	Prof. Pallab Dasgupta
	Spring	Formal Systems	Prof. Pallab Dasgupta

• Talks/Lectures Delivered and Short-Term Labs Conducted



Year	Month	Course/Conference/Program	Talk/Lecture Title
2018	Jan	VLSI Design 2018, 14th International Conference on VLSI Design & 17th International Conference on Embedded Systems, January 2018	AMS-Miner: Mining AMS Assertions Using Interval Arithmetic.
2017	Jan	VLSI Design 2017, 13th International Conference on VLSI Design & 16th International Conference on Embedded Systems, January 2017	Generating AMS Behavioral Models with Formal Guarantees on Feature Accuracy (Presentation)
	Oct	The 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, October 2017	ForFET: A Formal Feature Evaluation Tool for Hybrid Systems (Tool Presentation)
	Oct	Computational Foundations of Cyber Physical Systems (Autumn 2017)	Lecture Series on Timed and Hybrid Systems and their analysis (Lectures)
2016	Jan	India Design Review, Semiconductor Research Corporation	Design Review 2016: Feature Based Formal Analysis of AMS Behavioral Models (Presentation)
	June	CADT Verification and System Logic & Physical Design Review, Semiconductor Research Corporation	CADT 2016: Feature Based Formal Analysis of AMS Behavioral Models (Presentation)
	Nov	MEMOCODE'16, 14th ACM-IEEE International Conference on Formal Methods and Models for System Design.	Formal Feature Analysis of Hybrid Automata (Presentation)
2015	April	CADT Verification Review, Semiconductor Research Corporation	CADT 2015: Formal Equivalence and Simulation Relations for AMS Behavioural Models (Presentation)
2014	Jan	India Design Review, Semiconductor Research Corporation	Design Review 2014: Formal Equivalence and Simulation Relations for AMS Behavioural Models (Presentation)
	July	Formal Methods Update Meeting	Feature based abstractions and Support Function Reachability for Hybrid Automata (Lecture)

• Online Lectures / Videos



Year Created	Course/Program	Lectures On
2014	Automata, Languages and Computation	Relgular Languages

Education

• 2020:   Ph.D. in Computer Science and Engineering from Indian Institute of Technology, Kharagpur
Ph.D. Thesis:   Algorithms for Formal Feature Analysis and Inference Learning for Hybrid Systems
Advisors:   Prof. Pallab Dasgupta,  Prof. Goran Frehse (Verimag-France, ENSTA-Paris), Indian Institute of Technology, Kharagpur


• 2014:   M.Tech. (Department Rank 1 - Institute Silver Medal) in Computer Science and Engineering from Indian Institute of Technology, Kharagpur
Masters Thesis:   Algorithms for Feature Based Formal Equivalence Checking between Hybrid Systems
Advisor:   Prof. Pallab Dasgupta, Indian Institute of Technology, Kharagpur


• 2010:   B.E. (State Rank 1) in Computer Engineering from Goa College of Engineering
Bachelor Thesis:   Multipoint Connectivity using Bluetooth
Advisor:   Prof. Maruskha Mascarenhas, Goa College of Engineering


• 2006:   Higher-Secondary Education(Class XII Board Exam)
Board:   Goa Board of Secondary and Higher Secondary Education
School:   Shree Damodar Higher Secondary School Of Science, Goa


• 2004:   Secondary Education (Class X Board Exam)
Board:   Goa Board of Secondary and Higher Secondary Education
School:   Loyoloa High School, Margao, Goa

Publications        

Journals

1. Formal Feature Interpretation of Hybrid Systems [PDF]
   Antonio A. Bruto da Costa, Goran Frehse, Pallab Dasgupta
   IEEE Transactions on CAD, 2018, DOI: 10.1109/TCAD.2018.2857361.


2. Feature Indented Assertions for Analog and Mixed-Signal Validation.
   Antara Ain, Antonio A. Bruto da Costa, Pallab Dasgupta.
   IEEE Transactions on CAD, ISSN: 0278-0070, DOI: 10.1109/TCAD.2016.2525798.


3. Formal Interpretation of Assertion-Based Features on AMS Designs.
   Antonio A. Bruto da Costa, Pallab Dasgupta.
   IEEE Design & Test, vol. 32, no. 1, 2014, pp: 9-17.

Archived

1. Formal Analysis of Hybrid Systems Using Feature Indented Assertions
   Antonio A. Bruto da Costa, Pallab Dasgupta.
   arXiv:1711.00669 [cs.LO], First Communicated in May 2017.

Conferences / Symposia / Workshops

[2019]

1. Flexible Mining of Causal Relations from Hybrid System Traces. [POSTER]  [ARTICLE]
   Antonio A. Bruto da Costa, Goran Frehse, Pallab Dasgupta (2019)
   Work-In-Progress Session at Design Automation Conference (DAC) 2019, Las Vegas, U.S.A

[2018]

2. On the Deep Structure of Ragas and Analytic Rating of Music Scores.
   Mandal S., Chaudhuri S., Bruto da Costa A., Karambelkar G., Dasgupta P. (2018)
   In: Chanda B., Chaudhuri S., Chaudhury S. (eds) Heritage Preservation. Springer, Singapore


3. AMS-Miner: Mining AMS Assertions using Interval Arithmetic
   Antonio A. Bruto da Costa, Sudipa Mandal, Shriya Dharade, Pallab Dasgupta.
   In the 31st Proceedings of International Conference on VLSI Design (VLSID), January 2018.
   

[2017]

4. ForFET: A Formal Feature Evaluation Tool for Hybrid Systems (Tool Paper)
   Antonio Bruto Da Costa, Pallab Dasgupta.
   In the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, October 2017 (accepted).


5. Formal Verification of Power Management Logic with Mixed-Signal Domains.
   Sudipa Mandal, Antonio A. Bruto da Costa, Aritra Hazra, Pallab Dasgupta, Bhushan Naware, Chunduri Rama Mohan and Sanjib Basu.
   In the 30th Proceedings of International Conference on VLSI Design (VLSID), pp. 239-244, January 2017.
   Awarded as the BEST STUDENT PAPER.
   


6. Generating AMS Behavioral Models with Formal Guarantees on Feature Accuracy
   Antonio Bruto Da Costa, Pallab Dasgupta.
   VLSI Design 2017, 13th International Conference on VLSI Design & 16th International Conference on Embedded Systems, January 2017.

[2016]

7. Formal Feature Analysis of Hybrid Automata
   Antonio Bruto Da Costa, Pallab Dasgupta, and Goran Frehse.
   MEMOCODE'16, 14th ACM-IEEE International Conference on Formal Methods and Models for System Design, November 2016.

Industrial Work Experience

• Texas Instruments
Designation:   Intern
Project:   Formal Verification of AMS-Designs
Duration:   One month - January 2014


• Persistent Systems
Designation:   Software Engineer
Project:   Maintainance and Enhancement of the entire MVC stack of MyRackspace Portal for Rackspace
Duration:   July 2010 - May 2012

Awards

• 2017:   Best Student Paper Award in VLSI Design Conference 2017.


• 2014:   Institute Silver Medal for the Best Student in order of merit among the graduating M.Tech. students of the Department of Computer Science and Engineering, 2012-2014..
  


• 2012:   Goa Scholar Scholarship from the Directorate of Higher Education, Government of Goa.
  


• 2010:   State 1st Rank for the best student in order of merit among the graduating students of Bachelors of Computer Engineering, 2010.


• 2006:   Certificate awarded by Fundação Oriente for ranking Second in Portuguese in the H.S.S.C Examination held in 2005-2006.


• 2004:   Certificate awarded by Fundação Oriente for ranking Third in Portuguese in the S.S.C Examination held in 2003-2004..

Useful Links

• Internal Noticeboard (ROOT)
• Noticeboard : Academic PG S&R
• Guest House Booking Status
• SpaceEx Model Editor

	Last updated: Feb 22, 2015.
	Π