Junghwan Choi is an author at Seoul National University specializing in power-aware computing, formal methods, and hardware security.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisHardware SecurityParallel ComputingFormal VerificationSystems EngineeringComputer EngineeringParallel Programming
Publications per year
2000–2000
1
1
Rows per page
1–1 of 1