Large avatar default

Alex Kozlenkov

Alex Kozlenkov studied theoretical physics at Moscow State University with emphasis on unified field theories and gravitation, and started his research career in Space Research Institute working in theoretical astrophysics and space instruments with papers on quantum effects in extremely high magnetic fields and gamma-ray bursts, including publications in Soviet Physics Journal, Astronomy and Astrophysics, and Nature.

He then worked at P.N. Lebedev Physics Institute focusing on applications of algebraic topology methods to signal analysis problems in aperture synthesis imaging. Further shifting into computer science, he then worked in a startup company Greentech in Sweden, working on computational non-search approaches to NP-complete problems, and developed proprietary algorithms that solved a number of DIMACS challenge SAT problems including first solution to parity problems. In 2001, he joined the School of Informatics at City University, focusing on specification inconsistency, abduction, macro tree transducers, bioinformatics, and reactive agents. He also started an area of ontology-driven search (eventually resulting in the product GoPubMed used widely in bioinformatics). He published papers and worked on practical implementation of the Vivid Agents model, the open source language Prova. He was a Senior Researcher and eventually Head of R&D at Betfair, focusing on event-driven distributed systems, in particular, the in-house Event Processing Network and machine learning, serving as a W3C Advisory Committee member, working in the Rule Interchange Format group, serving as a member of the Steering Committee of RuleML, co-authoring the Reactive RuleML specification, contributing to Event Processing Technical Society, co-chairing the industrial track of DEBS conferences and presenting invited talks to Gartner and Cambridge Computer Lab. For the last three years, he worked on real-time and historical data services and data science applications as a contracted Chief Architect.