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.
Location
Budapest, Hungary
This person is not in any offices