Dr. Laibinis Linas
|
|
|
| Pareigos: | Vyresnysis mokslo darbuotojas, Profesorius |
Mokslinė produkcija
Pranešimai konferencijose ir seminaruose
2018
Linas Laibinis Verification of Signalling Programs with SafeCap 37th International Conference on Computer Safety, Reliability, and Security, September 18-21, 2018, Vasteros, Sweden
MTEP projektai ir užsakymai
2021–2025 m. COST. European Research Network on Formal Proofs (CA20111)
Dalyvavimas darbo grupėse, komisijose ir komitetuose
Member of the Doctoral Committees for Computer Science (N 009) and for Computer Engineering (T 007). Vilnius University
Paskutinė atnaujinimo data 2023-03-31