Dmitry Ivanov Email & Phone Number

Санкт-Петербург, Санкт-Петербург, Россия

Санкт-Петербург, Санкт-Петербург, Россия

Head of programming tools, code analysis and synthesis lab. Laboratory develop next generation software development tools, adopting latest research achievements in software verification, program synthesis, ML for code, IDE development and other related domains.https://toolchain-labs.com/Responsibilities: - Design, architecture, prototype next generation programming tools- Hire and manage several teams in laboratory (around 50 researchers and developers)- Negotiate with academia, start cooperation project with universities, track latest researches- Organize workshops and knowledge sharing- Organize internship for best students from top universities- Write papers and get patents Research areas: - SAT solvers- SMT solvers- Symbolic execution- Fuzzing- Program analysis- Program synthesisNotable open source project: Unit Test Bot - https://utbot.org/ - automated unit test generation tool and minimal false positive interprocedural code analysis platform based on symbolic execution, fuzzing, ML.Additionally, I act as a director of R&D Software Development tools committee of all Russian research centers. Committee align plans of different labs and develop cross-lab cooperation. Public activity:TechTrain 2021, Future of IDE, https://www.youtube.com/watch?v=A4o_2fVfinYDotNext 2021, Symbolic execution in .NET, https://youtu.be/csbuDEEWXHwKeynote on CodeFest 2022, Future of software development, https://www.youtube.com/watch?v=U4JNlowPhkEJoker 2022, Zero false positive code analysis in Java with dynamic symbolic execution, https://www.youtube.com/watch?v=wybN-powiBwJPoint 2023, Maslow's Hierarchy of Needs for Java/Kotlin Developer: https://jpoint.ru/en/talks/dfb53bfc4ec74165830e81c036a28ad8/?referer=/persons/f19d3040be8c4b86af9b74e3cef3eb25/?version=2023Member of programming committee of Hydra 2022 conference, https://hydraconf.com/organizers/

Санкт-Петербург, Россия

Started as JetBrains ReSharper (https://www.jetbrains.com/resharper/) Core Principal Developer . Designed and developed:- KeyValue database (based on LevelDB)- Solution-wide analysis subsystem- Logging subsystem- Full-text search subsystem- Caches / Indexes subsystem - Concurrent data structures- Threading model subsystemOpen-sourced core jetbrains .net libraries: https://github.com/JetBrains/rd/tree/master/rd-net/Lifetimes JetBrains Rider (https://www.jetbrains.com/rider/) Technical Leader (since 2015):- Designed Rider architecture - Designed and open sourced reactive protocol for inter-process communication (https://github.com/JetBrains/rd)- Responsible for code review, interns mentoring, performance and infrastructureDesigned prototype of https://www.jetbrains.com/code-with-me/ for collaborative editingExpert in Kotlin, Java, .NET (C#), Reactive programming, OOP & OOD, Multiprocessing & Concurrency, Performance Optimizations, Code Analysis, Algorithms & Data Structures.Awards:3 times winner of annual JetBrains Hackathon in 2013-2019 (also won 2nd, 3rd and got people's choice award).Regular speaker of IT conferences:DotNext 2014: Multihreadinghttps://www.youtube.com/watch?v=g_Fmx4_h-5MDotNext 2015: Premature optimizationshttps://www.youtube.com/watch?v=mB4TKsIz5SkDotNext 2016: Reactive programminghttps://www.youtube.com/watch?v=cfPEN5_6UtINetFest 2018: Immutable collectionshttps://www.youtube.com/watch?v=d3X8T63q9_YDotNext 2018: Concurrent collectionshttps://2018.dotnext-piter.ru/en/2018/spb/talks/3pjrhxfmjkmac82yacoiqw/DotNext 2019: Async programminghttps://www.youtube.com/watch?v=wM-h6P1BJRkJetBrains Webinars 2019: Immutable collectionshttps://www.youtube.com/watch?v=soyzikvjx3sJetBrains Open Day 2019: Kotlin vs C#https://sudonull.com/post/26150-JetBrains-Open-Day-2019-Report-Broadcasts-JetBrains-BlogHydra 2020: Multithreading in UI applicationhttps://hydraconf.com/2020/msk/talks/6uzttehmln40c3byphikiw/

Saint-Petersburg

Started as Senior Software Developer in SOA-based java system that provided first in Russia WiMax and LTE suport.Become leader of infrastructure team that connects all services together, responsible for utilities, logging, monitoring, code generation.

Saint-Petersburg

Outsourcing projects for Symantec and IBM

Saint-Petersburg

R&D project related to distributed computations in grid.