Dr. Laibinis Linas
|
|
Position: | Senior Researcher, Professor |
Scientific production
Presentations at conferences and workshops
2018
Linas Laibinis Verification of Signalling Programs with SafeCap 37th International Conference on Computer Safety, Reliability, and Security, September 18-21, 2018, Vasteros, Sweden
R&D projects and contracts
2021–2025 COST. European Research Network on Formal Proofs (CA20111)
Participation in working groups, commissions and committees
Member of the Doctoral Committees for Computer Science (N 009) and for Computer Engineering (T 007). Vilnius University
Last update date 2023-03-31