План
Введение
1 Биография
2 Книги
3 Награды
Список литературы
Введение
Эдмунд Мельсон Кларк младший (англ. Edmund Melson Clarke, Jr., 27 июля 1945 года, США) — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга. В настоящее время является профессором информатики в университете Карнеги — Меллон.
1. Биография
Кларк получил степень бакалавра по математике в университете Вирджинии в 1967, а магистра по математике в университете Дьюка в 1968 году. Титул доктора философии по информатике Кларк приобрёл в Корнелльском университете в 1976 году, после чего преподавал в Университет Дьюка на протяжении двух лет. Затем переехал в Гарвард, где работал до 1982 года. С тех пор Кларк является сотрудником университета Карнеги — Меллон, имея полную профессуру с 1989 года.[1]
Эд Кларк является членом профессиональных организаций ACM, IEEE и Национальной академии инженерного дела при Национальной академии наук США, а также обществ Sigma Xi и Phi Beta Kappa Society.
В конце февраля 2009 года Кларк занимал 28 место в списке самых цитируемых авторов в проекте CiteSeer.[2]
2. Книги
Кларк, Э., Грумберг, О., Пелед, Д. А. Model Checking. — MIT Press, 1999. — P. 330. — ISBN 978-0-262-03270-4
3. Награды
1995 — Technical Excellence Award (Semiconductor Research Corporation)[3]
1998 — Paris Kanellakis Award (ACM)[4]
1999 — Allen Newell Award (факультет информатики университета Карнеги — Меллон)[5]
2004 — Harry H. Goode Memorial Award (IEEE CS)[6]
2007 — Премия Тьюринга вместе с Эмерсоном и Сифакисом за их роль в развитии проверки моделей — высоко эффективную технику верификации программ, широко применяемую при разработке как программного так и аппаратного обеспечения[7][8]
2008 — CADE Herbrand Award[9]
Список литературы:
Untitled Document
Statistics — Most Cited Authors in Computer Science
grc.src/member/about/techexcl.asp
ACM Award Citation / Edmund M Clarke
SCHOOL OF COMPUTER SCIENCE, Carnegie Mellon
System Unavailable
Объявлены лауреаты ежегодной Премии Тьюринга — Наука и техника — Компьюлента
ACM Award Citation / Edmund M Clarke
The Herbrand Award for Distinguished Contributions to Automated Reasoning (англ.)
Источник: ru./wiki/Кларк,_Эдмунд_Мельсон
Другие работы по теме:
Сущность неоклассической экономической теории
Неоклассическая экономическая теория возникла в 1870-е годы. Представители: Карл Менгер, Фридрих фон Визер, Эйген фон Бём-Баверк (австрийская школа), У. С. Джевонс и Л. Вальрас (математическая школа), Дж. Б. Кларк (американская школа), А. Маршалл и А. Пигу (кембриджская школа).
Теория предельной производительности Дж.Б. Кларка
Д.Б. Кларк как основатель американской маржиналистской школы в конце XIX в., основные положения его теории предельной производительности. Р. Оуэн - один из представителей английского утопического социализма. Социальные мероприятия Р. Оуэна в Нью–Лэнарке.
Be-bop deluxe
Уникальный композитор и гитарист-экспериментатор Билл Нельсон получил широкую известность благодаря своему неортодоксальному подходу к рок-музыке.
Byrds
Обычно этот коллектив ассоциируется у знатоков рок-музыки со стилем "фолк-рок". Но в творческой биографии "Byrds" есть период, когда они исполняли музыку, находящуюся на стыке разных жанров, близкую к тому, что сейчас называется арт-роком.
Dave Clark Five
Все началось с того момента, когда Дэйв Кларк (р. 15 декабря 1942) играл в группе сопровождения певца Стэна Саксона. Компанию ему тогда составляли Крис Веллс и Мик Райан.
Hollies
Одна из наиболее успешных как в художественном, так и в коммерческом отношении британских групп 60-х годов. Группа появилась на свет в 1962 году в Манчестере. Ее основатели, Аллан Кларк и Грэм Нэш познакомились еще будучи в одном клаcсе.
Южные созвездия
Созвездия южных стран не сразу открылись людям. Первые описания, составленные португальскими мореплавателями, носили весьма общий характер, и получить по ним представление о картине южного неба было невозможно.
Гаррик, Дэвид
Введение 1 Биография 2 Репертуар 3 Интересные факты Список литературы Введение Дэвид Гаррик (англ. David Garrick, 19 февраля 1717, Херефорд, Херефордшир — 20 января 1779, Лондон) — английский актер, драматург, директор театра Друри-Лейн.
Предыстория космической радиосвязи
Из многих имен людей, чьими вкладами отмечено начало космической эры, заслуживают быть названными два, связанные с самыми первыми шагами в этом направлении: Карл Джански и Артур Кларк.
Гусев, Андрей Германович
Введение 1 Биография 2 Театральные работы 3 Фильмография Введение Андрей Германович Гусев (род. 1973, Рыбинск) — российский актёр театра и кино. 1. Биография
Кларк, Уильям путешественник
Введение 1 Ранняя карьера 2 Экспедиция Льюиса и Кларка 3 Дальнейшая карьера 4 Семья 5 Увековечение памяти 6 Источники Введение Уи́льям Кла́рк (англ. William Clark, 1 августа 1770 года, округ Каролайн, Виргиния — 1 сентября 1838 года, Сент-Луис) — американский исследователь, один из организаторов экспедиции Льюиса и Кларка, впоследствии второй и последний губернатор территории Миссури.
Экспедиция Льюиса и Кларка
Экспеди́ция Лью́иса и Кла́рка (1803—1806) — первая сухопутная экспедиция через территорию США от атлантического побережья к тихоокеанскому и обратно. Экспедицию возглавили Мериуэзер Льюис и Уильям Кларк. Первоначальная цель экспедиции была весьма скромна — исследовать, что США приобрели в результате покупки Луизианы у Франции, а результаты заложили основу под будущую экспансию США на Дикий Запад.
Югославская война
Стороны Хорватская республика Герцег-Босна Республика Босния и Герцеговина Словения Хорватия НАТО Албанские повстанцы (Армия освобождения Косова, Армия национального освобождения (Македония), Армия освобождения Прешево, Медведжи и Буяновца)
Красные тори
Кра́сный то́ри (англ. Red Tory) в канадской политике — сторонник консерваторов, разделяющий также прогрессивные экономические (или социальные) идеи и поддерживающий принцип государства-покровителя.
Сиддонс, Сара
Введение 1 Биография 2 Признание Введение Сара Сиддонс (англ. Sarah Siddons, собственно Сара Кембл, англ. Sarah Kemble, 5 июля 1755, Брекон, Брекнокшир — 8 июня 1831, Лондон) — британская актриса.
Грисвольд против Коннектикута
Введение 1 Предыстория 1.1 Тайлстон против Ульмана 1.2 Поу против Ульмана 2 Внешние ссылки Грисвольд против Коннектикута Введение Дуглас, присоединились Уоррен, Кларк, Бреннан, Голдберг
Кларк, Сэмюел
Введение 1 Биография и труды 2 Публикации 4 Cссылки Введение Сэмюел Кларк (англ. Samuel Clarke; 11 октября 1675, Норидж, Англия — 17 мая 1729, Лондон) — английский философ и теолог.
Президентские выборы в США 2004
Введение 1 Кандидатуры 1.1 Кандидат от Республиканской партии 1.2 Кандидаты от Демократической партии 2 Результаты Список литературы Введение Выборы президента Соединённых Штатов Америки 2004 прошли 2 ноября 2004 года. Это были 55-ые последовательные выборы президента и вице-президента США на четырёхлетний срок.
Елизавета Йоркская
План Введение 1 Биография Список литературы Введение Елизавета Йоркская (англ. Elizabeth of York; 11 февраля 1466 — 11 февраля 1503) — старшая дочь короля Англии Эдуарда IV и Елизаветы Вудвилл. Супруга Генриха VII. Единственная королева, которая была дочерью, сестрой, племянницей, женой, матерью и бабушкой английских королей.
Сеннар феодальное государство
План Введение 1 История 2 Население 3 Религия 4 Социально-экономическое развитие Введение Сенна́р, Сеннарский султанат, феодальное государство XVI—XIX веков в Северо-Восточной Африке на территории современного Судана.
Кларк, Джордж Роджерс
План Введение 1 Биография 1.1 Юность 1.2 Война за независимость 1.3 Жизнь после войны за независимость Введение Джордж Роджерс Кларк англ. George Rogers Clark, 19 ноября 1752(17521119), Альбемарль (Виргиния) — 13 февраля 1818, Луисвилл) — американский военачальник, герой войны за независимость США.
Бёрк, Эдмунд
План Введение 1 Биография 2 Политические взгляды 3 Сочинения 3.1 Философское исследование о происхождении наших идей возвышенного и прекрасного 4 Публикации на русском языке
Лейтон, Эдмунд
План Введение 1 Биография 2 Темы 3 Список работ Список литературы Введение Эдмунд Блэр Лейтон (англ. Edmund Blair Leighton; 21 сентября, 1853 — 1 сентября, 1922) — английский художник, писавший в стиле романтизма и прерафаэлитизма.
Кин, Эдмунд
План Введение 1 Биография 2 Образ Кина в искусстве 3 Мемуары Введение Эдмунд Кин (англ. Edmund Kean, 17 марта 1787, Лондон — 15 мая 1833, Ричмонд) — английский актёр эпохи романтизма.
Браун, Джерри
Эдмунд Джеральд «Джерри» Браун-младший (англ. Edmund Gerald "Jerry" Brown, Jr., род. 7 апреля 1938) — губернатор штата Калифорния в 1975—1983 годах и c 3 января 2011 года (сменил на этом посту Арнольда Шварценеггера). Генеральный прокурор штата Калифорния в 2007—2010 годах.
Йорки
Йорки (York), английская королевская династия. Титул возник в 1385, когда герцогом Йоркским стал Эдмунд Ленгли. Йорки – младшая линия династии Плантагенетов.
Генрих VI король Англии
Ге́нрих VI (англ. Henry VI, фр. Henri VI; 6 декабря 1421(14211206), Виндзор — 21 или 22 мая 1471, Лондон) — третий и последний король Англии из династии Ланкастеров (с 1422 по 1461 и с 1470 по 1471 годы). Единственный из английских королей, носивших во время Столетней войны и после неё титул «король Франции», кто реально был коронован (1431 год) и царствовал на значительной части Франции.
Маски, Эдмунд
Эдмунд Сикстус Маски (англ. Edmund Sixtus Muskie, 28 марта 1914 — 26 марта 1996) — американский политик-демократ и государственный деятель. Избирался губернатором штата Мэн, сенатором. Занимал пост государственного секретаря США и был кандидатом в вице-президенты США.
Онуфрович-Плосская, Софья Ильинична
Софья Ильинична Онуфрович-Плосская (польск. Maria Zofia Onufrowicz-Płoska, 15 марта 1862, Калинковичи — 2 сентября 1922, Краков) — польская революционерка, деятель I Пролетариата. Сестра Болеслава, Адама и Цезаря Онуфровичей, жена Эдмунда Плосского.
Кларк, Павел Иванович
Павел Иванович Кларк (19 июня (1 июля) 1863, Уфимская губерния — 15 ноября 1935, Москва) — участник российского и австралийского революционных движений, искусствовед.
Ньюэлл, Эдмунд
Э́дмунд Нью́элл (англ. Edmund Newell; 27 июля 1857, Чикаго, Иллинойс, США — 23 декабря 1915, Лондон, Великобритания), более известный как
Лухан, Мануэль
Мануэль Лухан (англ. Manuel Lujan, Jr.; род. 12 мая 1928 года) — американский политик; министр внутренних дел США (в период 3 февраля 1989 года — 20 января 1993 года), член палаты представителей США от Нью-Мексико 1-й (в период 3 января 1969 года — 3 января 1989 года).
Нортон, Гейл Энн
Гейл Энн Нортон (англ. Gale Ann Norton; род. 11 марта 1954 года) — американский политик; министр внутренних дел США (в период 31 января 2001 года — 31 марта 2006 года).
Артур Конан Дойл
Один из классиков криминального детектива. Медик по профессии, работал врачом во время англо-бурской войны. Знание медицины, химии, психологии помогли ему в художественном воплощении тематики, связанной с криминалистикой.