Talks

A list of some of my talks. Their recordings are available here: Czech, English.

Google Cloud and the CTO setup at Gen

  • Date: 2024-01-11
  • At: Internal CTO Cloud Meetup at Gen
  • Content: An overview of Google Cloud (GCP) and setup in the CTO organization, including how we handle infrastructure, containers, logging, metrics, databases, message brokers, etc.
  • Media:

Introduction to Staff+ Engineering

  • Date: 2023-08-10
  • At: Internal seminar at Gen
  • Media: pdf

High-Quality Code

Threat-Related Data Management at Gen

  • Date: 2023-02-09
  • At: Internal seminar at Gen
  • Content: An overview of threat-related data management at Gen.
  • Media:

Backstage and Its Use Within Our Team

  • Date: 2022-08-25
  • At: Internal seminar at Avast
  • Content: An overview of Backstage and its use within our team.
  • Media:

High-Quality Code

Threat-Related Data Management at Avast

  • Date: 2022-03-14
  • At: Threat Labs all-hands meeting at Avast
  • Content: An overview of threat-related data management that our team inside Threat Labs provides.
  • Media:

High-Quality Code

A Look at Software-Engineering Career Ladders

  • Date: 2021-04-08
  • At: Internal seminar at Avast
  • Media: pdfvideo

Introduction to Python

Tips for Writing in English

  • Date: 2021-01-14
  • At: Internal seminar at Avast
  • Media: pdf (just my part of the slides)

Pull Requests, Code Reviews, and High-Quality Code

Python’s Object Model

  • Date: 2020-03-26
  • At: Internal seminar at Avast
  • Media: pdfgithubvideo(English)

Introduction to Python

Tips for Merge Requests and Code Reviews

  • Date: 2019-10-11
  • At: Internal seminar at Avast
  • Media: pdf

Introduction to Python

Introduction to Python

Introduction to Python

Some Lesser-Known Features of C++11 and C++14

  • Date: 2016-12-02
  • At: C++ Developers’ Guild at AVG
  • Media: pdfvideo(Czech)

Range-Based For Loops and Auto

  • Date: 2016-08-12
  • At: C++ Developers’ Guild at AVG
  • Media: pdfvideo(Czech)www

Rvalue References, Move Semantics, and the Magic Thereof

  • Date: 2016-07-01
  • At: C++ Developers’ Guild at AVG
  • Media: pdfvideo(Czech)

C++ Traps and Pitfalls

  • Date: 2016-04-22
  • At: C++ Developers’ Guild at AVG
  • Media: pdfvideo(Czech)

Tools of an Effective Developer

  • Date: 2016-02-26
  • At: C++ Developers’ Guild at AVG
  • Media: – (live demo)

Modernizing C++98 Code With C++11 and C++14

  • Date: 2015-12-04
  • At: C++ Developers’ Guild at AVG
  • Media: pdfwwwvideo(Czech)

One-Sided Random Context Grammars

  • Date: 2014-09-12
  • At: Ph.D. Thesis Defense at BUT FIT
  • Media: pdfphoto

Zpětný překlad aneb jak z binárky dostat zdroják

One-Sided Random Context Grammars

Regulated Grammars and Automata (with A. Meduna)

Nondeterminism in Programmed Grammars

Scattered Context Grammars

Optimizing C++ Code

Jumping Finite Automata

What are Formal Languages and Compilers

On Etiquette

Od hamburgeru ke krávě aneb jak z binárky získat zdroják

Regulated Grammars and Automata

One-Sided Random Context Grammars: Established Results and Open Problems

One-Sided Random Context Grammars

Flying with Python

Git: The Way of the Warrior

Matematické základy teorie formálních jazyků

Jumping Finite Automata (with A. Meduna)

What’s New in C++11

One-Sided Random Context Grammars

Scattered Context Grammars

What are Formal Languages and Compilers

Normal Forms of One-Sided Random Context Grammars

One-Sided Random Context Grammars

Transformation of Formal Models

Flying with Python

Design of an Automatically Generated Retargetable Decompiler

Democvičení k předmětu IFJ (Formální jazyky a překladače)

On Nondeterminism in Programmed Grammars (with L. Vrábel)

On the Nonterminal Complexity of Left Random Context E0L Grammars

Transformation of Formal Models

On (Extended) Szilard Languages

Flying with Python

On Nondeterminism in Programmed Grammars

Left Random Context Grammars

On Erasing Rules in Regulated Grammars

k-Limited Erasing Performed by Regular-Controlled Context-Free Grammars

k-Limited Erasing Performed by Regular-Controlled Context-Free Grammars

Lookahead k > 1 in LL and LR Translators

Converting Finite Automata to Regular Expressions

Metatřídy v Pythonu a jejich využití

Canonical Derivations in Programmed Grammars

Převod webových stránek s publikacemi do formátu BibTeXML

An Infinite Hierarchy of Language Families Resulting from n-limited Programmed Grammars