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