Bio


Daniel is a PhD student currently working on tools for validating mixed-signal systems. He received his bachelor's degree from Princeton University in 2018. His research interests include designing analog and digital hardware as well as creating tools that make hardware design faster and easier.

All Publications


  • fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components International Conference on Computer Aided Verification Truong, L., Herbst, S., Setaluri, R., Mann, M., Daly, R., Zhang, K., Donovick, C., Stanley, D., Horowitz, M., Barrett, C., Hanrahan, P. 2020