Tytus Metrycki
Software Development Engineer at Amazon
Warsaw, Masovian Voivodeship, Poland
Summary
👤
Senior🎓
Top SchoolTytus Metrycki is a Software Development Engineer with nine years of experience, currently focused on distributed systems and Java at Amazon from Warsaw, Poland. He brings a strong systems and language-tooling background from research work on the Soufflé Datalog compiler in C++, where he implemented primitives, polymorphic constants, algebraic data types and I/O for record types and added functor support and tests to the project. Comfortable moving between low-level compiler internals and large-scale production services, he blends rigorous academic training in mathematics and computer science with hands-on engineering. Notably, his open-source contributions to a widely used logic-programming-to-C++ synthesizer showcase both language design sensibilities and practical engineering discipline.
9 years of coding experience
The University of SydneyExchange student, Mathematics, Exchange student, Mathematics at University of Helsinki
English, Polish
Github Skills (6)
type-system10
datalog10
c-language10
compiler-construction10
cprogramming-language10
functor10
Programming languages (3)
Github contributions (5)
souffle-lang/souffle
Nov 2019 - Oct 2021
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1 review, 502 commits, 53 PRs in 1 year 10 months
Contributions summary:Tytus's contributions appear focused on enhancing the functionality of the Soufflé Datalog compiler, particularly by adding and extending features related to functors. These changes include implementing new functor operators for various data types, enhancing support for existing operators, and streamlining the type system. Furthermore, they've added tests to verify these new operations and improvements.
logic-programminganalysesc-plus-plusc-programlogic
tytus-metrycki/souffle
Jan 2020 - Oct 2021
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Contributions:495 pushes, 113 branches in 1 year 9 months
designerscpplogic-programmingclausesanalyses
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.