Experience

  • Teaching
    •  Instructor, ECE Department, King Abdulaziz University
      Course: Computer Architecture and Design
    • Instructor, ECE Department, King Abdulaziz University 
      Course: Digital Logic Design I
    • Instructor, ECE Department, King Abdulaziz University 
      Course: Introduction to VLSI Design
    • Instructor, ECE Department, King Abdulaziz University
      Course: Digital Electronics
    • Instructor, ECE Department, King Abdulaziz University
      Course: Compiler Construction
    • Instructor, ECE Department, King Abdulaziz University
      Course: Structured Computer Programming
    • Instructor, ECE Department, King Abdulaziz University
      Course: Discrete Mathematics and its Application
    • Instructor, ECE Department, King Abdulaziz University
      Course: Formal Verification of VLSI
    • Teaching Assistant, ECE Department, University of Colorado at Boulder (Spring 2004)
      Course: Switching and Finite Automata Theory
    • Teaching Assistant, ECE Department, University of Colorado at Boulder (Spring 1999)
      Course: VLSI System Design
    • Teaching Assistant, ECE Department, King AbdulAziz University (Spring 1994)
      Course: Fortran I
    • Teaching Assistant, ECE Department, King AbdulAziz University (Fall 1993)
      Course: Fortran I
    • Teaching Assistant, ECE Department, King AbdulAziz University (Spring 1993)
      Course: Fortran I
    • Grader, ECE Department, University of Colorado at Boulder (Fall 1999)
      Course: Formal Verification of VLSI Systems
    • Grader, ECE Department, University of Colorado at Boulder (Spring 2006)
      Course: Discrete Mathematics for Computer Engineering
  • Technical Skills
    • Embedded System: FPGA, Microcontroller, Android
    • CAD tools: VIS, SIS, BDD, SAT, Magic, SPICE, Xilinx FPGA Tools
    • Programming: C, FORTRAN, C++, C#, JAVA, Pascal, BASIC, Verilog, VHDL, Matlab,
      Assembly (Intel 8086 and 8051, Motorola, PIC ..), perl, python, csh, Tcl/Tk, awk, CVS
    • Web design and programming: HTML, XML, XHTML, Java script, ASP, php, MySQL, APACHE
    • Systems: Unix, Linux, MS-DOS, MS-Windows, Android
    • Fluent spoken/written Arabic and English
  • Others
    • Research Assistant, ECE Department, University of Colorado at Boulder (Spring 2000/Spring 2006 )
      Project: Proving More Properties with Bounded Model Checking
    • System Engineer, SAMAREC (ARAMCO) 1989 - 1994

 
Last Update
7/2/2013 1:54:57 PM