Muhammad Usama Sardar

Formal Verification of the safety-critical systems using Theorem Proving and Probabilistic Model Checking. Further details at: http://save.seecs.nust.edu.pk/musama/

Chair for Embedded Systems (CES), Department of Computer Science, Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany Project: Formal Verification of Distributed Thermal and Resource Management Schemes for On-Chip Many-Core Systems. Further details at: http://ces.itec.kit.edu/21.php

Spring 2015: EE839 - Adaptive Filters (Post-graduate course) Fall 2015: EE802 - Advanced Digital Signal Processing (Post-graduate course) Spring 2016: EE839 - Adaptive Filters (Post-graduate course) School of Electrical Engineering and Computer Sciences (SEECS), National University of Sciences and Technology (NUST), Islamabad, Pakistan

1. Hardware Project Coordination for final year students of BEIT (Spring 2010 – Spring 2012) 2. Taught “Advanced Electronics” course to 5th semester students of BEIT (Spring 2011 – Fall 2011) 3. Taught “Electronics” course to 4th semester students of BEIT (Fall 2011 – Spring 2012) 4. Supervised 6 final year projects of BEIT (Spring 2010 – Spring 2012) 5. Event organizer

Taught the following courses to diploma students: (Fall 2010) 1. Computer Architecture 2. Digital Signal Processing 3. Electromagnetic Field Theory 4. Instrumentation and Measurement 5. Solid State Electronics

1. Model checking 2. Advances in Probabilistic Model Checking

This course is a rigorous introduction to Logic. It covers the encoding of information as logical sentences, logical reasoning, and an introduction to logic technology and its applications. Logics covered include Propositional Logic and Relational Logic.

GPA: 3.90/4.00

GPA: 3.09/4.00