Joel Kuepper
The University of Adelaide(AU)University of Adelaide(AU)
Publications by Year
Research Areas
Advanced Malware Detection Techniques, Security and Verification in Computing, Parallel Computing and Optimization Techniques, Formal Methods in Verification, Low-power high-performance VLSI design