About Me
I'm a computer scientist and a math student at the University of Buenos Aires. I have participated in various math and programming olympiads, and now I coach the Argentina IOI team. I also work as a Cryptography Engineer at Muun.
Research
My primary interest lies in programming language research. I'm a member of the LoReL research group and am currently pursuing my master's thesis on categorical models of linear intuitionistic logic, as part of a research program focused on defining quantum programming languages based on proof systems for linear logics.
I'm also part of the KAPOW research group, where I study the properties of random sequences and methods for generating them using tools from extremal graph theory.
Papers
De Bruijn Sequences with Minimum Discrepancy
Abstract: The discrepancy of a binary string is the maximum (absolute) difference between the number of ones and the number of zeroes over all possible substrings of the given binary string. In this note we determine the minimal discrepancy that a binary de Bruijn sequence of order n can achieve, which is n. This was an open problem until now. We give an algorithm that constructs a binary de Bruijn sequence with minimal discrepancy. A slight modification of this algorithm deals with arbitrary alphabets and yields de Bruijn sequences of order n with discrepancy at most 1 above the trivial lower bound n.
On extremal factors of de Bruijn-like graphs
Abstract: In 1972 Mykkeltveit proved that the maximum number of vertex-disjoint cycles in the de Bruijn graphs of order n is attained by the pure cycling register rule, as conjectured by Golomb. We generalize this result to the tensor product of the de Bruijn graph of order n and a simple cycle of size k, when n divides k or vice versa. We also develop counting formulae for a large family of cycling register rules, including the linear register rules proposed by Golomb.
Informatics Awards
ICPC World Finals
2020
@ 🇷🇺 Moscow, Russia
-> 🏆 Latin American Champion
2023
@ 🇪🇬 Luxor, Egypt
-> 🏆 Latin American Champion
+ 🥉 Bronze Medal
International Olympiad in Informatics (IOI)
Ibero-American Olympiad in Informatics (OII)
Mathematics Awards
International Mathematics Olympiad (IMO)
Olimpiada Iberoamericana de Matemática (OIM)
2017
@ 🇦🇷 Iguazú, Argentina
-> 🥇 Gold Medal
2017
@ 🇪🇸 La Rábida, España & 🇵🇹 Monte Gordo, Portugal
-> 🥇 Gold Medal
Olimpiada Matemática Rioplatense
2015
@ 🇦🇷 Buenos Aires, Argentina
-> 🥉 Bronze Medal
2016
@ 🇦🇷 Buenos Aires, Argentina
-> 🥉 Bronze Medal
Olimpiada Matemática del Cono Sur
Olimpiada Iberoamericana Matemática Universitaria (OIMU)
Experience
Muun
Nov 2024 - Present @ 🇦🇷 Buenos Aires, Argentina
Position: Cryptography Engineer.
Technologies: Rust, Java, Go, PostgreSQL.
Design, development, and optimization of cryptographic protocols.
Modo
2021 - 2024 @ 🇬🇧 London, United Kingdom
Position: Lead Backend Developer.
Technologies: Go, MySQL, MongoDB, Redis, IMAP.
Developed media aggregation and indexing system from email and file storage platforms.
Olimpiada Argentina de Informática
2019 - Present @ 🇦🇷 Buenos Aires, Argentina
Position: scientific and technical commitee, team coach.
Technologies: Go, Python, PostgreSQL, JS, React.
Automated the contest setting system for the informatics olympiad in argentina.
Developed new online judge system on top of the ioi cms.
Contact
email: (middle name) (last name) (first name) at gmail dot com
github: @miguelsotocarlos
codeforces: @reedef