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
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
First time on the abandoned Tempelhof airfield. Typical cold and foggy Berlin weather in December but still quite spectacular.
This is a great opportunity to work with us at the intersection of ML, SE, and Neuroscience... @ MPI-SWS & Saarland Uni.
Mariya Toneva@mtoneva.bsky.social · 2y ago🚨 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.
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...
