Yan Kim
|
|
||||
| Postadresse |
Université du Luxembourg 2, Avenue de l'Université L-4365 Esch-sur-Alzette |
||||
Yan Kim received his Master degree in Computer Science from Nicolaus Copernicus University (Poland), in 2019. His research interests are in software engineering, discrete mathematics and algorithms. Yan joined the Applied Security and Information Assurance research group, APSIA, headed by Prof. Peter Y.A. Ryan. He will be advised by the latter and Dr. Wojciech Jamroga.
Last updated on: Mittwoch, den 03. Juni 2020
powered by
2021
STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions; ; ;
in Proceedings of AAMAS (2021)
2020
Towards Model Checking of Voting Protocols in Uppaal; ; ;
in Proceedings of the Fifth International Joint Conference on Electronic Voting E-VOTE-ID 2020 (2020)
