Filip Krikava
Associate Professor
Prague, Czechia
Summary
🤩
Rockstar🎓
Top SchoolFilip Krikava is an Associate Professor and seasoned software engineer with 15 years of experience bridging academic research and production systems in Prague. His work spans distributed systems, model-driven engineering, and language tooling—evidenced by contributions to scalameta improving SemanticDB semantics and to macOS window manager ShiftIt. He has led teams and platforms at TomTom and built IoT and big-data analytics at Oracle, then moved into research roles including postdocs in France and the U.S. and a faculty role at Czech Technical University. More recently he implemented a high-throughput, low-latency streaming pipeline in Rust for Lacework, showing a continued focus on performance-critical systems. He brings a rare mix of compiler-level insight, practical systems engineering, and teaching experience, with a PhD grounding his work in formal methods and adaptive distributed software.
15 years of coding experience
12 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Doctor of Philosophy (Ph.D.) at Université de Nice-Sophia AntipolisMaster's Degree, Master's Degree at České vysoké učení technické v Praze
English, French, Czech
Stackoverflow
3,513reputation
350kreached
31answers
12questions
annotations
top-5%
Github Skills (21)
parserator10
objective-c10
parser10
scala10
window-management10
macos10
semanticdb10
annotations9
permission9
metaprogramming9
syn9
syntax9
pretty-print8
swt6
vim6
Programming languages (27)
Github contributions (5)
fikovnik/ShiftIt
Oct 2010 - Feb 2020
Managing windows size and position in OSX
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:3 releases, 128 commits, 17 PRs in 9 years 5 months
Contributions summary:Filip contributed to the `ShiftIt` project, which manages window size and position on macOS, by fixing issues related to resizing and moving windows. The commits reveal code modifications within the `AXWindowDriver.m` file, showcasing interactions with the Accessibility API and window management functionalities. The user's changes also involved code formatting and the addition of definitions.
macospositionwindowsosx
scalameta/scalameta
Nov 2017 - Aug 2018
Library to read, analyze, transform and generate Scala programs
Role in this project:Back-end Developer
Back-end DeveloperContributions:6 commits, 1 PR, 11 comments in 10 months
Contributions summary:Filip made several contributions to the `scalameta/scalameta` repository, primarily focused on enhancing the SemanticDB functionality for the Scala compiler. Their work involved refining how the compiler handles synthetic arguments and implicit views within the semantic analysis phase. This includes modifications to accurately reflect the structure of for-comprehensions, including the addition of `foreach`, and fixing the missing symbol occurrences in certain scenarios to improve the accuracy of code analysis.
functional-programmingtransformmetaprogrammingsemanticdbsyntactic
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.