Джоао Маркес Сильва - João Marques Silva

Бұл тірі адамның өмірбаяны тым көп сүйенеді сілтемелер дейін бастапқы көздер. Қосу арқылы көмектесіңізші екінші немесе үшінші көздер. Тірі адамдар туралы көздерден алынбаған немесе жеткіліксіз көздерден алынған даулы материалдар дереу алып тастау керек, әсіресе егер мүмкін болса жала жабу немесе зиянды. (Тамыз 2012) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз)

Джоао Паулу Маркес Сильва Бұл португал тілі зерттеуші SAT. Ол SAT шешуші құралын жасады GRASP PhD докторы кезінде.

Маркс-Сильва 2005 жылдың қазанынан 2007 жылдың маусымына дейін электроника және компьютерлік ғылымдар мектебінде аға оқытушы болды Саутгемптон университеті. 2007 жылдың маусымында ол Ұлыбританиядағы профессорлық дәреже бойынша ең жоғары дәрежеге көтерілді. 2009 жылдан бастап ол көшіп келді Дублин университетінің колледжі, Ирландия.

SAT саласында ол маңызды зерттеушілердің бірі ретінде көрінеді. Оның еңбектері SAT техникасы мен енгізілуінен бастап модельді тексеру мен биологияда қолдануға дейін. Оның 50-ден астам мақалалары жарық көрді.

Бұрынғы студенттер

• Хуан Чен
• Антонио Моргадо
• Васко Манкиньо
• Inês Lynce

Сыртқы сілтемелер

• https://web.archive.org/web/20090327120917/http://www.csi.ucd.ie/staff/jpms/

Португалиялық ғалым туралы бұл мақала а бұта. Сіз Уикипедияға көмектесе аласыз оны кеңейту.

Бұл мақала еуропалық туралы математик Бұл бұта. Сіз Уикипедияға көмектесе аласыз оны кеңейту.