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