José Miguel Blanco
@jmblanco.bsky.social
Postdoctoral researcher at ETSI de Telecomunicación, UPM, part of STRAST. Interested in all things fomal, logic and its applications, and distributed systems. Lover of Routley-Meyer semantics.
Thank you! Well noted! 😊
May 15, 2025 at 3:13 PM
Thank you! Well noted! 😊
That looks amazing! Which brewery is it from?
May 15, 2025 at 12:19 PM
That looks amazing! Which brewery is it from?
I've got to say that the view from my room is simply amazing! Can we always organise conferences in places like this?
April 3, 2025 at 7:20 AM
I've got to say that the view from my room is simply amazing! Can we always organise conferences in places like this?
Toda la zona de Ciudad Universitaria y la Dehesa de la Villa está llena de ellas. A mí me alegran todas las mañanas de camino al trabajo 😊
January 5, 2025 at 11:01 AM
Toda la zona de Ciudad Universitaria y la Dehesa de la Villa está llena de ellas. A mí me alegran todas las mañanas de camino al trabajo 😊
Day 24
I'm looking forward to be free from research obligations once again. It's just three more papers and I will be able to start working on whatever I want. And that's exactly what I'm looking forward to!
#ResearchAdvent
I'm looking forward to be free from research obligations once again. It's just three more papers and I will be able to start working on whatever I want. And that's exactly what I'm looking forward to!
#ResearchAdvent
December 27, 2024 at 2:03 PM
Day 24
I'm looking forward to be free from research obligations once again. It's just three more papers and I will be able to start working on whatever I want. And that's exactly what I'm looking forward to!
#ResearchAdvent
I'm looking forward to be free from research obligations once again. It's just three more papers and I will be able to start working on whatever I want. And that's exactly what I'm looking forward to!
#ResearchAdvent
Day 23
In six months I hope to be resting after the most exhausting academic year of my life. That's all I ask for!!
#ResearchAdvent
In six months I hope to be resting after the most exhausting academic year of my life. That's all I ask for!!
#ResearchAdvent
December 27, 2024 at 2:03 PM
Day 23
In six months I hope to be resting after the most exhausting academic year of my life. That's all I ask for!!
#ResearchAdvent
In six months I hope to be resting after the most exhausting academic year of my life. That's all I ask for!!
#ResearchAdvent
Day 22
The perfect gift for a researcher is... Time! There's never enough time!
Jokes aside, researchers are people. And while someone might be that that they do, I would rather take a present that is directed to my hobbies rather than something that would help me on my work
#ResearchAdvent
The perfect gift for a researcher is... Time! There's never enough time!
Jokes aside, researchers are people. And while someone might be that that they do, I would rather take a present that is directed to my hobbies rather than something that would help me on my work
#ResearchAdvent
December 27, 2024 at 2:03 PM
Day 22
The perfect gift for a researcher is... Time! There's never enough time!
Jokes aside, researchers are people. And while someone might be that that they do, I would rather take a present that is directed to my hobbies rather than something that would help me on my work
#ResearchAdvent
The perfect gift for a researcher is... Time! There's never enough time!
Jokes aside, researchers are people. And while someone might be that that they do, I would rather take a present that is directed to my hobbies rather than something that would help me on my work
#ResearchAdvent
Day 21
I would argue that CompSci does not have theoretical frameworks. There are certain hypothesis linked to how we understand things a la Thomas Khun? Of course! But nothing that I can really put into words.
#ResearchAdvent
I would argue that CompSci does not have theoretical frameworks. There are certain hypothesis linked to how we understand things a la Thomas Khun? Of course! But nothing that I can really put into words.
#ResearchAdvent
December 27, 2024 at 2:03 PM
Day 21
I would argue that CompSci does not have theoretical frameworks. There are certain hypothesis linked to how we understand things a la Thomas Khun? Of course! But nothing that I can really put into words.
#ResearchAdvent
I would argue that CompSci does not have theoretical frameworks. There are certain hypothesis linked to how we understand things a la Thomas Khun? Of course! But nothing that I can really put into words.
#ResearchAdvent
Day 20
I'd like to meet anybody. I'm at a point in which I'm way over heroes. I don't really care about any one that is famous. I just want to meet the most random person that is increidibly passionate about something. That's it!
#ResearchAdvent
I'd like to meet anybody. I'm at a point in which I'm way over heroes. I don't really care about any one that is famous. I just want to meet the most random person that is increidibly passionate about something. That's it!
#ResearchAdvent
December 27, 2024 at 2:03 PM
Day 20
I'd like to meet anybody. I'm at a point in which I'm way over heroes. I don't really care about any one that is famous. I just want to meet the most random person that is increidibly passionate about something. That's it!
#ResearchAdvent
I'd like to meet anybody. I'm at a point in which I'm way over heroes. I don't really care about any one that is famous. I just want to meet the most random person that is increidibly passionate about something. That's it!
#ResearchAdvent
Day 19
My approach to analysis is pretty simple: Be as rigorous as you can and then some! If you deal with data as I do, you need to take a step back and understood everything as a whole for later go piece by piece as methodically as possible
#ResearchAdvent
My approach to analysis is pretty simple: Be as rigorous as you can and then some! If you deal with data as I do, you need to take a step back and understood everything as a whole for later go piece by piece as methodically as possible
#ResearchAdvent
December 27, 2024 at 2:03 PM
Day 19
My approach to analysis is pretty simple: Be as rigorous as you can and then some! If you deal with data as I do, you need to take a step back and understood everything as a whole for later go piece by piece as methodically as possible
#ResearchAdvent
My approach to analysis is pretty simple: Be as rigorous as you can and then some! If you deal with data as I do, you need to take a step back and understood everything as a whole for later go piece by piece as methodically as possible
#ResearchAdvent
Day 18
My main motivation these days is just stability. That's what I'm working towards. And I know I can get if I just push a bit more. But at the same time, I'm looking forward to moment in the future in which I can just something that really gets me going!
#ResearchAdvent
My main motivation these days is just stability. That's what I'm working towards. And I know I can get if I just push a bit more. But at the same time, I'm looking forward to moment in the future in which I can just something that really gets me going!
#ResearchAdvent
December 27, 2024 at 2:03 PM
Day 18
My main motivation these days is just stability. That's what I'm working towards. And I know I can get if I just push a bit more. But at the same time, I'm looking forward to moment in the future in which I can just something that really gets me going!
#ResearchAdvent
My main motivation these days is just stability. That's what I'm working towards. And I know I can get if I just push a bit more. But at the same time, I'm looking forward to moment in the future in which I can just something that really gets me going!
#ResearchAdvent
Day 17
It's hard to talk about rest and health when I have spent the holidays working non-stop. But I'm taking my health way more seriously than I did when I was in my 20's. And for sure, as soon as I can I plan to rest for a really long while!
#ResearchAdvent
It's hard to talk about rest and health when I have spent the holidays working non-stop. But I'm taking my health way more seriously than I did when I was in my 20's. And for sure, as soon as I can I plan to rest for a really long while!
#ResearchAdvent
December 27, 2024 at 2:03 PM
Day 17
It's hard to talk about rest and health when I have spent the holidays working non-stop. But I'm taking my health way more seriously than I did when I was in my 20's. And for sure, as soon as I can I plan to rest for a really long while!
#ResearchAdvent
It's hard to talk about rest and health when I have spent the holidays working non-stop. But I'm taking my health way more seriously than I did when I was in my 20's. And for sure, as soon as I can I plan to rest for a really long while!
#ResearchAdvent
I'm running really late with this. But I want to finish it nonetheless! The insights that I was getting (even if just for myself) were fantastic. So here I go with the missing days!
December 27, 2024 at 2:03 PM
I'm running really late with this. But I want to finish it nonetheless! The insights that I was getting (even if just for myself) were fantastic. So here I go with the missing days!
Day 16
Public engagement is my Achilles' heel for sure! I barely have time for conferences and I just attend one per year. BlueSky is my other output, but that's it. If anybody has any tips, I would be more than happy read them!
#ResearchAdvent
Public engagement is my Achilles' heel for sure! I barely have time for conferences and I just attend one per year. BlueSky is my other output, but that's it. If anybody has any tips, I would be more than happy read them!
#ResearchAdvent
December 16, 2024 at 11:36 AM
Day 16
Public engagement is my Achilles' heel for sure! I barely have time for conferences and I just attend one per year. BlueSky is my other output, but that's it. If anybody has any tips, I would be more than happy read them!
#ResearchAdvent
Public engagement is my Achilles' heel for sure! I barely have time for conferences and I just attend one per year. BlueSky is my other output, but that's it. If anybody has any tips, I would be more than happy read them!
#ResearchAdvent
Day 15
My favourite place to do research is my office. As stupid and simple as that is, it's the truth. I have my computer with two extra screens, I have two big whiteboards, and (of course) the coffee machine! What else could I ask for?
#ResearchAdvent
My favourite place to do research is my office. As stupid and simple as that is, it's the truth. I have my computer with two extra screens, I have two big whiteboards, and (of course) the coffee machine! What else could I ask for?
#ResearchAdvent
December 16, 2024 at 11:36 AM
Day 15
My favourite place to do research is my office. As stupid and simple as that is, it's the truth. I have my computer with two extra screens, I have two big whiteboards, and (of course) the coffee machine! What else could I ask for?
#ResearchAdvent
My favourite place to do research is my office. As stupid and simple as that is, it's the truth. I have my computer with two extra screens, I have two big whiteboards, and (of course) the coffee machine! What else could I ask for?
#ResearchAdvent
Day 14
In 3 years I'll look back and (hopefully) think that it was worth it. The amount of work nowadays is just too hight. But I want to believe that is more than worth it. That, even if I don't change the world, I'll change for the best!
#ResearchAdvent
In 3 years I'll look back and (hopefully) think that it was worth it. The amount of work nowadays is just too hight. But I want to believe that is more than worth it. That, even if I don't change the world, I'll change for the best!
#ResearchAdvent
December 16, 2024 at 11:36 AM
Day 14
In 3 years I'll look back and (hopefully) think that it was worth it. The amount of work nowadays is just too hight. But I want to believe that is more than worth it. That, even if I don't change the world, I'll change for the best!
#ResearchAdvent
In 3 years I'll look back and (hopefully) think that it was worth it. The amount of work nowadays is just too hight. But I want to believe that is more than worth it. That, even if I don't change the world, I'll change for the best!
#ResearchAdvent