Petr Safranek
Director at SAFRA TAX & ACCOUNTS
Sydney, New South Wales, Australia
Summary
🤩
Rockstar🎓
Top SchoolPetr Safranek is a Sydney-based director with 11 years of professional experience blending technical contribution and business leadership. He runs SAFRA TAX & ACCOUNTS while contributing to open-source TypeScript ecosystems, notably fixing bugs and improving linting rules in Palantir's widely used tslint and enhancing type definitions in DefinitelyTyped. Comfortable across backend and full-stack tasks, he focuses on code maintainability, documentation, and pragmatic tooling improvements that help developer workflows. His background spans law and accounting—LLB, master's in professional accounting and CPA studies—bringing regulatory and financial rigor to technology projects. Colleagues can expect a pragmatic problem-solver who pairs legal and financial literacy with hands-on engineering chops and a human-first approach.
11 years of coding experience
Diploma in Law, Law, Diploma in Law, Diploma in Law, Law, Diploma in Law at University of Sydney, Law Extension CommitteeMaster of Professional Accounting, Accounting and Finance, Master of Professional Accounting, Accounting and Finance at CQUniversityProfessional Level Program, Professional Level Program at CPA AustraliaBachelor of Laws (LLB), Jurisprudence, Bachelor of Laws (LLB), Jurisprudence at Moscow Institute of Enterpreneurship and Law (MIPP)
Github Skills (12)
linter10
linting10
static-typing10
typescript10
typescript-definitions10
static-analysis10
typescripts10
lint10
type-definition10
typescript-types10
jasmine9
javascript8
Programming languages (7)
Github contributions (5)
DefinitelyTyped/DefinitelyTyped
Jun 2016 - May 2021
The repository for high quality TypeScript type definitions.
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:1 review, 31 commits, 18 PRs in 4 years 11 months
Contributions summary:Petr primarily contributed to the project by adding and modifying TypeScript type definitions within the `definitelytyped/definitelytyped` repository. Their work included adding type definitions for new libraries and updating existing ones, such as `just-pick`, `jasmine`, and `gulp-json-validator`. The user also addressed merging of branches, and minor changes to existing type definitions and test files within the repository.
typescript-definitionstype-definitionshigh-qualitydtsdefinitions
palantir/tslint
Jan 2016 - Dec 2018
:vertical_traffic_light: An extensible linter for the TypeScript language
Role in this project:Backend Developer
Backend DeveloperContributions:6 commits, 5 PRs, 28 comments in 2 years 10 months
Contributions summary:Petr primarily contributed to the project by identifying and correcting issues in the TypeScript code base. Their commits involved fixing bugs related to multiline literals, and spaces within function return type declarations, and refining the codebase by using filters instead of for-loops, which improved code maintainability. They also updated documentation and fixed typos in existing rule documentation, and added new features such as the object literal sort option.
linterlighteslinttraffic-lighttslint
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.