PhD student Ganesha presented his research poster at APLAS 2025 and was awarded the 3rd Prize in the Poster Presentation competition. Congratulations, Ganesha!
IIIT-Bangalore will host two major international conferences — ATVA 2025 and APLAS 2025 — from 27 to 31 October 2025. The five-day event will feature multiple invited talks, paper presentations, tutorials, workshops, and a NEIR track, bringing together experts and researchers from around the world.
2025 Updates
MS(R) student Sayak presented his research paper at the ICANN 2025 main oral track, taking place in Kaunas, Lithuania. Congratulations, Sayak!
Prof. Meenakshi D'Souza has been elected as the
President of ACM India for the term
1 July 2025 to 30 June 2027.
IIIT-Bangalore will host the
Automated Technology for Verification and Analysis (ATVA) 2025
conference. Prof. Sujit Kumar Chakrabarti and Prof. Meenakshi D'Souza
are serving as the Organizing Chairs for the event.
Prof. Meenakshi D'Souza is also a member of the
Technical Program Committee (TPC) for ATVA 2025.
Additionally, APLAS 2025, which is collocated with ATVA 2025,
includes Prof. Meenakshi D'Souza on its
Technical Program Committee.
A research paper titled
"Extensible Test Automation for Functional Testing of Low-Code ETL
Workflows"
was presented at BDA 2025 held at IIIT-Bangalore. The paper,
co-authored by final-year BS Online Degree students and instructor
Dr. Arup, was led by Prof. Meenakshi D'Souza and funded
by CTRI-DG.
Prof. Sujit Kumar Chakrabarti was invited as a speaker at TEDxDSATM,
an independently organized TED event held at Dayananda Sagar Academy
of Technology and Management, Bengaluru, on May 16, 2025.
His talk, titled "A Humorous Take on Indian Academia," offered a
candid and engaging perspective on the academic landscape in India.
Prof. Meenakshi D'Souza has been conferred the
ACM India Outstanding Contributions to Computing Education (OCCE)
Award
for the year 2024, in recognition of her impactful work in
computing education.
Ms. Ameena K Ashraf (PH2018001), under the supervision of Prof.
Meenakshi D'Souza, successfully presented her thesis oral examination
on May 12, 2025, titled
"Testing and Program Analysis based Verification of Programs for
Industrial Robots."
Mr. Ganesha (Roll No. PH2019003), a research scholar under the
supervision of Prof. Sujit Kumar Chakrabarti, delivered his State of
the Art Seminar on May 8, 2025 on
"A Formal Verification Approach to Safeguard Controller Variables
from Single Event Upsets"
Prof. Sujit Kumar Chakrabarti along with Prof. Sudarshan Iyengar of
IIT Ropar, presented a webinar on Post COVID Teacher's Toolkit to
engineering college teachers on July 6, 2020.
October 2019
Prof. Meenakshi D'Souza attended the 3rd World Congress on Formal
Methods, held every 10 years, hosting nine conferences and several
workshops, in Porto, Portugal
Abhishek Singh's work on Verifying a proprietary RTOS got accepted
at the Formal Methods conference, 2019
July 2019
Meenakshi D'Souza is a member of ACM India Council
Meenakshi D'Souza is a PC member of ISEC 2020
Rajanikanth Kashi has graduated and is currently an Associate
Professor at Dayanand Sagar University, Bangalore
February 2019
Prof. Meenakshi D'Souza will be the Co-PC chair of
ICDCIT 2020
to be held at Bhubaneswar
Prof. Meenakshi D'Souza is an associate editor of
Sadhana
Nitin Bhatia/Varsha P Suresh presented a paper in PhD Symposium ISEC
2019
Nikhila K N presented a poster on topic "Physics Simulation based
Approach to Graph Clustering" in RISE 2019
Varsha P Suresh attended IRISS Symposium and presented her work on
"Safety validation of AADL architecture models using fault tree
analysis"
