Margao boy Antonio A Bruto da Costa has successfully defended his PhD thesis in the field of formal analysis of hybrid systems and artificial intelligence from IIT-Kharagpur under the supervision of Prof PallabDasgupta and Prof GoranFrehse.
QUOTE –
“A formal analysis, in the context of my work, involves the mathematical examination of hybrid systems. This analysis aims to understand how the system behaves and provide guarantees that it behaves correctly and safely. An engineer provides a mathematical description of the system (called a model) and also defines what is expected from the system. The methods I have developed are then used to verify that the model meets the engineer's expectations,” - Antonio A Bruto da Costa
PANAJI
Da Costa’s thesis was on the topic ‘Algorithms for Formal Feature Analysis and Inference Learning for Hybrid Systems.’
His PhD is focused in two broad areas of Computer Science: formal analysis of hybrid systems and artificial intelligence.
“From watches and phones to household items like smart fridges and washing machines, to safety-critical systems in cars, trains, aircraft, the energy industry, we see an ever-increasing prevalence of microprocessors being used to control devices and interact with the physical world. These interactions involve interplays between actions taken by software and a physical process. Systems exhibiting such mixed discrete-continuous-action behaviours are called hybrid systems,” he explained.
“A formal analysis, in the context of my work, involves the mathematical examination of hybrid systems. This analysis aims to understand how the system behaves and provide guarantees that it behaves correctly and safely. An engineer provides a mathematical description of the system (called a model) and also defines what is expected from the system. The methods I have developed are then used to verify that the model meets the engineer's expectations,” Antonio said.
"In my work I have developed AI algorithms for analyzing recordings of a process, to identify the cause of critical events in the recordings."
“The timing between these actions may also be consequential. In my work, I have developed algorithms for learning such sequences of actions, and their timing, that appears to be the cause. This is called ‘causality analysis’,” he said.
“My primary motivation for pursuing an academic study was because of my love for teaching. My mother, Maria Fatima Gracias, was a teacher of Science at Fatima Convent, Margao, for students in classes VIII-X. My father, Carlos Bruto da Costa, was an Electrical Engineer by profession, and also lectured at Agnel Polytechnic,” he said.
“I always had an interest in learning Computer Science. It is when I was finally on track, studying Computer Engineering, that I developed a keen interest in understanding computer sciences,” he added.
