David Chocholatý

String Constraint Solving for Analysis of Web Applications and Beyond

Školitel: Lukáš Holík

Instituce: Brno University of Technology, Faculty of Information Technology

Obor: Information Technology

 

O projektu

Denně používané webové aplikace s sebou přinášejí bezpečnostní rizika. Náš projekt analyzuje programy pro webové aplikace pro odhalení zranitelností v jejich kódu. Využíváme technologii řešení omezení nad řetězci založené na automatové teorii. Naše řešení je nejrychlejší na světě, což nám dává jedinečnou příležitost překonat překážky a odhalit mnohé zranitelnosti. Projekt navíc pomůže i v oblastech verifikace řídících systémů pro letecký průmysl či nastavení přístupových práv do cloud řešení.

 

Proč dělám vědu?

Vždy mě bavilo zkoušet a objevovat něco nového. Akademie mi dala možnost touto zálibou pomáhat řešit aktuální problémy reálného světa, kde mohu skutečně pomoci všem lidem. Takto mohu každý den objevovat něco nového, ale zároveň prohlubovat existující vědění o známých problémech. Právě tato zvídavost a touha rozumět světu kolem nás je tím, co nás jako lidstvo rozvíjí, a já jsem jen rád, že mohu být součástí tohoto pokroku.

 

Proč mám rád/a Brno

K Brnu mám vřelý vztah hned z několika důvodů. Nejen je Brno centrum vědy a techniky, ale také krásné město plné historie, kultury i zábavy. Brno mi nabízí všechno potřebné, ale stále se nejedná o velkou metropoli, kde se člověk cítí malým a nedůležitým. Život v Brně mám rád a chtěl bych dál vidět Brno se rozvíjet a kvést.