Tamás Tóth Email
Senior Software Engineer @ Runtime Verification Inc
5 free lookup(s). No credit card required.
If you need more lookups,
subscriptions start at $34 USD/month.
Tamás Tóth Location
- Budapest, HU
Tamás Tóth Work
- Senior Software Engineer @ (January 2022 - Present)
- Formal Verification Engineer @ (October 2021 - December 2021)
- Software Engineer @ (December 2020 - September 2021)
- Consultant @ Oski Technology, Inc. (December 2020 - August 2021)
- Formal Verification Engineer @ Oski Technology, Inc. (September 2019 - November 2020)
- Research Assistant @ (September 2017 - August 2019)
- PhD Student @ (September 2014 - August 2017)
Tamás Tóth Education
- Budapest University of Technology and Economics
PhD (Computer Science)
2014-2021 - Budapest University of Technology and Economics
MSc (Computer Enigneering)
2012-2014 - University of Twente
(Computer Science)
2014-2014 - Technische Universität Wien
(Computer Science)
2013-2014 - Budapest University of Technology and Economics
BSc (Computer Engineering)
2008-2012
Tamás Tóth Skills
- Java
- Eclipse
- EMF
- LaTeX
- Mathematical Logic
- Formal Verification
- Theoretical Computer Science
- Computer Science
- SysML
- Algorithms
- C++
- Model-Driven Software Development
- Programming
Tamás Tóth Summary
- Tamás Tóth, based in Budapest, HU, is currently a Senior Software Engineer at Runtime Verification Inc. Tamás Tóth brings experience from previous roles at Runtime Verification Inc, Vacuumlabs and Oski Technology, Inc.. Tamás Tóth holds a 2014 - 2021 PhD in Computer Science @ Budapest University of Technology and Economics. With a robust skill set that includes Java, Eclipse, EMF, LaTeX, Mathematical Logic and more. Tamás Tóth has 1 emails on RocketReach.
Looking for a different Tamás Tóth?
Find contact details for 700 million professionals.
Others Named Tamás Tóth
Tamas Toth
a.i. Head of Digital and AI
Munich, BY, DE
Tamas Toth
Supply Chain Manager
Hungary
Tamas Toth
Solutions Architect, Associate Director
New York, NY, US
Tamas Toth
Chief Executive Officer
Debrecen, HU
Tamas Toth
General Manager
Budapest, HU
Top Runtime Verification Inc Employees
Jonathan West
Consultant
New York, NY, US
Yale Vinson
Senior Technical Product Manager
Flower Mound, TX, US
Andrei Vacaru
Software Developer
Bucharest, Bucuresti, Romania
Guy Repta
Software Engineer
Urbana, IL, US
Palina Tolmach
Chief Technology Officer
United Arab Emirates
Julian Kuners
Verification Engineer
Berlin, DE
Lucas Martinelli Tabajara
Formal Verification Engineer
Chicago, IL, US
Yale Vinson
Senior Technical Product Manager
Flower Mound, Texas, United States
Juan Conejero
Formal Verification Engineer
Valencian Community, Spain
Melissa Baber
Operations Manager
Urbana, IL, US
Aellison Cassimiro
Formal Verification Engineer
United States
Daniel Cumming
Verification Engineer
Brisbane, QLD, AU
Paul Len
Chief Operating Officer
Philadelphia, PA, US
G2 Crowd Trusted
300K+ Plugin Users
© 2026 RocketReach.co