Sidebar

Dr. Laibinis Linas

 


Telefonas (8 5) 219 5014
El. paštas linas.laibinis@mif.vu.lt

 
Pareigos: Vyresnysis mokslo darbuotojas, Profesorius

 

2018

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 m. 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

 

Paskutinė atnaujinimo data 2023-03-31

 

Smulkiau
Siekdami užtikrinti jums teikiamų paslaugų kokybę, Universiteto tinklalapiuose naudojame slapukus. Tęsdami naršymą jūs sutinkate su Vilniaus universiteto slapukų politika. Daugiau informacijos
Sutinku