by IIIT-B | May 16, 2023 | Other Story in May 2023
0 0 IIITB Win Medals at ‘Spree 23’ There were students from various colleges across the country for different sports at ‘Spree 23’, a sports event at Birla Institute of Technology and Science (BITS), Pilani, Goa, which was held from April 11 to 16.... by IIIT-B | Jul 17, 2023 | Other Stories in July 2023
0 0 June 26 Mr. Peter Chacko on ‘Being an Inventive Student – with a missionary DNA’ Mr. Peter Chacko, Founding Labor & General Officer, Neridio Systems Pvt. Ltd. discussed various stages any student has to go through before they become a... by IIIT-B | Jun 24, 2023 | Other Story in June 2023
0 0 May 8 Prof. Aarti Gupta on ‘Abstractions for Network Control Plane Verification’ Aarti Gupta is a Professor in the Department of Computer Science at Princeton University. She received a PhD in Computer Science from Carnegie Mellon University. Her... 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....