LIRC@SFIT

IITH team at SVCOMP 2020 SVCOMP is a Software Verification Competition which is the ultimate battleground for researchers around the world to prove the mettle of their verifiers on more than 10000 benchmark programs. Pinaka, a symbolic execution engine designed and developed at IITH by Akash Banerjee, Eti Chaudhary and Dr. Saurabh Joshi participated in SVCOMP and placed 3rd in ReachSafety-Floats subcategory, 8th in ReachSafety category and 6th in Termination category. Pinaka was also one of the most accurate verifiers with only 3 errors in more than 6500 benchmarks it was run on. More Details:  https://sv-comp.sosy-lab.org/2020/

HIGHLIGHTS The course will include study of algorithms, signal processing, robotics It will also teach the ethical impact of AI and related technologies B.Tech. in Artificial Intelligence will be offered from 2019-2020 Indian Institute of Technology (IIT) Hyderabad is introducing a new B. Tech. course in Artificial Intelligence that will be available to the students beginning the coming academic year (2019-2020). It is the first such full-fledged B. Tech. programme to be offered by an Indian university. Even internationally, only select institutions like Carnegie Mellon University and Massachusetts Institute of Technology (MIT) are currently offering similar courses, claimed IIT Hyderabad in a press release. According to a  report  in NDTV, the B.Tech. in Artificial Intelligence course will intake 20 students each year, who will be selected through the JEE Advanced entrance examination that the students across the country take every year to get admission in th...