19CSE100 - Problem Solving and Algorithmic Thinking (PSAT) - 1st Sem - B.E. (CSE-CYS) - ASC, CBE.
20CYS312 - Principles of Programming Languages - 6th Sem - B.E. CSE(CYS) - ASC, CBE
Formal Methods for Blockchain & Smart Contracts
Algorithmic Mechanism Design and Blockchain
Micro Credential Courses