Alejandro Sanchez

Angestellt, Principal Software Engineer, Logiak

Abschluss: Doctor of Philosophy (PhD), Universidad Politécnica de Madrid

Madrid, Spain

About me

I consider myself an enthusiastic and determined person who enjoys learning and sharing my own experience and knowledge. I am constantly pushing my limits towards the compliance of my goals, seeking for the best possible results. Currently, I am a software engineer at Logiak, where we develop the next generation of cross-platform no-code multi-purpose system builders. Previously, I was a post-doctoral researcher at the IMDEA Software Institute, in Madrid. My main area of research involved the formal verification and analysis of parametrized systems, specially the ones that dynamically manage the memory and manipulate concurrent data structures. I hold a PhD. degree in Computer Science from the Universidad Politécnica de Madrid and a MSc. degree in Programming and Software Technology from the Universidad Complutense de Madrid. Through my career I have always been interested in both, the theoretical development and practical application of my results.


Formal Verification
Data Structures
Software Engineering
Software Development
Shell Scripting
Google Cloud Platform
Cucumber (Software)
Decision Support


Professional experience for Alejandro Sanchez

  • Current 6 years, since Jun 2018

    Principal Software Engineer


    I had a key role in designing the architecture and leading the development of a cross-platform highly-scalable no-code platform for building enterprise-level multi-purpose systems. Among my duties, I was in charge of implementing cross-platform applications using cutting-edge tech, ensuring the correct operation of the supporting backend infrastructure, crafting different APIs and cross-system integrations as well as communicating with multi-national clients to understand their requirements.

  • 1 year and 9 months, Oct 2016 - Jun 2018

    Senior Software Engineer


    I designed and implemented a whole new fully-scalable container-based highly-available infrastructure for supporting large critical projects. Also led the construction of user-friendly UIs to allow users access analytical data on multi-national projects. Furthermore, I was in charge of developing numerous new features for systems running on heterogeneous mobile devices.

  • 1 year and 2 months, Sep 2015 - Oct 2016

    Postdoctoral Researcher


    My main research area involves the development and implementation of innovative theories and decision procedures capable of dealing with parametrized systems and non-trivial concurrent data structures such as hash tables or skiplists.

  • 6 years and 1 month, Sep 2009 - Sep 2015

    Research Assistant


    I worked in the development of a formal deductive framework for the verification of imperative concurrent programs that dynamically manipulate the memory. Specially, I was interested in the verification of temporal properties of both safety and liveness. My work mainly comprised the development of novel deductive verification techniques, the construction of decidable theories for non-trivial concurrent data structures and the implementation of decision procedures on top of SMT solvers.

  • 2 months, Aug 2010 - Sep 2010

    Scientific Mission


    I was on a collaborative short term scientific mission with the LARA team. Throughout my visit, I was able to develop and improve some decidable theories and decision procedures for specific concurrent data structures.

  • 9 months, Jan 2009 - Sep 2009

    Research Intern


    During this nine-month long internship, my main work involved the study and research of formal verification methodologies and logics specifically designed for the analysis of concurrent programs that dynamically manipulate the memory.

  • 6 months, Apr 2008 - Sep 2008

    Research Intern


    My work as part of the PULSAR team (previously ORION) consisted in the theoretical development and implementation in C++ of relations as an extension of a knowledge representation language which was part of an artificial intelligence framework.

  • 7 months, Oct 2007 - Apr 2008

    Software Engineer


    As part of the Source Improvement team, my work encompassed the porting, improvement and implementation of new features for JAVA games designed for mobile devices based on the J2ME technology.

Educational background for Alejandro Sanchez

  • 3 years and 6 months, 2012 - Jun 2015

    Computer Science

    Universidad Politécnica de Madrid

    PhD Thesis: "Formal Verification of Temporal Properties for Parametrized Concurrent Programs and Concurrent Data Structures", qualified with the highest grade (cum laude). The main research areas covered during my PhD include: ● Parametrized concurrent systems ● Concurrent data structures ● Dynamic memory analysis ● SAT/SMT Solvers ● Decision procedures ● Temporal logics

  • 1 year and 6 months, 2010 - Jun 2011

    Computer Science

    Universidad Complutense de Madrid

    Master Thesis: "Decision Procedures for the Temporal Verification of Concurrent Data Structures" Courses taken include: ● Design of embedded systems ● Software validation ● Modeling of concurrent and distributed systems ● Automatic deduction ● Fuzzy logic

  • 2002 - 2007

    Computer Science

    Universidad Nacional de Córdoba

    Final career project: "Towards a Proof Assistant Based on PTS”, qualified with 10/10. Courses taken include: ● Mathematics and Calculus ● Algorithms and Data Structures ● Probability and Statistics ● Operating Systems ● Databases ● Computer Architecture ● Networks and Distributed Systems ● Software Engineering ● Formal Languages ● Satellite Images Analysis ● Microcontroller Programming.


  • English


  • Spanish

    First language

  • Italian


  • French


  • Macedonian


Browse over 21 million XING members