Skills
https://predragf.github.io/
Technical Skills
Programming Languages C, C++, C#, Java, JavaScript, Python, Rust, SQL
Modeling Temporal Logic, Simulink, UML, SysML, Timed/ Hybrid Automata
Tools UPPAAL, Z3, CANalyzer
Certifications
ISTQB Certified Tester Advanced Level Test Analyst (CTAL) 2022
ISTQB Certified Tester Foundation Level (CTFL) 2021
Publications
I have published more than ten peer-reviewed publications, which have been included in the proceedings of highly ranked international conferences and journals. Complete list of publications.
About
Computer scientist and software engineer/technology lead. Areas of expertise: software engineering, automated reasoning, formal verification of safety-critical systems, software testing. I am very passionate about both the engineering and the science of building complex, correct and robust software systems. Broad areas of interest (to mention a few): systems design and architecture, programming languages and compilers, requirements engineering, model-based development. ISTQB certified Test Analyst.
Profile Photo
