          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

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

            New to LinkedIn? Join now
          
                      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.