Research


Sanaz KHAN-AFSHAR

PhD Candidate

Phone:(514) 848-2424 ext. 7261

Office: EV16.169

E-mail: s_khanaf(@)ece.concordia.ca


 
I am a Ph.D Candidate in Hardware Verification Group (HVG) at Concordia University supervised by Dr. Sofiène Tahar. My main research interest is on Formal Verification of physics, using theorem proving. Currently I am focusing on formalization of optical systems.



Projects



Research Interests

  • Formalization of Electromagnetic Theory
  • Formalization of Complex Linear Algebra
  • Formal Verification of Numerical Methods
  • Unifying Mechanize Mathematical Systems
 
 

Concordia University