Dániel Darvas is a highly accomplished software engineer currently employed at Google since July 2019. Dániel's previous experience includes serving as a Senior Fellow at CERN from June 2017 to May 2019, where Dániel contributed to the PLCverif project, an initiative focused on automated formal verification of PLC programs. Dániel also held roles as a Technical Student and Doctoral Student at CERN, specializing in formal modeling and verification. Prior experience includes a position as a Teaching Assistant and Course Instructor at the BUTE Faculty of Electrical Engineering and Informatics, teaching various courses in operating systems, intelligent system management, and formal methods. Dániel holds a Master of Science in Computer Engineering and a Doctor of Philosophy in Computer Science, both from the Budapest University of Technology and Economics, achieving excellent results and honors in academic pursuits.
This person is not in the org chart
This person is not in any teams
This person is not in any offices