Iosif Itkin

exactpro extent qa tmpa testing conference kostroma extent conference software testing technology verification quality assurance test tools algorithms tools extent2016 test automation extentconf trading technology trading stock exchange lseg hft ai nft market surveillance agile mtf КГТУ clubqa machine learning trade post trade innovative trading systems extent conference october 2011 fpga exactpo latency software development istqb model checking hse exchange meet up performance highload youcon akka test harness reference data program analysis project management blockchain fix fix protocol bdd qa clubqa kostroma testing fraud detection exchanges kstu london stock exchange group testing tools qatbilisi automated testing static analysis reconciliation training iate algo trading moex shsha artificial intelligence it strategy surveillance regulatory compliance obninsk unavista certification clearing passive testing high availability lse management aist ilfq mifid2 anastasia matveeva mifidii chicago sor mifid compliance context driven testing fix trading community devexperts экзактпро aitest algorithmic trading software engineering qaffm post trade systems trading systems saratov bitcoin clustering risk management derivatives performance testing high frequency trading systems load testing tools hardware acceleration financial rts technology risk highload++ robotics api system-c hdl kyiv ticker plant race coditions java simulation sci ucm-model logs replay java ee transactions management aadl module analysis exatpro alias calculus jessie language ll-analysis extnent matching engine risk moscow exchange deverxperts exchangee rstqb software develop software defects syrcose bachilier winter school lmb metabief Кострома разработка ПО kgtu fast lecture team building tdd unit testing reporting sqa days 10 pricing var seorb trading desktops exchange simulator virtualization application lifecycle management hp aml mitch sailfish backend operability options otc bonds futures swaps ffi best execution startup migration hash sql rdbms client certification client onboarding iosif itkin olap upaal tmp software verification skolkovo education technical monitoring election 2011 logs cholera russia john snow data analysis mark ryland online broker scalability itinvest solace systems appliance evolution ibm bigdata uncertain .net github oop llvm failover scrum deliberate practice computing trends software qa abn amro diverse testing strategies multi-asset trading trading platform development nonfinctional testing machine rearning defects sibos disruptive technology post-trade managing qa boerse stuttgart on-boarding solutions core-to-edge innovation agile testing nonfunctional testing functional testing intelligent systems london stock exchange turquoise exchange trading software dao catión formal verifi smart contracts qa-financial redmine mvc 2017 tbilisi qa community extenttalks failover and recovery dlt daml digital asset interest rate swaps clearth process mining bots a4q geostqb fmi global exchanges mbt model-based testing models sdlc complex systems emea custodian fake testing fake information hr cradletdb 2018 new year milan epam griddynamics events community cognitive bias testersendgame avengersendgame fintech cloud kubernetes docker autonomous vechicles metrics test library automated regression test case traderpath algorithmicpath exchangepath model-based millenniumit manipulative trading stock market financial center gatelab prognoz analytics mifir qa solutions connectivity test case generation formal verification Инновационные Трейдинговы sec regulations tellefsen surveillance system mutation testing agile software development cognitive technology crowdsourcing publishing decent nsd nanospeed netcope low-latency xilinx risk control swaps automation validation rules engine elf heuristics crossbreeding machine program engineering standartization tracing z/os environment telecommunication applications non deterministic virtual machines reverse debugging multi-platform approach macro-programming autonomous spacecraft control robot-programming environment автоматизированное тестир tradition mit technology trends capital markets settlement dynamic analysis protocol testing lexical analysis string expressions automation defect-fixing automated program code kotlin low latency algo testing race conditions metavcg c-light system semantic markup meta-generation standard functions sqrt formal methods statechart diagrams construction method agile development