Alexander Fedotov

Alexander Fedotov is a skilled software engineer with a strong background in Haskell and a focus on enhancing product features, reliability, and performance at Channable since September 2021. Prior to this role, Alexander completed a PhD at Eindhoven University of Technology, specializing in formal verification techniques involving symbolic model checking and SMT-solving from September 2016 to August 2021. Alexander also brings experience from positions at NetCracker as a Senior Test Automation Engineer and VimpelCom as a Senior QA Engineer, showcasing a comprehensive expertise in software testing and quality assurance. Alexander holds a Doctor's Degree in Mathematics and Computer Science and a Master of Science in Computing Science.