Výzkum

Aktuálně se chystám na výzkumné pobyty v oblastech biobezpečnosti a AI bezpečnosti.

Donedávna jsem působil jako odborný asistent na Rutgers University v New Jersey a předtím jako postdoc na UPJV v Amiens. Mou alma mater je PřF a FI MUNI. Snažím se propojit krásnou teorii (např. matematiku) s užitečnou praxí (např. kryptologií) v mém výzkumu i mimo něj.

K mým bývalým výzkumným zájmům patří:

• eliptické křivky, algebra a teorie čísel (elementární, algebraická, i výpočetní),
• aplikovaná kryptografie - zejména asymetrická, např. založená na isogeniích nebo polynomiálních systémech,
• kryptoanalýza primitiv, implementací i standardů,
• využití algebraických a mřížkových technik v kontextu útoků postranními kanály,
• dokazování matematických vět v jazyce Lean (např. PNT+).