Pinaka: Fast & accurate software verifier, developed at IIT Hyderabad

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/

IIT Hyderabad Introduces India’s First B.Tech. in Artificial Intelligence Programme

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 the graduate courses at the IITs.

Commenting on the new course, Prof U.B. Desai, Director, IIT Hyderabad, said, “The basic aim is to create a complete ecosystem for Artificial Intelligence Academics and Research at IIT Hyderabad. This involves B.Tech., M.Tech. and different Minor Programs in AI. Moreover, the R&D will be strongly entwined with academics.”

The B.Tech. in Artificial Intelligence course will include study of algorithms, signal processing, robotics and mathematical foundations. It will also focus on application verticals such as healthcare, agriculture, smart mobility, and more. IIT Hyderabad notes that ethical impact of AI and related technologies on areas such as privacy, bias, and related issues will also taught to the students.

The institute hopes that the new programme will allow the students to become leaders in the field and help meet the growing demand for artificial intelligence and machine learning experts in the industry.

"AI solutions are particularly promising for India (given the availability of a large corpus of data) where it can have a major positive impact on several critical domains such as healthcare, crop and soil management, weather prediction, surveillance and security, and defence. However, the demand for professionals trained in this area far exceeds the current supply. The BTech program in AI is a step in the direction of addressing this highly skewed demand-supply scenario," said Dr. Sumohana Channappayya, Dean (Research and Development).

The IIT Hyderabad already offers a M.Tech. course in Machine Learning.

Source: https://gadgets.ndtv.com/science/news/iit-hyderabad-introduces-india-s-first-b-tech-in-artificial-intelligence-programme-1980185 (Accessed on January 22, 2019)