Skip to content
View joangq's full-sized avatar
☕
☕
30 followers · 44 following
  • Fundar
  • Buenos Aires, Argentina
  • 09:17 (UTC -03:00)

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Organizations

@datos-Fundar @argendatafundar

Block or report joangq

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
joangq/README.md

Hi! Joan here 👋

I'm a Computer Science student at University of Buenos Aires, currently working as a data scientist & engineer at Fundar.

My primary interests are formal methods for specification, analysis and verification, programming language theory, complex systems, artificial intelligence and type theory. I've also had some fun working with knowledge graphs and quantum computing at ICC.

You can find my gists here!

I code mostly in Python, but I love writing in other languages as well.

Check out these cool trophies! ✨ trophy

source: ryo-ma/github-profile-trophy

Pinned Loading

  1. exactas exactas Public

    Una repo para subir notas de las clases.

    TeX 3 2

  2. datos-Fundar/sesgos_LLM datos-Fundar/sesgos_LLM Public

    ¿Cómo “se equivocan” los modelos LLM?

    Jupyter Notebook 2

  3. argendatafundar/data-transformers argendatafundar/data-transformers Public

    Extensión sintáctica de Python para generar transformaciones automatizables

    Python

  4. edsl edsl Public

    Abordaje Funcional a los lenguajes de dominio específico embebidos - Curso de ECI 2024

    Haskell

  5. tad tad Public

    Tipos Abstractos de Datos

  6. pyquent pyquent Public

    Python parser for Sequent Calculus & Natural Deduction

    Python 2