ICTComputable
VUB-professor werkt aan optimalisatie-algoritme
Dr. Bart Bogaerts, hoogleraar aan de Vrije Universiteit Brussel (VUB), wil de correctheid van combinatorische optimalisatie-algoritmes opvoeren tot honderd procent. Voor zijn zogeheten Certifox-project (Certified First-Order Model Expansion) ontvangt hij een European Research Council (ERC) Grant ter waarde van twee miljoen euro.

Je gaat naar de website van de uitgever. Hier tonen we alleen een korte intro.

