Skip to main content
dan's user avatar
dan's user avatar
dan's user avatar
dan
  • Member for 14 years, 11 months
  • Last seen more than 13 years ago

About

I work on the whole stack, from hardware (RTL and microcode) to high level languages (scala, formal theorem proving in ACL2, etc). It's all good fun :-).

Badges

This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges

Posts

This user hasn’t posted yet.