Behrouz Tork Ladani

Teaching

Graduate (Mater and PhD of Software Engineering and Information Security)

  • Advanced Network Security
  • Malware Analysis 
  • Software Security 
  • Software Verification and Validation 
  • Model Checking Algorithms and Applications 
  • Symbolic Processing - Logic, Theorem proving & Term rewriting 
  • Statistical Pattern Recognition 

UnderGraduate (Bachelor of Computer Engineering)

  • Cryptography and Network Security
  • Security in Computer Systems
  • Internet Engineering
  • Formal Languages and Automata Theory
  • Discrete Mathematics for Computer Science
  • Artificial Intelligence
  • Computer Fundamentals