Hi, and thank you for visiting my home page. My name is... you guessed it... Antonio Bruto da Costa.
I go by Antonio. It's ok if you can't pronounce the rest of it. I'm a Goan studying in IIT-Kharagpur.
I'm fluent in English and Portuguese, and to the best of my abilities, speak Konkani and Hindi as well.
I joined the M.Tech program in the Department of Computer Science and Engineering @ IIT-Kharagpur,
in July 2012. My M.Tech credit requirement will be fulfilled (or so I hope) by May 2014. I will then
continue as a PhD. student of the department.
My research interests, as of now include Formal Methods for abstraction and verification of systems.
I currently work with modelling systems using Hybrid Automata constructs.
In time, this will be the page where you will find any materials published by me or relevant to my
current work.
Cheers!!!