Expert Talk Series on Computational Complexity and Streaming Algorithms

Expert Talk Series on Computational Complexity and Streaming Algorithms

The Division of Computer Science, Muthoot Institute of Technology and Science (Autonomous), Kochi, organized an Expert Talk Series on 2nd July 2026, featuring Prof. (Dr.) Vinodchandran Variyam, Professor, School of Computing, University of Nebraska–Lincoln, USA. The programme comprised two expert sessions aimed at exposing students and faculty members to contemporary research in theoretical computer science, computational complexity, and streaming algorithms.

Prof. (Dr.) Vinodchandran Variyam is a distinguished researcher in the School of Computing, University of Nebraska–Lincoln, USA, whose research spans Reproducibilty in Randomized Computations ,Sample Efficiency in Learning

and Testing: of high-dimensional distributions, and algorithms for streaming data. His pioneering contributions have been recognized through publications in premier international conferences such as NeurIPS, ICML, STOC, PODS, ICLR,AAAI, and IJCAI, and his CVM Algorithm has received international recognition for its impact on data stream processing.

The first session,Complexity Theory: Understanding Computational Scalability, was attended by nearly 200 students from the Computer Science and Engineering programme and allied branches. The lecture introduced participants to the concepts of computational scalability, the limits of scalability, the relationship between computational complexity and algorithmic efficiency, and the use of Fermi estimation for approximating large-scale computational problems.

The second session, Distinct Elements in Streams: An Algorithm for the (Text) Book, was conducted for around 30 faculty members. The session focused on the CVM (Chandramouli–Vinodchandran–McGregor) algorithm for estimating distinct elements in streaming data and highlighted the importance of randomized algorithms for efficient large-scale data processing. Through these expert lectures, participants gained valuable exposure to emerging research directions in computational complexity, streaming algorithms, machine

learning, and data-intensive computing. The programme served as an excellent platform for fostering academic curiosity, encouraging research-oriented thinking,and strengthening the participants' understanding of advanced concepts in computer science.

Related CS News and Events

Summer Internship Program

Summer Internship Program on Machine Learning and Data Visualization using Python from June 1 to June 12, 2026.

Click here to apply- https://forms.gle/vDEEoDQJ3pxVyyBk7

KTU CSE S8 Results Published

KTU S8 Results -Batch A (71/75 = 94.6%) , Batch B (72/74 = 97.3%) , overall 95.9%.

Faculty Development Program on Generative Intelligence: Theory, Practice and Research through ANN, LLMs & Agentic Systems

The Departments of Computer Science and Engineering and Computer Applications at Muthoot Institute of Technology and Science (Autonomous), Kochi, are organizing a five-day Faculty Development Programme (FDP) on “Generative Intelligence: Theory, Practice and Research through ANN, LLMs & Agentic Systems” from 15th to 19th June 2026.

The FDP is designed to provide academicians, researchers, and industry professionals with a comprehensive understanding of the rapidly evolving landscape of Artificial Intelligence, with a special focus on Generative AI technologies. The programme brings together experts from academia and industry to share insights into emerging trends, practical applications, and research directions in AI.

The sessions cover a wide range of topics including Digital Trust in the Age of AI, Deep Learning Fundamentals, Sequence Modelling using Neural Networks, Agentic AI, AI for Speech-Based Healthcare, Large Language Model (LLM) Workflows, Retrieval-Augmented Generation (RAG), Multi-Agent Systems, Workflow Automation using Agentic AI Frameworks, Adversarial NLP, and Enterprise Applications of Public LLMs. The programme also includes hands-on training sessions to help participants gain practical experience with modern AI tools and frameworks.

Through keynote talks and expert-led technical sessions, the FDP aims to equip participants with the knowledge and skills required to effectively engage with the next generation of intelligent systems and contribute to AI-driven innovation in teaching, research, and industry.

Introduction to Theorem Proving Using Lean

Introduction to Theorem Proving Using Lean 4 is a hands-on workshop that introduces participants to formal reasoning and interactive theorem proving with Lean 4. The session covers core concepts of logic, proofs, and the Curry–Howard Correspondence, with practical applications in mathematics and software verification.