CONICET Community
ZULUAGA BOTERO, WILLIAM JAVIER

Assistant researcher

Speciality
Aplicaciones de la teoría de categorías al álgebra de la lógica
Scientific discipline
Mathematics - Mathematics
Topic
Formal Methods for Point-Free Geometry Systems
Workplace
NUCLEO CONSOLIDADO DE MATEMATICA PURA Y APLICADA (NUCOMPA, UNICEN)
Dependencies
  • UNIVERSIDAD NACIONAL DEL CENTRO DE LA PROVINCIA DE BUENOS AIRES
    • FACULTAD DE CIENCIAS EXACTAS
Show more information Show less information
Address:
PARAJE ARROYO SECO 0, 7000 - Tandil - Buenos Aires - Argentina
Summary Information provided by the agent in SIGEVA
En 2016 obtuve el título de Doctor en Matemáticas en la Universidad Nacional de La Plata. En 2017 el CONICET me otorgó una beca postodoctoral para desarrollar tareas de investigación con el grupo de investigación en Lógica y Álgebra Universal de la Universidad Nacional de Córdoba. En 2021 realicé un postdoctorado en el laboratorio Jean Dieudonné de la Universidad de la Costa Azul (Niza, Francia) en marco del proyecto internacional DUALL ERC. Desde Noviembre de 2019 me vinculé a la Universidad N... En 2016 obtuve el título de Doctor en Matemáticas en la Universidad Nacional de La Plata. En 2017 el CONICET me otorgó una beca postodoctoral para desarrollar tareas de investigación con el grupo de investigación en Lógica y Álgebra Universal de la Universidad Nacional de Córdoba. En 2021 realicé un postdoctorado en el laboratorio Jean Dieudonné de la Universidad de la Costa Azul (Niza, Francia) en marco del proyecto internacional DUALL ERC. Desde Noviembre de 2019 me vinculé a la Universidad Nacional del Centro de la Provincia de Buenos Aires (UNICEN) como docente investigador en el área de Lógica Algebraica del Núcleo Consolidado de Matemática Pura y Aplicada (NUCOMPA). Desde el 2013 hasta la fecha, he mostrado en diversos eventos del área (tanto a nivel nacional, como internacional) los distintos resultados de mis investigaciones. He participado en diversos proyectos nacionales e internacionales y mis áreas de investigación son el álgebra de la lógica y la teoría de categorías.
Show more Show less
Lines of Investigation

Álgebra de la Lógica

Natural and exact sciences

  • Mathematics
  • Pure mathematics
Key Words
Teoría de ToposTeoría de CategoríasAlgebra of LogicsTheory of CategoriesTopos TheoryÁlgebra de la Lógica
Education

2011 - 2016

Doctor en Matemáticas

FACULTAD DE CIENCIAS EXACTAS, UNIVERSIDAD NACIONAL DE LA PLATA

2005 - 2010

Matemático

UNIVERSIDAD DISTRITAL FRANCISCO JOSÉ DE CALDAS

HR Training
Directed by:
CELANI, SERGIO ARTURO
Scientific Research Career at CONICET
CELANI, Sergio Arturo Scientific Research Career at CONICET