David Davó Laviña

¡Página en construcción!
La información puede estar incompleta o sin traducir

David Davó Laviña

Asistente de Investigación en GRASIA
Author Image

Investigador predoctoral que acaba de terminar el Máster Universitario en Inteligencia Artificial de la Universidad Politécnica de Madrid. Actualmente estoy buscando maneras de financiar un doctorado mientras trabajo como asistente de investigación.

Aunque he estudiado una rama más cercana a las ciencias de la computación y la inteligencia artificial, también me gusta el hardware y la arquitectura de computadores. Además soy un entusiasta del software libre, el hacking y la historia de la informática.

En mi tiempo libre, administro mis servicios auto alojados y estudio japonés, también tengo un blog.

Proyectos

InvProy α
Estudiante 2015 - 2017

Proyecto de Investigación parte del programa de «Bachillerato de Excelencia» y ganador del II Encuentro Preuniversitario Complutense de Jóvenes Investigadores (2017)

SIMKL's TV Tracker
Desarrollador 3rd Party 2016 - 2019

Creación de plugins para Kodi y Emby que hacen seguimiento del capítulo o película que estás viendo a Simkl

Just Get My Data
Estudiante 2022 - Today

Repositorio de enlaces y documentación sobre como obtener tus datos personales de distintos servicios web

IHaskell-Widgets
Participante GSoC Verano 2021

Arreglar la librería IHaskell-widgets como participante en el Google Summer of Code 2021 con Haskell.org

wdsparqlmagic
Desarrollador 2022

Plugin de Jupyter para ejecutar queries de SparQL en un Jupyter Notebook

Bellman Ford en Haskell
Estudiante 2020

Implementación en Haskell del algoritmo Bellman-Ford, comprobando su eficiencia y complejidad

Prácticas Inteligencia Artificial
Estudiante 2019

Prácticas de la asignatura Inteligencia Artificial II del Grado en Ingeniería Informática

DAO-Analyzer
Desarrollador 2021 - 2022

Herramienta de visualización de datos sobre Organizaciones Descentralizadas Autónomas (DAOs) desplegadas en la red Ethereum

Cuentos y Poemas por Teléfono
Organizador y Desarrollador 2015 - Today

Página web para la gestión de llamadas en los eventos cuentos y poemas por teléfono de Montando el Local

Homelab
Sysadmin 2011 - Today

Pequeña red casera con varios dispositivos que aloja varios servicios de uso diario para mis allegados usando docker y multitud de scripts

TFG: NoC en procesador RISC-V
Diseñador hardware

Implementación de una Red en Chip para un procesador RISC-V escrito en Verilog

Publicaciones

Exploración de sistemas recomendadores para la recomendación de propuestas en organizaciones autónomas descentralizadas

Las DAOs han surgido como un nuevo enfoque hacia la governanza colectiva, facilitado por la tecnología blockchain. Sin embargo, la efectividad y legitimidad de la toma de decisiones en DAOs puede verse afectada por la baja participación. Dada el tiempo limitado de votación de cada propuesta, las técnicas convencionales en sistemas recomendadores son inadecuadas. Por esa razón, este Trabajo de Fin de Máster introduce el primer sistema de recomendación diseñado específicamente para DAOs.

Decentralized Autonomous Organizations (DAOs) are a new kind of organization that relies on blockchain software to govern their projects. Typically, DAO members may put forward and vote on proposals. For instance these proposals may consist on someone doing some tasks in exchange for a share of the DAO crypto-funds. In recent times, DAOs have gained a remarkable adoption, and yet they are still understudied by the academic literature. In this work, we present a visual analytics tool to study DAO activity focusing on their participation and temporal evolution. Our tool will hopefully help to stimulate research on this new kind of online community and collaborative software.

Las redes en chip (NoC) son una tecnología emergente alternativa a los métodos de interconexión convencionales en la que se aplican los métodos de diseño de redes a las conexiones entre módulos. Aplicamos esta metodología dentro de la unidad de ejecución de un procesador basado en la arquitectura libre RISC-V: el SWerv-EL2. Para ello, hemos estudiado a fondo y diseñado una NoC, tratando de minimizar los recursos consumidos y el impacto en área de la misma en el procesador. Posteriormente modificamos la unidad de ejecución del procesador para incluir dicha red como inter conexión entre los módulos de dicha unidad. En ambos casos usaremos el lenguaje de descripción de hardware SystemVerilog.