Thor Martinsen is an author at Naval Postgraduate School specializing in circuit complexity, discrete mathematics, and approximation theory.
Top concepts
Circuit ComplexityDiscrete MathematicsEngineeringCryptographyVerificationCoding TheoryData SecurityFormal MethodsComputer ScienceAutomated Reasoning
Publications per year
2011–2019
4
4
Rows per page
1–4 of 4