          Agree & Join LinkedIn
        
  By clicking Continue to join or sign in, you agree to LinkedIn’s User Agreement, Privacy Policy, and Cookie Policy.
I am happy to share that the paper “Unsatisfiability Proofs for Horn Solving” I contributed to has won the EASST Award for the best ETAPS 2025 paper related to the systematic and rigorous engineering of software and systems. 

My contributions focused on developing an extension for the “Golem” Horn solver to enable the generation of verifiable Alethe proofs, helping strengthen the reliability of software verification tools.

A heartfelt thank you to my co-authors (Rodrigo Otoni, Martin Blicha, Patrick Eugster, Jan Kofroň, and Natasha Sharygina) for the mentorship and dedication that made this work possible.Congrats Matias!! Excited for your accomplishment keep up the amazing work🎉 Congratulations Matias!! 👏 🎉 Major achievement, Matias! Continued success.Felicitaciones Matías!! Que sigan los éxitosCongrats Matias!!🎉Congrats Matias! 🎉Congrats Matias! 🎉Bravo sobrino!!!Felicitaciones Matias Barandiaran !! To view or add a comment, sign in

        212 followers
      
                  Create your free account or sign in to continue your search
                
                  or
                
                  New to LinkedIn? Join now
                
  By clicking Continue to join or sign in, you agree to LinkedIn’s User Agreement, Privacy Policy, and Cookie Policy.