Dr. Ivaylo Dobrikov

I 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

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)

Verification, Model Checking, Validation

Algebraic Topology, Representation Theory

Software Engineering, Mobile Communication, Dynamic Languages