CS 698J: Introduction to Constructive Types Theory and its Applications

CS 630: Advanced Operating Systems for Embedded Systems, Pervasive Computing and Internet of Things

CS 667A: Introduction to Internet of Things and its Industrial Applications

CS 724: Sensing, Communications & Networking for Smart Wireless Devices

CS 698C: Topics in CSE: Sketching and Sampling for Big Data Analysis

CS 698P: Applications of Markov Chains in Combinatorial Optimization and in Evolutionary Dynamics