Computer Science Courses and Certifications

Parallel Computing with MPI

14 ratings at Coursera

Transform serial algorithms into parallel programs with MPI: blocking and nonblocking communication, load balancing, custom communicators, derived datatypes, and parallel I/O with HDF5.

• Coursera
• 5 weeks, 2 hours a week
• Self-Paced
• Paid Course

Introduction to Android graphics

73 ratings at Coursera

This course will bring you up to speed with the fundamentals of 2D graphics and 3D graphics in Android. This course provides the ideal primer for more advanced courses and applications, for example, OpenGL, as well as Virtual Reality in Android.

• Coursera
• 3 weeks, 7 hours a week
• Self-Paced
• Paid Course

Verification and Synthesis of Autonomous Systems

13 ratings at Coursera

Verify autonomous systems against stability and ω-regular properties using Lyapunov theory, reachability analysis, barrier certificates and model checking, then synthesize LTL controllers via abstraction and refinement.

• Coursera
• 4 weeks, 3 hours a week
• Self-Paced
• Paid Course

Career Certificate

Fundamentals of Model Checking

13 ratings at Coursera

Learn model checking for formal verification: build modeling formalisms, specify properties in temporal logic, run graph-based checking algorithms, and apply equivalences, abstraction and partial order reduction.

• Coursera
• 8 weeks, 10 hours a week
• Self-Paced
• Paid Course
• 3 courses

Requirement Specifications for Autonomous Systems

12 ratings at Coursera

Formally specify autonomous system requirements: prove stability with Lyapunov's theorem, over-approximate reachable sets using zonotopes, and build NFAs, Büchi automata, and linear temporal logic formulae.

• Coursera
• 5 weeks, 2 hours a week
• Self-Paced
• Paid Course

Introduction to Modeling for Formal Verification

12 ratings at Coursera

Model hardware and software for verification: build transition systems and program graphs, then compose them via interleaving, shared variables, handshaking, and synchronous parallelism.

• Coursera
• 3 weeks, 5 hours a week
• Self-Paced
• Paid Course

Data Structures and Algorithms: In Depth DSA using C#

2630 ratings at Udemy

Learn C# Data Structures, Algorithms (DSA) with Animated Examples, includes Dynamic Programming, Backtracking etc...

• Udemy
• 1 day 22 hours 28 minutes
• Self-Paced
• Paid Course

Software Architecture & System Design Practical Case Studies

2503 ratings at Udemy

Design Real-life Large Scale Systems, Practice Modern Software Architecture & Prepare for a System Design Interview

• Udemy
• 3 hours 58 minutes
• Self-Paced
• Paid Course

Data Structures Concepts & Singly Linked List Implementation

2480 ratings at Udemy

Data Structures Concepts & Singly Linked List Implementation

• Udemy
• 1 hour 39 minutes
• Self-Paced
• Free Online Course

Data Structures and Algorithms: The Complete Bootcamp

2515 ratings at Udemy

Comprehensive Data Structures and Algorithms Guide: Learn, Visualize and Implement DSA Concepts from Basics to Advanced

• Udemy
• 20 hours 4 minutes
• Self-Paced
• Paid Course

Intelligent Agents and Search Algorithms

Implement uninformed and informed search — BFS, DFS, A*, hill climbing, minimax with alpha-beta pruning — and design heuristics for rational agents acting in complex environments.

• Coursera
• 5 weeks, 2 hours a week
• Self-Paced
• Paid Course

Temporal Logic Model Checking

Specify and verify system behavior with temporal logic: linear-time properties, LTL and CTL model checking algorithms, and symbolic model checking using switch functions and BDDs.

• Coursera
• 4 weeks, 11 hours a week
• Self-Paced
• Paid Course

BiteSize Python for Absolute Beginners: Data Structures

Create, access, and manipulate Python's lists, tuples, sets, and dictionaries — with slicing, comprehensions, and set operations — then compare them in a grade book case study.

• Coursera
• 5 weeks, 3 hours a week
• Self-Paced
• Paid Course

Model Checking with SAT and SMT

Learn SAT-based model checking: resolution and CDCL solving, encoding Boolean circuits to CNF, bounded and unbounded checking of LTL, and SMT theories like IDL and EUF.

• Coursera
• 3 weeks, 3 hours a week
• Self-Paced
• Paid Course

Equivalences, Abstraction, and Partial Order Reduction

Shrink models before verifying them: use bisimulation, simulation relations, stutter equivalence, and partial order reduction to abstract system models and cut state-space size.

• Coursera
• 4 weeks, 4 hours a week
• Self-Paced
• Paid Course