Seyed Nematollah Ahmadyan

I verify things do what they are supposed to do. Specificly, I specialize in finding a behaviours that are not supposed to exists in the systems. Either due to some implementation bugs or a foundamentall mistakes in specifications. I am more interested in nonlinear dynamic systems like analog circuits.

I got my Bachelor's and Master's degree in computer engineering from Sharif (Tehran). Currently, I'm a PhD student at ECE department at UIUC (Urbana, IL).

  • #verification
  • #test
  • #formalverification
  • #modelchecking
  • #eda