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.... 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...