Data Analysis · Research · Mathematical Logic
Junior data analyst and researcher based in Prague. I work with structured and messy data, build reproducible analytical outputs, and apply a background in mathematical logic to applied research and practical problem-solving.
Projects demonstrating data analysis, relational modelling, practical automation and interactive applications of mathematical logic.
Data analysis
An end-to-end Python analysis that derives case outcomes from event histories, links them to person-level attributes, and compares results across groups, courts and time.
Educational game · Mathematical logic
An interactive browser game for constructing finite Kripke models, evaluating modal formulas and exploring the relationship between modal axioms and frame properties.
Data modelling
A MySQL schema for structured exploration of logical systems, algebraic classes, axioms, properties and subclass relations.
Automation
A production utility that transforms a master scene list into chronologically ordered, character-specific Excel workbooks.
Academic side project
A concise historical survey of a major problem in lattice theory, included as an example of mathematical reading and technical writing.
View repository ↗Analytical and research support for evidence-informed public-interest projects. Current work includes questionnaire data processing and quality review, plus supporting research and technical exploration for other project work.
Real-time incident triage, structured issue logging and clear communication with customers under time pressure.
Budgeting and cash-flow modelling, scenario analysis, transaction reconciliation and event operations.
Formal foundations in logic, extended toward AI, computation and applied research.
Focus on algebraic logic, universal algebra and lattice theory. Bachelor’s thesis on algebraic structures related to quantum logic, including associated residuated ortholattices and their subvarieties.
Inter-university AI programme connecting courses across Charles University and Czech Technical University.
Programme website ↗Selected for the European Summer School in Logic, Language and Information in Prague, with planned coursework in logic for AI, SAT/SMT solving, higher-order logic and algebraic methods.
Event website ↗Skills used across the projects above and current analytical work.
Contact