معرفی
Dejan Nickovic is a Senior Scientist specializing in Security & Communication Technologies. His research focuses on Computer Science, Cyber-Physical Systems, and Formal Verification.
- Key roles: International Programme Committee Member (Design, Automation and Test in Europe Conference, Runtime Verification Conference, QEST+FORMATS, Formal Methods Symposium).
- Research areas: Temporal Logic, Autonomous Driving Verification, Runtime Monitoring, AI Integration, and IoT Applications.
Recent work spans safety monitoring specifications, distributed system monitoring, and AI-quantum integration, emphasizing formal methods and verification techniques.
Scientific awards:
- Best Paper Award (2022)
- RV Test of Time Award (2021)
۰مقاله منتشرشده
Dejan Nickovic در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- DDejan NickovicVienna University of Technology · استاد
- DDejan NickovicVienna University of Technology · دانشیار
Ezio BartocciVienna University of Technology · استاد- EEzio BartocciVienna University of Technology · استاد
Kristin Yvonne RozierIowa State University · دانشیار- VValdemar Tang EvansAarhus University · پژوهشگر ارشد