by IIIT-B | May 16, 2023 | Other Story in May 2023
0 0 April 10 Mr. Aseem Rastogi on ‘Proof-oriented programming for high-assurance systems’ Mr. Aseem Rastogi is a Principal Researcher at Microsoft Research India. His work spans the areas of language design, type systems, program verification, and software... by IIIT-B | May 16, 2023 | Other Story in May 2023
0 0 E. Kleinlogel, L. Renier, M. Schmid Mast, D. Jayagopi and K. Shubham, “From Low Invasiveness to High Control: How Artificial Intelligence Allows to Generate a Large Pool of Standardized Corpora at a Lesser Cost” in Frontiers in Computer Science, Sec.... by IIIT-B | Jul 17, 2023 | Other Stories in July 2023
0 0 June 6 Dr R Balasubramaniam, Member, of the Human Resources department of the Capacity Building Commission under the Government of India, visited our campus to explore potential collaborations. June 14 Visit of Kenya Delegation June 15 the faculty of RV College of... by IIIT-B | Jul 17, 2023 | Other Stories in July 2023
0 0 Hanbal, Rajesh Dinesh, Amit Prakash, and Janaki Srinivasan (2023), “Seeing data like a state: A case of Open Government Data in India’s livelihoods program”, Information Polity, 28 (2), pp.... by IIIT-B | Jun 24, 2023 | Other Story in June 2023
0 0 Heet Vasani (IMT20088) won 2nd place in the Dcomm Valhallah Hackathon – a blockchain-based hackathon. It was conducted on Hack2Skill platform worldwide by Dcomm company. Raghava S N presented and demonstrated his work on vector systolic array accelerator on...