Dr Dmitriy Traytel

Department of Computer Science, ETH Zürich

About the author

Dmitriy Traytel is a senior researcher in David Basin’s information security group at ETH Zürich working on runtime verification and monitoring. He completed his PhD in 2015 in Tobias Nipkow’s logic and verification group at TU München. Together with David Basin, he is leading the “Big Data Monitoring” project.

Articles by this author

Big Data Monitoring

Big Data Monitoring

Interview with Dmitriy Traytel, senior researcher in David Basin's information security group at ETH Zürich and PI of the project “Big Data Monitoring”.