A list of some of my talks. Their recordings are available on my YouTube channel.

Multithreading and Multiprocessing in Python

• Date: 2024-11-15
• At: Internal Python Guild at Gen
• Media:

What Is New in Recent Versions of Python

• Date: 2024-08-23
• At: Internal Python Guild at Gen
• Media:

Introduction to MongoDB

• Date: 2024-05-30
• At: Internal CTO Cloud Meetup at Gen
• Media:

A Deep Dive Into Python’s Object/Data Model

• Date: 2024-05-14
• At: Internal Python Guild at Gen
• Media:

Introduction to Memorystore in GCP

• Date: 2024-05-02
• At: Internal CTO Cloud Meetup at Gen
• Media:

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:

High-Quality Code

• Date: 2023-05-03
• At: Invited lecture at BUT FIT (Practical Aspects of Software Design)
• Media: (Czech)

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

• Date: 2022-05-04
• At: Invited lecture at BUT FIT (Practical Aspects of Software Design)
• Media: (Czech) (English)

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

• Date: 2021-05-05
• At: Invited lecture at BUT FIT (Practical Aspects of Software Design)
• Media: (Czech)

A Look at Software-Engineering Career Ladders

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

Introduction to Python

• Date: 2021-03-08
• At: Invited lecture at BUT FIT (Principles of Programming Languages)
• Media: (Czech)

Tips for Writing in English

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

Pull Requests, Code Reviews, and High-Quality Code

• Date: 2020-04-28
• At: Invited lecture at BUT FIT (Practical Aspects of Software Design)
• Media: (Czech) (English)

Python’s Object Model

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

Introduction to Python

• Date: 2020-03-02
• At: Invited lecture at BUT FIT (Principles of Programming Languages)
• Media:

Tips for Merge Requests and Code Reviews

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

Introduction to Python

• Date: 2019-03-04
• At: Invited lecture at BUT FIT (Principles of Programming Languages)
• Media:

Introduction to Python

• Date: 2018-03-05
• At: Invited lecture at BUT FIT (Principles of Programming Languages)
• Media: (Czech)

Introduction to Python

• Date: 2017-03-07
• At: Invited lecture at BUT FIT (Principles of Programming Languages)
• Media: (Czech)

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

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

Range-Based For Loops and Auto

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

Rvalue References, Move Semantics, and the Magic Thereof

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

C++ Traps and Pitfalls

• Date: 2016-04-22
• At: C++ Developers’ Guild at AVG
• Media: (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: (Czech)

One-Sided Random Context Grammars

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

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

• Date: 2014-04-24
• At: Brněnské Pyvo + BRUG: Překladačové
• Media: (Czech)

One-Sided Random Context Grammars

• Date: 2014-03-31
• At: RDID – Ph.D. Thesis Discussion
• Media:

Regulated Grammars and Automata (with A. Meduna)

• Date: 2013-12-12
• At: Language Theory with Applications
• Media:

Nondeterminism in Programmed Grammars

• Date: 2013-10-31
• At: Modern Theoretical Computer Science
• Media:

Scattered Context Grammars

• Date: 2013-10-31
• At: Modern Theoretical Computer Science
• Media:

Optimizing C++ Code

• Date: 2013-10-29
• At: Internal Decompiler Seminar
• Media: (Czech)

Jumping Finite Automata

• Date: 2013-10-22
• At: 2nd Annual Conference of IT4I National Supercomputing Center
• Media:

What are Formal Languages and Compilers

• Date: 2013-09-30
• At: Formal Languages and Compilers (Introduction)
• Media:

On Etiquette

• Date: 2013-06-17
• At: English for Ph.D. Students
• Media:

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

• Date: 2013-06-15
• At: Barcamp Brno 2013
• Media: (Czech)

Regulated Grammars and Automata

• Date: 2013-05-24
• At: Joseph Fourier Prize 2013
• Media:

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

• Date: 2013-04-25
• At: EEICT 2013
• Media:

One-Sided Random Context Grammars

• Date: 2013-04-15
• At: RDID – Ph.D. Thesis Discussion
• Media:

Flying with Python

• Date: 2013-03-06
• At: IPPe – Principles of Programming Languages
• Media:

Git: The Way of the Warrior

• Date: 2013-03-06
• At: Internal Decompiler Seminar
• Media: (Czech)

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

• Date: 2013-02-21
• Language: Czech
• At: Final FRVŠ Grant Proceeding
• Media:

Jumping Finite Automata (with A. Meduna)

• Date: 2012-12-10
• At: Language Theory with Applications
• Media: (English)

What’s New in C++11

• Date: 2012-12-04
• At: Internal Decompiler Seminar
• Media:

One-Sided Random Context Grammars

• Date: 2012-10-24
• At: Modern Theoretical Computer Science
• Media:

Scattered Context Grammars

• Date: 2012-10-24
• At: Modern Theoretical Computer Science
• Media:

What are Formal Languages and Compilers

• Date: 2012-09-24
• At: Formal Languages and Compilers (Introduction)
• Media:

Normal Forms of One-Sided Random Context Grammars

• Date: 2012-04-26
• At: EEICT 2012
• Media:

One-Sided Random Context Grammars

• Date: 2012-04-16
• At: RDID – Ph.D. Thesis Discussion
• Media:

Transformation of Formal Models

• Date: 2012-02-17
• At: State Doctoral Exam at VUT FIT
• Media:

Flying with Python

• Date: 2012-02-13
• At: IPPe – Principles of Programming Languages
• Media:

Design of an Automatically Generated Retargetable Decompiler

• Date: 2011-12-10
• At: European Conference of Computer Science (ECCS’11)
• Media:

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

• Date: 2011-10-18
• Language: Czech
• At: IFJ – Formal Languages and Compilers
• Media: (Czech)

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

• Date: 2011-08-18
• At: 13th International Conference on Automata and Formal Languages
• Media:

On the Nonterminal Complexity of Left Random Context E0L Grammars

• Date: 2011-04-28
• At: EEICT 2011
• Media:

Transformation of Formal Models

• Date: 2011-04-04
• At: RDID – Ph.D. Thesis Discussion
• Media:

On (Extended) Szilard Languages

• Date: 2011-03-23
• At: Seminar on Formal Languages and Automata
• Media:

Flying with Python

• Date: 2011-03-07
• At: IPPe – Principles of Programming Languages
• Media:

On Nondeterminism in Programmed Grammars

• Date: 2011-03-02
• At: Seminar on Formal Languages and Automata
• Media:

Left Random Context Grammars

• Date: 2010-12-01
• At: Dílna moderní teoretické informatiky
• Media: (Czech)

On Erasing Rules in Regulated Grammars

• Date: 2010-06-24
• At: MSZ – State Final Examination (Msc)
• Media:

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

• Date: 2010-04-29
• At: EEICT 2010
• Media:

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

• Date: 2010-03-10
• At: Seminar on Formal Languages and Automata
• Media: (Czech)

Lookahead k > 1 in LL and LR Translators

• Date: 2009-12-17
• At: VYPe – Compiler Construction
• Media:

Converting Finite Automata to Regular Expressions

• Date: 2009-10-07
• At: Seminar on Formal Languages and Automata
• Media:

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

• Date: 2009-04-21
• Language: Czech
• At: DJA – Dynamic Languages
• Media:

Canonical Derivations in Programmed Grammars

• Date: 2008-06-12
• At: ISZ – State Final Examination (BSc)
• Media:

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

• Date: 2008-04-25
• Language: Czech
• At: ISJ – Scripting Languages
• Media: (Czech)

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

• Date: 2008-04-24
• At: EEICT 2008
• Media: