.svg)
The Faculty of Computer and Information Sciences team wins the first place and the gold medal in SV-COMP 2025, the world's leading software verification competition
The Java-Ranger team won first place and the gold medal at SV-COMP 2025, the world's leading software verification competition!
This achievement is the result of a collaborative effort between Dr. Suha Hussein and the University of Minnesota, demonstrating the power of international research partnerships.
Java-Ranger stood out among entries submitted by prestigious institutions, including the Technical University of Dortmund (Germany), Diffblue (UK), and Nanjing University (China).
The official results were published in the SV-COMP 2025 Competition Report, and the award will be celebrated at the TACAS 2025 conference, part of the ETAPS conference series, to be held in Ontario, Canada.
