...
Niklas finished his Ph.D. on SAT based formal verification in 2005, and has
continued to work as a researcher, first at Cadence Berkeley Labs, and later
at University of California, Berkeley. He is mostly known for co-authoring
the SAT-solver MiniSat, but his interests also include hardware verification and
logic synthesis.
| Attachments | ||
|---|---|---|
|