Ing. Jan Chaloupka

Projects

2014Automatic Formal Analysis and Verification of Programs with Complex Unbounded Data and Control Structures, GACR, GA14-11384S, 2014-2016, completed
Research leader: Vojnar Tomáš
Team leaders: Kofroň Jan
 Modern Taylor Series Method and Parallel Implementation of Numerical Methods for Large Systems, MŠMT CR, Aktion, 2014-2015, completed
Research leader: Kunovský Jiří
Team leaders: Chaloupka Jan, Kocina Filip, Šátek Václav
 Reliability and Security in IT, BUT, FIT-S-14-2486, 2014-2016, completed
Research leader: Vojnar Tomáš
2013Verification of Infinite State Systems Based on Finite Automata, GACR, GP13-37876P, 2013-2015, completed
Research leader: Holík Lukáš

Your IPv4 address: 18.232.53.231
Switch to https