Acerca de
I'm an experienced software engineer with strength in solving technically challenging…
Actividad
-
Stack Builders was thrilled to have participated as sponsors in last week's TEAM '24: Quito Atlassian Community Events! It was an incredible…
Stack Builders was thrilled to have participated as sponsors in last week's TEAM '24: Quito Atlassian Community Events! It was an incredible…
Recomendado por Fernanda Andrade
-
"Logic for Programmers" pre-alpha now at 12k words wooooo
"Logic for Programmers" pre-alpha now at 12k words wooooo
Recomendado por Fernanda Andrade
-
Please welcome Jesús López-González to the panel of speakers of Lambda World 24. Jesús López-González holds a PhD in Computer Science and is the VP…
Please welcome Jesús López-González to the panel of speakers of Lambda World 24. Jesús López-González holds a PhD in Computer Science and is the VP…
Recomendado por Fernanda Andrade
Experiencia
-
-
-
-
-
Educación
-
Universidad Politécnica de Madrid
Relevant Coursework: Theory of Programming Languages, Static Analysis of Programs, Design of Correct-by-Construction Systems, Concurrent and Distributed Systems, Formal Model-Driven Software Development.
TFM: "Detecting Noninterference Violations with Property-Based Testing". Supervisor: Prof. Niki Vazou. -
Relevant Coursework: Computer Architecture, Programming Fundamentals, Databases, Communication Systems, Information Theory, Control Systems.
Undergraduate Research Project: "Interactive Extraction of Objects in Image Restoration". Supervisor: Prof. Enrique V. Carrera.
Licencias y certificaciones
Idiomas
-
Español
Competencia bilingüe o nativa
-
Englisch
Competencia profesional completa
Más actividad de Fernanda
-
Huge thanks to Stack Builders for the awesome gift! I really appreciate the thoughtfulness. It’s great to be part of such an amazing team. Thanks…
Huge thanks to Stack Builders for the awesome gift! I really appreciate the thoughtfulness. It’s great to be part of such an amazing team. Thanks…
Recomendado por Fernanda Andrade
-
I'm between consulting contracts this month, so I'm working hard on a new book: Logic for Programmers. All software developers are familiar with…
I'm between consulting contracts this month, so I'm working hard on a new book: Logic for Programmers. All software developers are familiar with…
Recomendado por Fernanda Andrade
-
Thank you, PyCon Colombia, for an incredible event! We appreciate the dedication and hard work that went into making it a success. A special thank…
Thank you, PyCon Colombia, for an incredible event! We appreciate the dedication and hard work that went into making it a success. A special thank…
Recomendado por Fernanda Andrade
-
🔥BEHOLD Functional Programming LOVERS!📢 🗣Our first speakers to Lambda World Cadiz '24 are here. Please WELCOME; - Alcino Cunha is an…
🔥BEHOLD Functional Programming LOVERS!📢 🗣Our first speakers to Lambda World Cadiz '24 are here. Please WELCOME; - Alcino Cunha is an…
Recomendado por Fernanda Andrade
-
Exciting News from Spain! Our amazing team gathered earlier this week for an incredible day of collaboration, learning, and fun. We had some…
Exciting News from Spain! Our amazing team gathered earlier this week for an incredible day of collaboration, learning, and fun. We had some…
Recomendado por Fernanda Andrade
-
Just landed in Zurich to speak at Zurihac! Two years... Europe, how have I missed you ❤️
Just landed in Zurich to speak at Zurihac! Two years... Europe, how have I missed you ❤️
Recomendado por Fernanda Andrade
-
At ReactConf 2024, we announced that the long awaited React Compiler is finally available to try in open source as an experimental release! This…
At ReactConf 2024, we announced that the long awaited React Compiler is finally available to try in open source as an experimental release! This…
Recomendado por Fernanda Andrade
-
Tchau tchau beautiful Krakow! Leaving Lambda Days 2024 inspired by some amazing ideas like: - Effect Handlers with parallelisable computations -…
Tchau tchau beautiful Krakow! Leaving Lambda Days 2024 inspired by some amazing ideas like: - Effect Handlers with parallelisable computations -…
Recomendado por Fernanda Andrade
-
Day two of Lambda Days is well underway and our very own Nelson Vides has taken to the stage to present his talk on 'A Theoretical Exploration of…
Day two of Lambda Days is well underway and our very own Nelson Vides has taken to the stage to present his talk on 'A Theoretical Exploration of…
Recomendado por Fernanda Andrade
-
There's a common myth in the industry that scaling Haskell apps is hard due to laziness or lack of observability tools. Félix Miño's talk at…
There's a common myth in the industry that scaling Haskell apps is hard due to laziness or lack of observability tools. Félix Miño's talk at…
Compartido por Fernanda Andrade
Perfiles similares
Otras personas con el nombre de Fernanda Andrade en España
-
Fernanda Andrade
PostDoctoral Researcher and Assistant Professor
-
Fernanda Andrade Martins
DJ, Audio Engineering, Public Relation & Entrepreneur
-
Fernanda Andrade Meira MD PhD
Infectious diseases specialist I Medical advisor I Medical manager
-
Maria Fernanda Sinailin Andrade
Hay 18 personas más con el nombre de Fernanda Andrade en España en LinkedIn
Ver a otras personas con el nombre de Fernanda Andrade