8 June, 2016

Enric Rodríguez-Carbonell

EnricWhiteSands

Technical advisor & founder

Enric has a M.S. in Mathematics (2002, #1 of his year) and a PhD in Computer Science (2006), both from UPC. He is associate professor at UPC since 2012. Enric has worked on applications of linear programming and other techniques of operations research to SMT, being co-author of award-winning tools for SAT and SMT (Barcelogic).