163
reputation
5

Ahmed Nassar

Obtained a PhD in Electrical and Computer Engineering from UC Irvine, working on complete runtime verification frameworks targeted at software running over distributed multiprocessor systems (including specification languages, architectural supporting mechanisms, and specification mining) with applications to host-based intrusion detection.

Industry experience in digital SoC design and advanced (i.e., assertion-based, coverage-driven, constrained-random) functional verification.

Samples of my work, that I can make public, are here: https://github.com/anassar?tab=repositories

0
answers
3
questions
~899
people reached
  • California
  • Member for 6 years, 5 months
  • 15 profile views
  • Last seen May 3 '19 at 2:07

Top tags (9)

Score 0
Posts 2
Posts % 67
Score 0
Posts 2
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (3) All Questions Answers | Votes Newest

Badges (5)

Gold

Silver

Bronze

5

Rarest