Мария Луиза Бонет
Испанский учёный-компьютерщик

Мария Луиза Бонет Карбонелл — испанский учёный-компьютерщик, интересующийся логикой в ​​информатике , включая сложность доказательств и алгоритмы для задачи максимальной выполнимости . Она — профессор компьютерных наук в Политехническом университете Каталонии . [1]

Образование и карьера

Бонет родом из Барселоны . [2] Получив степень по философии в Университете Барселоны в 1984 году, [3] она стала стипендиатом Фулбрайта в Калифорнийском университете в Беркли . [2] Она получила степень магистра математики там в 1987 году, [3] и стала докторантом Сэмюэля Басса , изучая теоретическую информатику . [2] Басс переехал в Калифорнийский университет в Сан-Диего в 1988 году, [4] но Бонет осталась в Беркли; в ее докторской диссертации 1991 года « Длина пропозициональных доказательств и правило дедукции » Басс и Лео Харрингтон были указаны в качестве соруководителей. [5]

Бонет проводила постдокторские исследования в качестве доцента Warchawski в Калифорнийском университете в Сан-Диего, в Пенсильванском университете и в DIMACS в Нью-Джерси . Она вернулась в Барселону в 1996 году, чтобы занять должность на кафедре компьютерных наук Политехнического университета Каталонии. Она стала там полным профессором в 2007 году. [2]

Избранные публикации

  • Бонет, Мария Луиза; Питасси, Тониан ; Раз, Ран (1997), «Нижние оценки для доказательств секущих плоскостей с малыми коэффициентами» (PDF) , Журнал символической логики , 62 (3): 708–728 , doi :10.2307/2275569, JSTOR  2275569, MR  1472120; предварительная версия на 27-м симпозиуме по теории вычислений (STOC 1995), doi :10.1145/225058.225275
  • Бонет, Мария Луиза; Питасси, Тониан ; Раз, Ран (2000), «Об интерполяции и автоматизации для систем Фреге» (PDF) , SIAM Journal on Computing , 29 (6): 1939– 1967, doi :10.1137/S0097539798353230, MR  1756400
  • Бонет, Мария Луиса; Эстебан, Хуан Луис; Галеси, Никола; Йохансен, Ян (2000), «Об относительной сложности уточнений разрешения и систем доказательства плоскостей отсечения» (PDF) , SIAM Journal on Computing , 30 (5): 1462– 1484, doi :10.1137/S0097539799352474, MR  1813959
  • Боне, Мария Луиза; Леви, Хорди; Манья, Фелип (2007), «Разрешение для Max-SAT», Искусственный интеллект , 171 ( 8–9 ): 606–618 , doi : 10.1016/j.artint.2007.03.001 , MR  2333554
  • Ансотеги, Карлос; Боне, Мария Луиза; Леви, Джорди (2013), «Алгоритмы MaxSAT на основе SAT», Искусственный интеллект , 196 : 77–105 , CiteSeerX  10.1.1.278.7791 , doi : 10.1016/j.artint.2013.01.002, MR  3024193; на основе докладов конференций SAT 2009, CCIA 2009, AAAI 2010 и CP 2012

Ссылки

  1. ^ "People", Кафедра компьютерных наук , Политехнический университет Каталонии
  2. ^ abcd "Мария Луиза Бонет Карбонелл", Люди , Институт Саймонса , получено 14.03.2023
  3. ^ ab Curriculum vitae , получено 14.03.2023 – через Docplayer.es
  4. ^ "Сэм Басс", Люди , Институт Саймонса , получено 14.03.2023
  5. ^ Мария Луиза Бонет в проекте «Генеалогия математики»
  • Домашняя страница
  • Публикации Марии Луизы Бонет, проиндексированные Google Scholar
Взято с "https://en.wikipedia.org/w/index.php?title=Мария_Луиза_Бонет&oldid=1246968181"