Tamás Tóth completed his PhD at Budapest University of Technology and Economics, Hungary, where he worked on topics in the area of formal methods. His professional interests include programming languages, model checking and theorem proving. Prior to joining RV, he worked as a formal verification engineer in the semiconductor industry, where he designed and implemented exhaustive formal testbenches to catch all bugs in high-risk register-transfer level design blocks.
This person is not in any offices