Armin Biere
@arminbiere.bsky.social
SAT Solver Hacker, Professor, University of Freiburg
Our department in lovely Freiburg has an opening for a Full Professorship (W3) on Software Engineering (succession of Andreas Podelski) with a more technical and formal focus uni-freiburg.de/en/job/00004...
University of FreiburgText icon 'Universität Freiburg'Seal element of the university of freiburg in the shape of a flowerSearch iconMenu iconText icon 'Universität Freiburg'Search iconMenu iconhomehom...
uni-freiburg.de
March 26, 2025 at 4:38 PM
Our department in lovely Freiburg has an opening for a Full Professorship (W3) on Software Engineering (succession of Andreas Podelski) with a more technical and formal focus uni-freiburg.de/en/job/00004...
Cool video youtu.be/0_fdjA2R0bQ?... explaining how Marijn Heule et.al. solved the mathematical "Empty Hexagon Problem" with SAT (our CaDiCaL actually). This was first presented at TACAS'24 and then lifted and formally verified in the Lean theorem prover at ITP'24 drops.dagstuhl.de/entities/doc...
This missing number shouldn't have been possible to find.
YouTube video by PurpleMind
youtu.be
March 10, 2025 at 5:03 PM
Cool video youtu.be/0_fdjA2R0bQ?... explaining how Marijn Heule et.al. solved the mathematical "Empty Hexagon Problem" with SAT (our CaDiCaL actually). This was first presented at TACAS'24 and then lifted and formally verified in the Lean theorem prover at ITP'24 drops.dagstuhl.de/entities/doc...
First time on the abandoned Tempelhof airfield. Typical cold and foggy Berlin weather in December but still quite spectacular.
December 29, 2024 at 8:32 PM
First time on the abandoned Tempelhof airfield. Typical cold and foggy Berlin weather in December but still quite spectacular.
Reposted by Armin Biere
This is a great opportunity to work with us at the intersection of ML, SE, and Neuroscience... @ MPI-SWS & Saarland Uni.
🚨 Open postdoc position on effective human-AI collaboration, joint with the groups of @svenapel.bsky.social and Adish Singla 🚨
Join our exciting collaboration involving ML, cogsci, and software engineering! More info here: mtoneva.com/Postdoc_ad_2...
Apply by Jan 31, 2025.
Join our exciting collaboration involving ML, cogsci, and software engineering! More info here: mtoneva.com/Postdoc_ad_2...
Apply by Jan 31, 2025.
December 20, 2024 at 12:13 PM
This is a great opportunity to work with us at the intersection of ML, SE, and Neuroscience... @ MPI-SWS & Saarland Uni.
Daniela gave an intriguing talk on extracting linear polynomials on demand to improve verifying optimized/resynthesized multipliers and then with the arithmetic circuit verification crowd in Freiburg went for the well deserved Christmas beer cca.informatik.uni-freiburg.de/invited-talk...
December 4, 2024 at 10:00 AM
Daniela gave an intriguing talk on extracting linear polynomials on demand to improve verifying optimized/resynthesized multipliers and then with the arithmetic circuit verification crowd in Freiburg went for the well deserved Christmas beer cca.informatik.uni-freiburg.de/invited-talk...
Ok, will not take the bike today.
November 22, 2024 at 7:33 AM
Ok, will not take the bike today.