Minimal Python decorator to enforce type validation from type hints

You can find the final version of the thesis in the <a href="https://github.com/mianfg-DGIIM/TFG">GitHub repository (in Spanish)</a>. The repository also includes a code folder with all the Python programs needed for proofs and experimentation with computational models.
<h2>Abstract</h2>
We begin this Bachelor’s Thesis highlighting the motivation behind this work, as well as the main goals to be achieved. Immediately after, we give a brief historical contextualization of the topics covered in this writing.
The theoretical development starts introducing a specific subset of Python programs, namely SISO programs, and we observe this class is as expressive as the class of all Python programs. Next, we delve into Turing machines, the main mathematical tool of our analysis. Afterwards, we introduce new and equivalent computing models, until we arrive at the main result of this chapter: the fact that Turing machines can emulate Python programs, and vice versa; in other words, Python programs and Turing machines are equivalent. This will allow us to use Python programs conveniently, instead of having to specify precise descriptions of Turing machines. We conclude the chapter introducing the Church-Turing thesis, and realizing that the equivalence result proved can be an argument in its favor.
We define mathematically the notion of computational problem, and we discuss Python programs (and, equivalently, Turing machines), can solve them. We call decidable any problem that can be solved by a program that never halts. We then observe a Python program can emulate itself, which leads us to the existence of undecidable problems. Following this, we relax the halting condition to obtain semidecidable problems. Afterwards, we introduce the reduction technique, which allows us to obtain new, undecidable problems, including the most important one for this thesis: the halting problem.
In order to prove the main result of this work, it is necessary to introduce a formalization of the concepts of proof and truth. This is precisely what we do when introducing formal systems and logical systems. Formal systems are syntactic: they formalize what a theorem is, a provable formula from a set of axioms and inference rules. On the other hand, logical systems incorporate to formal systems a semantic component: truth. We present essential properties of the aforementioned systems, which relate semantic and syntactic concepts. Afterwards we highlight the introduction of Peano arithmetic, a logical system of especial significance.
As colophon, we proceed to prove the First Incompleteness Theorem: we do so first from Peano arithmetic, and then we generalize it by means of two versions. The first one, of semantic nature, and allows us (under some computational hypotheses) to find true but unprovable statements in a logical system. Next, the syntactic version, closer to Gödel’s, allows us to find unprovable statements in formal systems. We finish the study of this theorem with some important mathematical and philosophical consequences.
Finally, we wrap up with some conclusions, and some final words for further work.

Final dissertation thesis for my double bachelor's degree in Computer Engineering and Mathematics

An algorithmic perspective into the incompleteness of Mathematics

View repository (some in Spanish)

I took part in the creation of the first Python Workshop for Cisco employees, targeted towards beginners ─ with or without previous programming experience.
The workshop consisted on three fundamental pillars:
<ul>
<li>Sessions. Each week there was an instructor-delivered session, in which students were able to learn more about different introductory Python topics.
The slides and recordings were made available after each session. In the sessions, there were demos, fun facts, and time to ask questions!</li>
<li>Exercises. In each session, students were be provided a notebook where they could get some hands-on practice into the language.</li>
<li>Assignments. Additionally, the exercises had some scorable assignments at the end of them.</li>
</ul>
With the content being divided into seven sessions:
<ol>
<li>Introduction to Python. Programming basics, what is Python, let's dive in!</li>
<li>Data Types. What is a variable, built-in data types, operators, input data</li>
<li>Conditionals. Booleans, conditional operators, conditional statements (<code>if</code>, <code>else</code>)</li>
<li>Flow Control. Introduction to loops, <code>range()</code> function, <code>while</code> loop, <code>for</code> loop</li>
<li>Lists. Recap, lists, strings are lists!</li>
<li>Collections. Tuples, dictionaries, sets, <code>math</code> library</li>
<li>Functions and Exceptions. Functions, type casting, exceptions</li>
</ol>
You have more information in <a href="https://www.linkedin.com/posts/mianfg_python-activity-7064992170759327744-pJKD">this LinkedIn post</a>.

Workshop to teach beginner Python concepts to Cisco employees

Python Workshop by ETC & Cisco IT

View LinkedIn post

eme is a minimalistic personal website developed using <a href="https://nextjs.org/">Next.js</a>, <a href="https://www.typescriptlang.org/">TypeScript</a> and <a href="https://tailwindcss.com/">Tailwind CSS</a>.

PictoMaker Lite is a lightweight API that enables you to translate any sentence into a sequence of pictograms. It uses Natural Language Processing (NLP) to syntactically analyze the sentence and lemmatize its components, whether it is in Spanish, English or Polish (more languages soon!). Then, it uses this information to generate an array of possible pictograms, that you can use later.
This API extensively uses <a href="https://arasaac.org/">ARASAAC</a>, an open-source Spanish project that compiles incredible sequences of pictograms.
<h2>Use cases</h2>
As a pilot, PictoMaker Lite can be used in Cisco Webex (more information <a href="https://github.com/mianfg/Incu2022/tree/main/webex-api-session">here</a>). You can try it out by adding pictomaker@webex.bot to your Webex account. This bot adds functionality like color tagging, choosing whether images should be colored or not upon generation, and skin tone options.
<img src="/images/projects/pictomaker-lite/generated.png" alt="Sequence of pictograms generated by PictoMaker&#x27;s Webex Bot and PictoMaker Lite. It reads &#x22;Have a great day!&#x22;">
<h2>Some things about PictoMaker...</h2>
<h3>👩‍💻 How did it come about?</h3>
A few years ago, and motivated by my mother, who is a teacher of students with special needs, I decided to start the project PictoMaker. PictoMaker is basically a program that translates sentences to colorful pictograms, and that helped my mother in teaching people with autism and Down syndrome. The first version of PictoMaker I developed, only in Spanish, was the first webapp I ever developed, and received a warm reception from the educational community. I was really proud of it, and have always wanted to make improvements to it.
As part of the Cisco Incubator Program 9.0, I was approached with the task to create a bot for Cisco Webex, and I thought it was an amazing opportunity to go back to PictoMaker and try and improve it, by separating the original webapp into an API and a separate interface that could take advantage of it (in this case, a Webex bot).
<h3>🤷 Why pictograms?</h3>
Learning through pictograms is an essential tool for children with special educational needs, as well as crutial for elder people with Alzheimer's disease and dementia. I developed PictoMaker to make it easy for people to communicate using the power of images.
<h3>👓 Why do a syntactical analysis?</h3>
PictoMaker leverages the power of AI to lemmatize the different words you input (getting the basic form of the word) to search for the images, as well as it uses it to construct a syntactical analysis tree and allow people (and especially children) to better distinguish between words.

A lightweight API to translate sentences into pictograms

PictoMaker Lite

View repository

Proyecto Bridge is a project created as the collective dissertation thesis of <a href="https://elufv.com">Escuela de Liderazgo Universitario</a> (Universidad Francisco de Vitoria, Madrid). Its main goal is to expand the knowledge borders of university students by organizing events between university students of different areas of knowledge.
<img src="/images/projects/proyecto-bridge/web-screenshot.png" alt="Homepage of the project">
This project attends the necessity to to complement current university education through a space that favors interdisciplinary cooperation and the integral formation of university students with a critical spirit, prepared to provide collaborative solutions to the challenges of today's society. It is based on four main principles:
<ul>
<li>Integral formation of the university student.</li>
<li>Encouraging dialogue and active participation.</li>
<li>Methodologies that foster creativity and critical thinking.</li>
<li>Multidisciplinary networking.</li>
</ul>
This is done via bridges, meetings between university students from different degrees in which topics of common interest are dealt with from a transdisciplinary perspective, and through methodologies that favor reasoning and argumentation.
<h2>The first bridge</h2>
As part of the project, we had to make a pilot bridge to test if our solution was appropriate. The encounter talked about liberating patents for COVID-19 vaccines, and was destined to university student from both health sciences and right and economy.
<img src="/images/projects/proyecto-bridge/bridge-photo.jpg" alt="Photo of a bridge">
The encounter took place in <a href="https://comunicacion.umh.es/2021/05/25/arranca-en-la-umh-el-proyecto-bridge-con-el-encuentro-liberalizar-las-patentes-contra-la-covid-19-problema-o-solucion/">Universidad Miguel de Hernández</a>, in Alicante, Spain, and it received a warm acclaim both from the students and lecturers. We look forward to organizing these encounters in the future.

Joining students from different areas of expertise

Proyecto Bridge

Read thesis (in Spanish) PDF

Fit your photos into canvases for printing

PhotoFitter

PrioSort

Telematic accompaniment in hospitals and nursing homes

Hospitalit-e

Conferences on technology and its influence on human beings

Voces Universitarias II: Tecnología y Humanismo

@yoteayudoconlasele originated as a network of thousands of university students all accross Spain, wanting to help pupils from the 2nd course of Bachillerato ace their college entrance exams. This network was present all across the country, in each and every autonomous community.
It consisted on three fundamental pillars:
<ul>
<li>The website, that I developed myself, was the "center of operations", and in where students could ask questions, find and share notes, and access online classes and many other resources.</li>
<li>The social media accounts, that served to both spread the word and coach the students, with a huge variety of contents, like study tips, career orientation and much more. Our Instagram account achieved more than 20k followers in just 48 hours.</li>
<li>The team of volunteers and organizers that was able to make the project work in record time.</li>
</ul>
This project received national media acclaim, and made a huge impact in the future of thousand of students.
<img src="/images/projects/yoteayudoconlasele/web-screenshot.png" alt="Screenshot of website">
You can know more about the project in the <a href="https://web.archive.org/web/20200515092152/https:/yoteayudoconlasele.es/sobre-nosotros">"about us" (archived)</a>, the <a href="https://web.archive.org/web/20200508055343/https:/yoteayudoconlasele.es/faq/">FAQs (archived)</a> and the <a href="https://web.archive.org/web/20200428081428/https:/yoteayudoconlasele.es/contribuir/">"how to contribute" (archived)</a> sections (all in Spanish).
<h2>Subprojects</h2>
As part of this project, I had to develop various utilites and features. Some of them were:
<ul>
<li><a href="https://github.com/mianfg/calculadora-sele">Calculadora Sele</a>. A simple web utility that helped student calculate their scores in the University entrance exams ("selectividad").</li>
<li><a href="https://www.instagram.com/p/CAxdBLvCvsB/">YAS Gradu</a>. Using Python and Pillow, I was able to generate the biggest class photo in Spain ever made.</li>
</ul>
<h2>Some featured stories</h2>
YAS (short for @yoteayudoconlasele) was featured in several Spanish media outlets. Here are some of my favorite articles:
<ul>
<li><a href="https://www.rtve.es/noticias/20200316/educacion-coronavirus-selectividad/2010149.shtml">"Educación y Coronavirus", RTVE.es</a></li>
<li><a href="https://www.educaweb.com/noticia/2020/03/25/yoteayudoconlasele-iniciativa-estudiantes-preparar-selectividad-19123/">"'Yo te ayudo con la sele': una iniciativa entre estudiantes para preparar la EBAU", EducaWeb</a></li>
<li><a href="https://startuc3m.com/lanzar-proyecto-en-cuarentena/">"Cómo lanzar un proyecto en cuarentena", Start UC3M</a></li>
<li><a href="https://www.larazon.es/salud/20200323/5fofdaf6brdjvpqbtwpsrmd37a.html">"Héroes de la cuarentena del coronavirus: Yo te ayudo con la selectividad", La Razón</a></li>
<li><a href="https://www.telva.com/estilo-vida/2020/03/25/5e7b1a9f01a2f139b78b460a.html">"Educación en cuarentena: los grupos de WhatsApp de padres echan chispas", Telva</a></li>
</ul>
<h2>My personal take</h2>
This project is one of the most successfull and fulfilling projects I have ever worked on, and I think it has been the one where, at the time, I grew the most as a computer scientist. In YAS was where I put my time and soul during the lockdown —besides University, of course,— and the response was overwhelming. It was truly a gift to be part of this.
As always, I like to take a moment and reflect upon what happened. Here's some of the things I learned from @yoteayudoconlasele:
<ul>
<li>Have a great team. In projects like this, it is essential to have a great team — you cannot do all the work! Surround yourself with wonderful communicators, planners, doers and thinkers. If they share your passion for the project, then everything will be okay.</li>
<li>Be brave. We had to create a functional product in no time, due to the urgency of the situation. This meant little space for mistakes. However, not only the right answer has to be provided — it has to be provided at the right time. Don't be scared to deploy, hotfix and redeploy whenever it is necessary. Don't be scared to contact everyone to make something new in no time.</li>
<li>Be true to yourself. In big projects, you'll come up with imitators, and people wanting to take advantage of you —most of the time, to make money.— With every decision you make, remind yourself of your goal and your passion for the project. If it doesn't seem right, then it probably isn't.</li>
</ul>

A project to help Spanish students with their university entrance exams during the pandemic

@yoteayudoconlasele

View website (archived)

md2tex

PictoMaker

A generator for your own Cards Against Humanity

CAH Generator

War Bot

Conferences on the relationship between University and politics

Voces Universitarias I: Universidad y Poder Político

Dome It! is a project designed to improve life in refugee camps. After thoroughly investigating this drama, we have tried to find solutions to a number of serious problems
<ul>
<li>Accommodation: the refugees live in precarious tents.</li>
<li>Heating: unfortunately, they have to endure extremely hot and cold temperatures.</li>
<li>Water supply: we have developed a productive and practical water supply system.</li>
<li>Energy harvesting, to do our bit in the face of climate change and provide more services to the population.</li>
<li>Growing food, so essential to people's livelihoods, which can be difficult in some climates.</li>
</ul>
<img src="/images/projects/dome-it/domeit.png" alt="Picture of Dome It!">
To solve these problems, we proceeded to create an optimal solution for the refugee camps consisting of two main parts:
<ul>
<li>EcoDome, a modular, efficient and self-sufficient house, cheap and durable, easy to build and dismantle, with built-in water and energy harvesting systems and vegetable garden, designed to meet the needs of the refugees.</li>
<li>VoroMap, a mathematical model to optimally distribute buildings according to the needs of the refugee population, interactive and adaptable, which can be implemented in any camp, even existing ones.</li>
</ul>
<img src="/images/projects/dome-it/domeit-org.png" alt="Project elements">
<h2>EcoDome</h2>
<img src="/images/projects/dome-it/ecodome.png" alt="EcoDome overview">
EcoDome constructions improve the stay of refugees, incorporating a large number of useful and essential features, for a price not much higher than conventional tents, and with greater durability and performance.
<img src="/images/projects/dome-it/structure.png" alt="Structure">
We optimized conventional geodesic structures to facilitate their construction, minimizing the number of tubes and joints. These tubes also act as channels through which water can circulate.
<img src="/images/projects/dome-it/structure-evolution.png" alt="Evolution of structure">
On the roof we designed a greenhouse where to grow all kinds of food, in a microclimate independent from the outside and taking advantage of the help of the water collection system.
<img src="/images/projects/dome-it/garden.png" alt="Garden">
The greenhouse roof is made of a specific material to obtain water, which can be used thanks to its potabilization or can be used directly for crop irrigation.
<img src="/images/projects/dome-it/water.png" alt="Water recolection">
To complete the solution proposed by our project, we have proposed a system for obtaining efficient and ecological energy, as well as reusable, and can also generate fertilizer for crops.
<h2>VoroMap</h2>
With Voromap, refugee camps can be optimally organized. In this way, we will ensure that the various services are never saturated or, on the contrary, hardly provide any help at all.
<img src="/images/projects/dome-it/voromap.png" alt="VoroMap&#x27;s algorithm">
<h2>Team</h2>
Dome It! was created as part of <a href="https://www.becaseuropa.es/">Becas Europa XII</a>'s selection weekend, together with Aida Arnáiz, Alejandro Fernández, Carmen García, Carmen López and Isabel Sánchez. This project was very well received by the members of the evaluation panel of the Universidad Francisco de Vitoria.
<img src="/images/projects/dome-it/team.png" alt="Team">
<h2>In the media</h2>
"There are, therefore, two events here: an interesting and original project, with a social and humanitarian objective, and the fact that this idea and its development come from young, very young students." —<a href="https://www.diariodecadiz.es/noticias-provincia-cadiz/Ubrique-refugiados_0_1131487304.html">Diario de Cádiz</a>

An integral solution to help refugees' housing

Projects

Miguel Ángel @mianfg

Here are my projects