Ing. František Ščuglík, Ph.D.

2014Research and application of advanced methods in ICT, BUT, FIT-S-14-2299, 2014-2016, completed
Research leader: Matoušek Petr
Team leaders: Bartík Vladimír, Burget Radek, Honzík Jan M., Hruška Tomáš, Kreslíková Jitka, Křivka Zbyněk, Květoňová Šárka, Masařík Karel, Meduna Alexander, Očenášek Pavel, Přikryl Zdeněk, Rychlý Marek, Ryšavý Ondřej, Ščuglík František, Švéda Miroslav, Trchalík Roman, Zendulka Jaroslav
2005A Framework for Formal Specifications and Prototyping of Information System's Network Applications, GACR, GA102/05/0723, 2005-2007, completed
Research leader: Švéda Miroslav
Team leaders: Hruška Tomáš, Zendulka Jaroslav
2004Design and implementation of embedded formal verification assistants in the .NET framework, MSR, MS1412001, 2004-2005, completed
Research leader: Švéda Miroslav
Team leaders: Bureš František, Ryšavý Ondřej, Ščuglík František

Your IPv4 address: 54.162.184.185
Switch to IPv6 connection

DNSSEC [dnssec]