# Pratyush Verma > Founding Engineer @ Deductive AI | ex-(Meta, Flipkart, Grab) Location: Greater London, England, United Kingdom Profile: https://flows.cv/pratyushverma ## Work Experience ### Founding Engineer @ Deductive AI Jan 2024 – Present | London, England, United Kingdom Deductive AI is an applied AI research lab building AGI to enable self-healing software systems. Our code-aware observability platform helps numerous companies root-cause and mitigate large-scale software outages by reasoning about distributed systems, code, and statistical anomalies in real time across unprecedented volumes of structured and unstructured data. We’re a team of engineers and researchers with decades of experience building and maintaining large-scale production systems at Databricks, Facebook, ThoughtSpot, Google, Splunk, and Amazon. ### Staff Software Engineer @ Facebook Jan 2019 – Jan 2024 | London, United Kingdom Data Infrastructure (Presto, Spark): - Presto and Velox contributor https://github.com/prestodb/presto, https://github.com/facebookincubator/velox - Working on enabling Presto run warehouse sized big queries using Velox, a C++ vectorized database acceleration. Ads Infra: - Led a team of 8 engineers to achieve efficiency improvements of > 2x resulting in a saving of ∼$40M in Opex cost. - Modernised and revamped Ads Experimentation data platform. ### Lead Software Developer @ Grab Jan 2016 – Jan 2019 | Singapore * Forked and enhanced a golang based circuit-breaker library with features to improve resilience, in some cases it has reduced up-to 40% of the errors. It is one of the most widely used library within Grab, and is open sourced at https://github.com/myteksi/hystrix-go * Designed, developed an in-house configuration management system. The configuration system was designed specifically to solve for strong type-casting, validation, and was hierarchical to support multiple environments/clusters. The system also worked as a distributed log service for all changes going to production. * Working on building a multi-tenant Segmentation Platform primarily for the use of business teams and data-scientists. It will help them create user segments based on various parameters and models in batch and streaming modes. ### Founder @ NeuralPainting (neuralpainter.co) Jan 2016 – Jan 2018 | Amsterdam Area, Netherlands Developing SaaS solution for neural art for images and videos. It uses deep learning technique to learn from an existing style image and applies the same onto another. It uses distributed systems and multi-GPU architecture to improve computation time. I also do sales and marketing for the product. NeuralPainter twitter bot - https://twitter.com/neuralpainter ### Software Engineer @ Booking.com Jan 2015 – Jan 2016 Worked with partner security team. During my stint at Booking.com, I developed various tools to help improve the security of the system like email campaign detection and spam detection system. ### Senior Software Developer @ Flipkart.com Jan 2014 – Jan 2015 | Bengaluru Area, India Worked on the development of image delivery system for mobile platform. The system ingests Flipkart’s complete catalogue images (1+ billion) is ingested in the system. ### Software Developer @ Flipkart.com Jan 2012 – Jan 2014 | Bengaluru Area, India Worked on design and development of scalable (1B+ hits/day), fault tolerant and resilient mobile platform. The mobile platform is for the consumption of Apps and Mobile Website. It also provides the ability to modify the app layout on the fly. The APIs have high level of parallelism achieved and caching to enable fast response time and thus a responsive app. ### Student Placement Coordinator @ Birla Institute of Tecnology, Mesra Jan 2011 – Jan 2012 Worked as a Student Placement Coordinator for the batch 2008-2012. ### Intern @ Carnegie Mellon University Jan 2011 – Jan 2011 | IIIT-Delhi Worked on a speech and machine learning based project under Mr. Bhiksha Raj (Associate Professor, LTI Carnegie Mellon University) and Mrs. Rita Singh (Research Faculty, LTI Carnegie Mellon University) to diagnose the human heart beat and identify the type of arrhythmia the patient has (if any). The project involves extracting the 40 features from Mel-Frequency Cepstral Coefficients (MFCC) and training various models (independent as well as cascaded). Received the best project award for the same. Technologies Used: Sphinx, MATLAB, C++, bash, Linux (Ubuntu) ### Intern Software Development Engineer in Test @ Microsoft Jan 2011 – Jan 2011 | Hyderabad Worked in Microsoft Dynamics CRM. Added a new logical layer to the existing logging framework in CRM 2011. The new logical layer is used for data driven unit tests for horizontal areas. SSRS Reporting was used to provide a graphical representation of a test run and performance of an entity over various builds. Technologies Used: C#, MSSQL, ASP.NET ### Summer Trainee - SPEAKER IDENTIFICATION @ IIIT Hyderabad Jan 2009 – Jan 2009 Successfully completed a project on Speaker Identification under Prof. K. Prahallad in IIIT Hyderabad in May-June 2009. Voice Samples of 20 people were taken and features were extracted from the training data to train the system and obtain Mel-Frequency Cepstral Coefficients (MFCC). The testing data was then compared with the MFCC, to obtain a match. The project was done completely in C++. ## Education ### B.E. in Computer Science Birla Institute of Technology, Mesra ## Contact & Social - LinkedIn: https://linkedin.com/in/vermapratyush - Website: http://pratyushverma.in --- Source: https://flows.cv/pratyushverma JSON Resume: https://flows.cv/pratyushverma/resume.json Last updated: 2026-04-05