Sriram Sankaranarayanan

Sriram Sankaranarayanan is an assistant professor of Computer Science at the University of Colorado, Boulder. His research interests include automatic techniques for reasoning about the behavior of computer and cyber-physical systems. Sriram obtained a PhD in 2005 from Stanford University where he was advised by Zohar Manna and Henny Sipma. Subsequently he worked as a research staff member at NEC research labs in Princeton, NJ. He has been on the faculty at CU Boulder since 2009. Sriram has been the recipient of awards including the President's Gold Medal from IIT Kharagpur (2000), Siebel Scholarship (2005), the CAREER award from NSF (2009) and the Dean's award for outstanding junior faculty for the College of Engineering at CU Boulder (2012).

More info: http://www.cs.colorado.edu/~srirams/

Filter Courses within "Sriram Sankaranarayanan" (Click to filter)
Reset Filters | Advanced Global Search
Trees and Graphs: Basics (Coursera) Coursera
University of Colorado Boulder

Trees and Graphs: Basics (Coursera)

Computer Science

Dive into the core concepts of Trees and Graphs: Basics with this engaging online course. Explore essential algorithms for tree data structures like binary search trees and self-balancing trees, as well as fundamental graph algorithms. This course also delves into advanced topics such as kd-trees for spatial data analysis. Perfect for those looking to build a strong foundation in data structures and algorithms.

Jun 8th 2026
4 Weeks
Data Structures Graphs Graph Algorithms
Details
Algorithms for Searching, Sorting, and Indexing (Coursera) Coursera
University of Colorado Boulder

Algorithms for Searching, Sorting, and Indexing (Coursera)

Computer Science

Discover the fundamental principles of algorithm design and analysis in this online course offered by CU Boulder. Explore key concepts such as sorting arrays, priority queues, hash functions, and their applications through engaging lectures and practical exercises. This course is perfect for those looking to enhance their data science skills with a focus on searching, sorting, and indexing algorithms.

Jun 8th 2026
4 Weeks
Algorithms Data Structures QuickSort
Details
Advanced Data Structures, RSA and Quantum Algorithms (Coursera) Coursera
University of Colorado Boulder

Advanced Data Structures, RSA and Quantum Algorithms (Coursera)

Computer Science

Dive into the fascinating realms of cryptography and quantum computing with our Advanced Data Structures, RSA, and Quantum Algorithms course. Learn about number-theory based cryptography, delve into complex data structures, and uncover the basics of quantum algorithms that are revolutionizing computation. Perfect for programmers, mathematicians, and tech enthusiasts alike.

Jun 8th 2026
4 Weeks
Cryptography Data Structures Quantum Computing
Details
Approximation Algorithms and Linear Programming (Coursera) Coursera
University of Colorado Boulder

Approximation Algorithms and Linear Programming (Coursera)

Computer Science

Dive deep into the world of optimization with our 'Approximation Algorithms and Linear Programming' course. Master advanced techniques in problem-solving by converting algorithmic challenges into linear and integer programming formulations. Perfect for those looking to enhance their skills in resource management, scheduling, and complex decision-making processes.

Jun 1st 2026
4 Weeks
Algorithms Linear Programming Approximation Algorithms
Details
Pre-MBA Statistics (Coursera) Coursera
Indian Institute of Management Ahmedabad (IIMA)

Pre-MBA Statistics (Coursera)

Statistics & Data Analysis

Dive into the world of statistics with our Pre-MBA Statistics course on Coursera. This foundational program is designed for aspiring MBA students who want to understand how to use statistical tools to make informed decisions based on data analysis. Whether you're new to statistics or looking to refresh your knowledge, this course will equip you with essential skills.

May 25th 2026
5-12 Weeks
Statistics Probability Data Analysis
Details
Page 1