Hi, I'm student of FIT CTU in Prague with love for programming, theory, math, social activity and playing guitar. Currently, I'm doing my bachelor's in theoretical informatics. I started programming in my 8th class of elementary school, gained self-though knowledge during high school and extended it significantly. I'm loving it so far.
| Key | Value |
|---|---|
| Name | Petr Laštovička |
| Born | 2002 |
| High school | Gymnázium Pelhřimov (Grammar school) (2016 - 2021) |
| University | Faculty of Information Technology CTU Prague (2021 - …) |
| Field | Theoretical informatics |
| Study average | 1.05 |
| ORCID | 0009-0001-1679-6221 |
| Hobbies | Programming, Guitar playing, Dancing |
- Flexible realizations existence: NP-completeness on sparse graphs and algorithms, Petr Laštovička, Jan Legerský, 2024, arXiv.org
| Level | Languages, tools, platforms, … |
|---|---|
| Quite good | C, C++, Kotlin, Android SDK, Git, Python, Linux |
| I can manage | Rust, Go, Scala, SQL, Shell, Docker, Gradle, Java, Lisp, … |
| Fields | Algorithms, Data structures, Compilers, Deep learning, App development, Functional prog., Non-basic uni math |
| Android, Kotlin stack | KMP, Compose, SQLDelight, Koin, MVVM, Views, Ktor, … |
| B2 | English |
| A2 | German |
| C2 | Czech |
Check my coding style (not only) in my Advent of Code repo.
-
Matee devs - Android app development, 1 year
-
Teaching C at FIT CTU, 2 semesters
-
Teaching C++ at FIT CTU, 1 semester
-
Erasmus at TalTech, Estonia, 1 semester
-
small contracts
-
also note the projects listed bellow
-
Asuro project participant
-
Physics Olympics winner (regional lever only)
-
Physics selective course Táňa
- Many small Android apps
- Bakaláři mobile client (huge, but never finished & published)
- Arduino/ESP weather station
- Menza CTU - Mobile client + server for viewing and rating CTU canteen menus (2000+ users), Kotlin
- Lispík - SECD VM and compiler for basic Lisp constructs, Kotlin
- Mila - Pascal compiler, Rust
- vimxel - Table processor in terminal supporting expressions and Vim bindings, C++
- Vector house - Vector based search engine for Wikipedia, Python
- C++ course repository
- C course repository
- Algorithms repository (advanced course)
- and more minor projects
- Raspberry Pi4
- Alma Linux
- Nginx
- Own rating backend for the Menza app
- Synapse Matrix
- Nextcloud
- Syncthing
- WordPress
- and more…
- Email - [email protected]
- GitHub - LastaApps
- Telegram - @to_urcite_ty_kokos
- Matrix - @to_urcite_ty_kokos:lastope2.sh.cvut.cz (backup)
I use Arch NixOS (and NeoVim).