Predrag Filipovikj
Solutions Architect at If Insurance
Stockholm County, Sweden
Summary
👤
Senior🎓
Top SchoolPredrag Filipovikj is a solutions architect and senior software engineering leader with 11 years of experience blending deep academic expertise in formal verification and system modeling with hands-on delivery of cloud-based, production software. He has moved from PhD research on automated verification of embedded systems to leading CI and product-data engineering efforts at Scania and now architects solutions at If Insurance, demonstrating a rare ability to translate formal methods into practical, high-quality engineering outcomes. A natural problem solver and educator, he excels at guiding cross-functional teams through complex technical lifecycles while communicating effectively with both technical and non-technical stakeholders. Predrag’s background in state-of-the-art formal verification and hardware-in-the-loop testing gives him a distinct edge in designing dependable, auditable systems for safety-critical and enterprise domains.
11 years of coding experience
8 years of employment as a software developer
Dependable Software Systems Engineering, Dependable Software Systems Engineering at Summer School Marktoberdorf 2014 on Dependable Software Systems EngineeringMaster's Degree Computer Networks and E-Technologies, Master's Degree Computer Networks and E-Technologies at SS Cyril and Methodius University, SkopjeFormal Verification, Formal Verification at 2nd Winter School in Computer Science and Engineering on Formal VerificationDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Mälardalen UniversityFormal Methods and Techniques, Formal Methods and Techniques at Fourth Summer School on Formal Techniques
English, Swedish, Macedonian, south slavic languagesProgramming languages (1)
Github contributions (5)
predragf/propas
Dec 2017 - Feb 2018
Contributions:16 commits, 2 PRs, 15 pushes in 2 months
predragf/predragf.github.io
Mar 2020 - Sep 2023
Contributions:117 pushes, 1 branch in 3 years 7 months
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.