Nicolas Cardozo's Avatar

Nicolas Cardozo

@ncardozo.bsky.social

Person. Working on programming languages, and (dynamic) verification. Enjoyer of adaptive and distributed systems. Associate Professor @flaglaboratory.bsky.social @DISCuniandes @Uniandes Also live(ish) at @ncardozo@fediscience.org

40 Followers  |  59 Following  |  12 Posts  |  Joined: 10.11.2024  |  1.7026

Latest posts by ncardozo.bsky.social on Bluesky

Post image

#EndOfTheYearStats #toggle
Breakdown of the work this second part of the year, not extremely heavy but it felt like a loooot more

01.01.2026 16:27 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

#EndOfTheYearStats @github
Horrible year for coding and writing

01.01.2026 16:24 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

#EndOfTheYearStats #googlescholar
If we count 2024 as a fluke, steady progress (baby steps)

01.01.2026 16:23 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

The ever growing @flaglaboratory.bsky.social library with it's first volumes 1 (Ruben manrique) and 3 (Juan Camilo Sanguino)
#phdthesis
#DISCUniandes

26.11.2025 17:43 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Lanzamiento del libro โ€œInteligencia Artificial: Teorรญas, Aplicaciones, Futuroโ€ Escriba una descripciรณn breve de su evento

El viernes 31 de octubre lanzaremos el libro "Inteligencia Artificial: Teorรญas, Aplicaciones, Futuro" en
@uniandes.bsky.social

Los invitamos a asistir:
live.eventtia.com/es/uri-dfb3d...
@flaglaboratory.bsky.social
@DISCUniandes
@inguniandes
#AI #CinfonIA

23.10.2025 10:57 โ€” ๐Ÿ‘ 3    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

Estamos organizando el Qiskit Fall Fest en Uniandes y queremos que sean parte de รฉl! Un evento para investigadores, practicantes y entusiastas de la computaciรณn cuรกntica con charlas de expertos nacionales e internacionales! Informaciรณn y registro lnkd.in/efqePM8S #QiskitFallFest #FLAGlab#DISC#Crypto

25.09.2025 13:36 โ€” ๐Ÿ‘ 1    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
CAIN 2026 Welcome to CAIN 2026 โ€” 5th International Conference on AI Engineering โ€“ Software Engineering for AI CAINโ€™26 is co-located with the 48th International Conference on Software Engineering (ICSEโ€™26). Plea...

The submissions for #CAIN2026 is now open with the deadline just 1 month away. All info is available at conf.researchr.org/home/cain-2026

17.09.2025 13:15 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
ECOOP 2026 - Workshops - ECOOP 2026 Call for Workshop Proposals The workshops at ECOOP 2026 bring together academics, industry researchers, and practitioners to discuss ideas, problems, and experiences in on focused groups. Topics for w...

The call for workshop for #ECOOP2026 is out now!

If you would like to organize a workshop together with ecoop please visit the website for all information and submission info

2026.ecoop.org/track/ecoop-...

22.07.2025 15:34 โ€” ๐Ÿ‘ 3    ๐Ÿ” 3    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

Estamos buscando ayuda para evaluar un nuevo lenguaje de programaciรณn en 3D! Si nos quieren ayudar los esperamos en el ML 512 este viernes 14 de marzo a las 3:30pm @uniandes.bsky.social

13.03.2025 13:53 โ€” ๐Ÿ‘ 2    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Meet our venue for this year, @programming-conf.bsky.social, and out chairs, @ncardozo.bsky.social and @gockothedwarf.bsky.social ... Welcome to #sclit2025 and #prog25!!!

26.01.2025 11:47 โ€” ๐Ÿ‘ 2    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

#googlescholar metrics where favorable
broke the 140 mark ๐ŸŽ‡
+3 h-index increase ๐Ÿ“ˆ
+4 i10-index increase ๐Ÿ“ˆ
-6 papers published ๐Ÿป

01.01.2025 16:48 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

@github.com stats where getting there the first part of the year, but flaked in the second (correlation to the aforementioned teaching)
162 less contribution than last year, less papers and less coding projects.
Only 3 weeks with no commits, maybe next year will be that perfect run๐Ÿคž

01.01.2025 16:47 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Post image

Work stats courtesy of @toggl.bsky.social
This last semester was a bit overworked.
I account for 1 week of holidays, took 3 (first 2 and last)
Expected work hrs according to law are 45 per week. An average of 47h+ is not that bad.
Quite some teaching 15% more than expected

01.01.2025 16:45 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Time for some end of the year stats, using all the fine tools that track work. #YearInReview ๐Ÿงต

01.01.2025 16:42 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
FLAG Research Lab: Thesis topics

Interesados en proyectos de grado para el 2015-10. @flaglaboratory.bsky.social tiene la respuesta para ustedes, visiten los temas propuestos en flaglab.github.io/thesis.html y contacten a los profesores correspondientes #DISCUniandes #inguniandes #thesis

18.12.2024 16:07 โ€” ๐Ÿ‘ 2    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

We are extremely happy to present our first doctor, Dr. Laura Gonzalez๐Ÿฅณ๐ŸŽ‰๐Ÿฉบ A huge shot out to her, the promotor Jorge Duitama, and the whole
@NGSEP
team
#bioinformatics
@DISCuniandes
@inguniandes

27.11.2024 16:24 โ€” ๐Ÿ‘ 2    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

@ncardozo is following 20 prominent accounts