Petr Ročkai
Masaryk University
Czech Republic
This profile is automatically generated from trusted academic sources.
Google Scholar
.
ORCID
.
How do Korean students reach out?
Sign in for free to see their profile details and contact information.
Meet Kite AI
Contact this professor
Research Interests
Syntax
20%
Control System
20%
Programming Language
30%
Fault Tolerance
20%
Model Checking
20%
Computer Architecture
10%
Runtime Verification
10%
Ask ApplyKite AI
Start chatting
How can you help me contact this professor?
What are this professor's research interests?
How should I write an email to this professor?
Articles3
Collaborators2
Jan Mrázek
Masaryk University
CZECH REPUBLIC
Agostino Cortesi
full professor
Università Ca' Foscari
ITALY
How do Korean students reach out?
Sign in for free to see their profile details and contact information.
Meet Kite AI