Dr. Laibinis Linas


Phone (8 5) 219 5014


Position: Senior Researcher, Professor



Linas Laibinis Verification of Signalling Programs with SafeCap 37th International Conference on Computer Safety, Reliability, and Security, September 18-21, 2018, Vasteros, Sweden

2021–2025 COST. European Research Network on Formal Proofs (CA20111)

Member of the Doctoral Committees for Computer Science (N 009) and for Computer Engineering (T 007). Vilnius University


Last update date 2023-03-31


Cookies make it easier for us to provide you with our services. With the usage of our services you permit us to use cookies. More information