Dr. Ivaylo Dobrikov
Bis 2021, Senior Softwareentwickler, FACT Informationssysteme & Consulting AG
Abschluss: Ph.D., Heinrich-Heine-Universität Düsseldorf
Neuss, Deutschland
Werdegang
Berufserfahrung von Ivaylo Dobrikov
Bis heute 2 Jahre und 3 Monate, seit Apr. 2022
Senior Softwareentwickler / Softwarearchitekt
ARAG Versicherungen2 Jahre und 2 Monate, Feb. 2019 - März 2021
Senior Softwareentwickler
FACT Informationssysteme & Consulting AG2 Jahre und 3 Monate, Nov. 2016 - Jan. 2019
Softwareentwickler
FACT Informationssysteme & Consulting AG5 Jahre und 3 Monate, Aug. 2011 - Okt. 2016
Wissenschaftlicher Mitarbeiter
Heinrich-Heine-Universität DüsseldorfI joined the team of Michael Leuschel at the University of Düsseldorf in 2011. At the chair we have developed the ProB toolset used for constructing and verifying formal models. One of my duties has been the optimization of algorithms for automatic verification to speed-up verification in ProB. My duties have also included: - Supervising courses - Programming C, Java, Prolog, Tcl/Tk and Haskell - TDD - Using tools for continuous integration (Jenkins, Make, Git) - Writing tutorials
I joined a project funded by AWE at the beginning of 2011. The goal of the project was to develop and implement techniques for automatic refinement checking of formal CSP models in ProB to be used as a complementary tool to FDR. My duties have been: - implementing a part of the algorithms for automatic verification of CSP models by refinement checking - Implementing a user-friendly interface in Tcl/Tk for flexible and practical using of the refinement checker of ProB - summarizing the final report
1 Jahr und 10 Monate, Nov. 2009 - Aug. 2011
Private Tutor
Schülerhilfe Ratingen und Düsseldorf
I was private tutor for mathematics and computer science at the Schülerhilfe GmbH. My duties were: - Leading tutorials for teaching intermediate level students - Prepared students for the Abitur exam
Worked as a student assistant during my studies at the university. My duties were: - Leading tutorials part of the courses "Introduction to Software Engineering and Programming Languages" (2 terms) and "Compiler Construction" (2 terms) - Corrected the exercise sheets of the courses "Introduction to Software Engineering and Programming Languages" (2 terms) and "Linear Algebra" (1 term)
Ausbildung von Ivaylo Dobrikov
6 Jahre und 5 Monate, Aug. 2011 - Dez. 2017
Computer Science
Heinrich-Heine-Universität Düsseldorf
Verification, Model Checking, Validation
2 Jahre und 5 Monate, Apr. 2008 - Aug. 2010
Mathematics
Heinrich-Heine-Universität Düsseldorf
Algebraic Topology, Representation Theory
3 Jahre und 1 Monat, Apr. 2008 - Apr. 2011
Computer science
HHU-Düsseldorf
Software Engineering, Mobile Communication, Dynamic Languages
Sprachen
Englisch
Fließend
Deutsch
Fließend