Ing. Lukáš Charvát

Projects

2017Secure and Reliable Computer Systems, BUT, FIT-S-17-4014, FIT-S-17-4014, 2017-2019, running
Research leader: Vojnar Tomáš
2014Reliability and Security in IT, BUT, FIT-S-14-2486, 2014-2016, completed
Research leader: Vojnar Tomáš
2013Innovation of the Complexity Theory class, FRVŠ MŠMT, FR166/2013/G1, 2013, completed
Research leader: Lengál Ondřej
Team leaders: Charvát Lukáš, Rogalewicz Adam
2010Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit, MŠMT CR, OC10009, 2010-2012, completed
Research leader: Vojnar Tomáš
Team leaders: Češka Milan, Křena Bohuslav, Peringer Petr, Rogalewicz Adam, Smrčka Aleš
 Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness, GACR, GAP103/10/0306, 2010-2013, completed
Research leader: Vojnar Tomáš
Team leaders: Češka Milan, Křena Bohuslav, Peringer Petr, Rogalewicz Adam, Smrčka Aleš

Your IPv4 address: 54.161.100.24
Switch to IPv6 connection

DNSSEC [dnssec]