Португальский математик и исследователь
Жоао Паулу Маркес Силва это португальский исследователь, работающий над СИДЕЛ. Он разработал решатель SAT ПОНЯТЬ во время его доктора философии.
Маркес-Силва был старшим преподавателем с октября 2005 г. по июнь 2007 г. в школе электроники и компьютерных наук Саутгемптонский университет. В июне 2007 года он был повышен до профессора - самого высокого профессорского рейтинга в Великобритании. С 2009 года переехал в Университетский колледж Дублина, Ирландия.
В области SAT он считается одним из самых важных исследователей. Его работы варьируются от методов SAT и их реализации до применимости в проверке моделей и биологии. Опубликовал более 50 статей.
Бывшие студенты
- Хуан Чен
- Антониу Моргадо
- Васко Манкиньо
- Инес Линс
внешняя ссылка
