Faculty of Information Technology, BUT

Ing.

Jaroslav Ráb

Assistant lecturer

Projects

  • 2011

    Advanced secured, reliable and adaptive IT, BUT, FIT-S-11-1, 2011-2013, completed, start: 2011-01-01, end: 2013-12-31
    Detail

    SCADA system for control and monitoring RT processes, TACR, TA01010632, 2011-2013, completed, start: 2011-01-01, end: 2013-12-31
    Detail

    The IT4Innovations Centre of Excellence, MŠMT CR, ED1.1.00/02.0070, 2011-2015, completed, start: 2011-01-01, end: 2015-12-31
    Detail

  • 2010

    IT Education for Practice, MŠMT CR, CZ.1.07/2.2.00/15.0163, 2010-2013, completed, start: 2010-10-01, end: 2013-05-31
    Detail

    Modern Tools for Detection and Mitigation of Cyber Criminality on the New Generation Internet, MV CR, VG20102015022, 2010-2015, completed, start: 2010-10-01, end: 2015-09-30
    Detail

    Secured, reliable and adaptive computer systems, BUT, FIT-S-10-1, 2010, completed, start: 2010-03-01, end: 2010-12-31
    Detail

  • 2008

    ATLANTIS-DeSIRE^2: Dependable Systems International Research and Educational Experience, EC EU, ATLANTIS-DESIRE, 2008-2013, completed, start: 2008-10-01, end: 2013-09-30
    Detail

    Safety and security of networked embedded system applications, GACR, GA102/08/1429, 2008-2010, completed, start: 2008-01-01, end: 2010-12-31
    Detail

  • 2007

    Increasing of qualification in the area of network security and IP telephony, CESNET, 215/2007, 2007-2009, completed, start: 2007-05-21, end: 2009-09-25
    Detail

    Security-Oriented Research in Information Technology, CEZ MŠMT, MSM0021630528, 2007-2013, completed, start: 2007-01-01, end: 2013-12-31
    Detail

  • 2006

    Increasing of qualification in the area of network security and wireless technologies, CESNET, CESNET 2006, 2006-2008, completed, start: 2006-05-04, end: 2008-05-30
    Detail

    Toward International Learning Environment for Real-Time Safety-Critical Control Systems (ILERT), EC EU, ATLANTIS-ILERT, 2006-2008, completed, start: 2006-11-01, end: 2008-12-31
    Detail

  • 2005

    A Framework for Formal Specifications and Prototyping of Information System's Network Applications, GACR, GA102/05/0723, 2005-2007, completed, start: 2005-01-01, end: 2007-12-31
    Detail

  • 2001

    Selection of methods for formal specification and verification of communication protocols, FRVŠ MŠMT, FR0099/2001/G1, 2001, completed, start: 2001-01-01, end: 2001-12-31
    Detail

Back to top