Agree & Join LinkedIn
        
  By clicking Continue to join or sign in, you agree to LinkedIn’s User Agreement, Privacy Policy, and Cookie Policy.

            Computer Scientist
        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” Constrained Horn Clause (CHC) 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. Marine Biology studentCongratulations Matias!! 👏 Final Year BSc (Hons) Computer Science Student at Lancaster University LeipzigCongrats Matias! 🎉MD | Director - Clinical Operations | Country Head | PPD part of Thermo Fisher Scientific | Board Member APOIC (CRO Association) | Fostering Peru/LA contribution to clinical trials execution | Passionate about PeopleFelicitaciones Matias Barandiaran !!BSc(Hons) Computer Science Student at Lancaster University LeipzigCongrats Matias!! Excited for your accomplishment keep up the amazing work🎉 IT Regional Director | Country Manager | Qualified Investor Bravo sobrino!!!SDE Intern @ Amazon | Final year BSc Software Engineering StudentCongrats Matias!!🎉Available Congrats Matias! 🎉Business Unit Leader | Commercial ManagerFelicitaciones Matías!! Que sigan los éxitosHigh Risk Customer Investigator @ Amerant Bank🎉 Major achievement, Matias! Continued success. To view or add a comment, sign in

        147 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.