Estudiante de máster en Métodos Formales, con interés por la informática teórica y las matemáticas. Fuera del ámbito académico, me gusta la papiroflexia, los deportes de resistencia e invierno. Aquí presento una selección de algunas aficiones. El nombre del blog se inspira en el icónico Dragon Book de Aho, Lam, Sethi y Ullman. Un libro muy reconocido en el ámbito de los compiladores.
GitHub: github.com/laredo02
LinkedIn: linkedin.com/in/miguel-laredo
Telegram: https://t.me/laredo02