Armando completed a Computer Engineering Master’s degree at University of Minho, where he specialized in Formal Methods in Software Engineering and Distributed Systems. His dissertation was about “Selective Applicative Functors & Probabilistic Programming”, and his research interests cover the algebra of programming, functional programming, abstract math, and lately applying semantic elegance and rigor to library design.
Armando loves Haskell and the Functional Programming community, and strives for its growth. He has several open source contributions and packages on Hackage. Besides programming he enjoys reading, meditating and traveling.