¡Hola! Soy Ingeniero Informático y Docente Universitario apasionado por la intersección entre las matemáticas, la lógica y la Inteligencia Artificial. Tras completar mi Máster en Ciencia de Datos, actualmente investigo como doctorando en Tecnología en la Universitat de Girona (UdG), con un minor en Lógica e IA. Mi objetivo es combinar la investigación avanzada en áreas como la optimización y la s...
¡Hola! Soy Ingeniero Informático y Docente Universitario apasionado por la intersección entre las matemáticas, la lógica y la Inteligencia Artificial. Tras completar mi Máster en Ciencia de Datos, actualmente investigo como doctorando en Tecnología en la Universitat de Girona (UdG), con un minor en Lógica e IA. Mi objetivo es combinar la investigación avanzada en áreas como la optimización y la satisfacibilidad booleana (SAT) y optimización.