David Baneres is an Lecturer professor at the Open University of Catalonia (UOC). He has previously been a researcher at UPC-Barcelona Tech, a research intern at Intel Strategic CAD Labs and a part-time lecturer Universitat Autónoma de Barcelona (UAB).
His research interest consists in the use of optimization techniques and formal methods in different areas and the development of tools and environments for e-learning.
In the former area, he has worked on the time-driven optimization on logical and physical design of digital circuits, boolean satisfiability and MAX-SAT resolution. In the latter, his contributions deal with the development of tools for automated assessment and technology-enhanced learning in the area of digital systems.
You can find further information about his activities here: