Skip to main content
Ahmed Nassar's user avatar
Ahmed Nassar's user avatar
Ahmed Nassar's user avatar
Ahmed Nassar
  • Member for 9 years, 5 months
  • Last seen more than 1 year ago
About

Currently at NVIDIA working on V&V to ensure safety of self-driving cars (simulation, scenario description languages, ontologies, specification languages, runtime verification).

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

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
4
bronze badges
Top tags
1
Score
2
Posts
100
Posts %
1
Score
2
Posts
100
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts