Sep 07, 2015 | Punyaja Dash
On Friday, 7th August 2015, at 4:30pm in the evening, a seminar was held in the Electronics department in room 138. Prof. Subir Kumar Roy, faculty of IIIT Bangalore, addressed the gathering, enlightening them and deeply familiarizing them with formal verification- the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. This is a new field with a huge demand for development and ever-growing research scope.
Prof Subir Kumar Roy has worked with the Center of Excellence, System on Chip, Texas Instruments India, Bangalore and has also spent two years carrying out research on formal verification in Fujitsu Laboratories Limited, Kawasaki, Japan, on a sabbatical from IIT Kanpur.
The audience comprised of more than 70 enthusiastic students, majorly the VLSI students of the electronics department, but the students of all branches and courses were welcome to attend this seminar.
Where, on one hand, the seminars held in the department are inspiring students to navigate into the latest technologies and developments, on the other hand the increase in the number of students being awarded PhD has the department overwhelmed with joy.
Recently, George Tom Varghese was awarded PhD for design and implementation of a novel analog-to-digital converter (ADC) for ultra wide band applications.
Team MM wishes to see the department growing further and congratulates them on their achievements.