Control Systems Courses

ACM SIGPLAN

Compositional Quantum Control Flow with Efficient Compilation in Qunity

Explore efficient compilation techniques for quantum control flow constructs in Qunity, transforming high-level quantum programs into optimized circuits with reduced qubits and gates.

• YouTube
• 15 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Borrowing From Session Types - A Novel API for Modular and Composable Functional Session Type Systems

Explore a novel borrowing-based API for session types that enables modular, composable code while ensuring type safety and deadlock freedom in concurrent programming.

• YouTube
• 15 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Checking Observational Correctness of Database Systems

Discover a client-centric technique for verifying database system correctness through observational analysis, covering semantic correctness and isolation guarantees using symbolic encodings.

• YouTube
• 14 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Carapace - Static-Dynamic Information Flow Control in Rust

Discover Carapace, a hybrid static-dynamic information flow control system for Rust that ensures confidentiality and integrity without modifying the language or compiler.

• YouTube
• 15 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Finch - Sparse and Structured Tensor Programming with Control Flow

Discover Finch, a programming language enabling flexible control flow and diverse tensor structures for optimized sparse and structured tensor computations with dramatic performance gains.

• YouTube
• 15 minutes
• Self-Paced
• Free Video

LASCON

Out of Control - Promise Theory and the Future of Security Agents

Explore Promise Theory's application to AI security agents, moving beyond command-and-control to create resilient, autonomous systems that make commitments rather than follow orders.

• YouTube
• 45 minutes
• Self-Paced
• Free Video

LASCON

Using Agentic Systems to Revolutionize Static Analysis

Discover how agentic AI systems are revolutionizing static code analysis by replicating human code-review reasoning to outperform traditional vulnerability detection methods.

• YouTube
• 46 minutes
• Self-Paced
• Free Video

Food Science Essentials: Bridging Scientific Principles and Indian Knowledge Systems in Culinary Traditions

Discover the science behind Indian culinary traditions, exploring food chemistry, nutrition, and ancient dietary wisdom to understand how traditional cooking methods enhance health and taste.

• Swayam
• 4 weeks
• Self-Paced
• Free Online Course

Indian Ethos and Knowledge Systems

Explore India's rich heritage through economy, society, polity, arts, philosophy, and science to develop 21st-century skills and understand Bharatiya Drishi across historical eras.

• Swayam
• 12 weeks
• Self-Paced
• Free Online Course

Career Certificate

Embedded Systems Fundamentals

Master microcontrollers, digital signal processing, and circuit design to build embedded systems from fundamentals to advanced device-control interfaces.

• Udacity
• 33 hours
• Self-Paced
• Paid Course

Career Certificate

Robotics and Embedded Systems

Master stepper motors, sensor integration, I2C communication, and accelerometer debugging to design and troubleshoot complex embedded systems through hands-on robotics projects.

• Udacity
• 27 hours
• Self-Paced
• Paid Course

Secure Coding for Embedded Systems

Master secure coding techniques for embedded systems, covering OWASP best practices, threat modeling, cryptography, and supply chain risk management to build cyber-resilient devices.

• Udacity
• 10 hours
• Self-Paced
• Paid Course

Communication in Embedded Systems

Master I2C, SPI, UART, and CAN/LIN protocols to optimize embedded system communication and select the best solution for your specific hardware requirements.

• Udacity
• 14 hours
• Self-Paced
• Paid Course

Systems Engineering

Master systems engineering principles through lifecycle management, requirements analysis, design architecture, and SysML modeling, culminating in a Smart Home Security System project.

• Udacity
• 13 hours
• Self-Paced
• Paid Course

Fundamentals of Embedded Systems

Discover the fundamentals of embedded systems, from microcontrollers to digital signals, and learn to design systems while mastering UART protocol communication.

• Udacity
• 8 hours
• Self-Paced
• Paid Course