Alex is theoretical physicist by education and worked in research and industry, including Space Research Institute, City University and Betfair. He is currently a Director and Chief Architect at TXODDS UK.
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.
I'm speaking at...
Statically typed nested maps using Shapeless for computations and notifications on coordinate spaces with Alex Kozlenkov and Nigel Warren!
Organised by ScalaX Bytes
Join Alex and Nigel to discover how using Shapeless can solve the problem of performing generic statically typed computations on coordinate spaces with possibly different types for each dimension!functional swave-io scala scalaX-bytes scalax shapeless