Yan Kim

Yan Kim

Doctoral researcher

Faculty or Centre Interdisciplinary Centre for Security, Reliability and Trust
Department APSIA
Postal Address Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Campus Office MNO, E02 0235-070
Email
Telephone (+352) 46 66 44 5848

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: Wednesday, 03 June 2020

powered by
orbilu.uni.lu

2021

Full Text
See detailSTV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions
Kurpiewski, Damian; Pazderski, Witold; Jamroga, Wojciech; Kim, Yan

in Proceedings of AAMAS (2021)

Top of Page

2020

Full Text
See detailTowards Model Checking of Voting Protocols in Uppaal
Jamroga, Wojciech; Kim, Yan; Kurpiewski, Damian; Ryan, Peter Y A

in Proceedings of the Fifth International Joint Conference on Electronic Voting E-VOTE-ID 2020 (2020)

Top of Page

URL:  https://wwwen.uni.lu/snt/people/yan_kim Date:  Tuesday, 06 June 2023, 11:46