Проф. Джеймс Ларус

Джеймс Ларус е професор и бивш декан на Факултета по компютърни и комуникационни науки (IC) в EPFL (École Polytechnique Fédérale de Lausanne). Преди да се присъедини към IC през октомври 2013 г., Ларус е бил изследовател, мениджър и директор в Microsoft Research в продължение на над 16 години, както и асистент и доцент в Катедрата по компютърни науки в Университета на Уисконсин-Медисън.

Ларус е активен участник в множество общности. Той е публикувал над 100 статии (с 9 награди за най-добра и най-влиятелна статия), получил е над 40 американски патента и е участвал в много програмни комитети и панели на NSF, NRC и DARPA. Неговата книга Transactional Memory (Morgan Claypool) излиза през 2007 г. Ларус получава награда Young Investigator на Националната научна фондация през 1993 г. и става член на ACM през 2006 г.

В EPFL Ларус е съосновател на DP3T, която създава приложението за проследяване на контакти SwissCOVID и разработва протокола за запазване на поверителността при проследяване на контакти, използван от рамката Exposure Notification на Apple и Google. Неговата лаборатория Very-Large Scale Computing (VLSC) изучава модели за програмиране за енергонезависима памет (NVM), модели за програмиране за FPGA и ускоряване на биоинформатичните изчисления.

Ларус се присъединява към Microsoft Research през 1998 г., за да започне и ръководи групата Software Productivity Tools (SPT), която разработва и прилага различни иновативни техники за програмен анализ, за да създаде инструменти за откриване на софтуерни дефекти. Новаторските изследвания на тази група в областта на програмния анализ и откриването на софтуерни дефекти са широко признати от изследователската общност и са включени в продукти на Microsoft като Static Driver Verifier, FX/Cop и други инструменти за разработка на софтуер. Ларус става мениджър на изследователска област в MSR за езици за програмиране и инструменти. Той стартира изследователския проект Singularity, който демонстрира, че съвременните езици за програмиране и техниките за софтуерно инженерство могат коренно да подобрят софтуерните архитектури. Впоследствие той помага за създаването на XCG, усилие на MSR за разработване на хардуерна и софтуерна поддръжка за облачни изчисления. В XCG Ларус проектира рамката Orleans за облачно програмиране и допринася за FPGA ускорителя Catapult за търсачката Bing.

Преди да се присъедини към Microsoft, Ларус е асистент и доцент по компютърни науки в Университета на Уисконсин-Медисън. Той е публикувал над 60 научни статии и е съ-ръководител на изследователския проект Wisconsin Wind Tunnel (WWT) с професорите Марк Хил и Дейвид Ууд. WWT е проект, финансиран от DARPA и NSF, който изследва иновативни подходи за симулиране, изграждане и програмиране на паралелни компютри с обща памет. Изследванията на Ларус „обхващат много области: включително нови и ефикасни техники за измерване и записване на поведението на изпълняващите се програми“, инструменти за анализ и манипулиране на компилирани и свързани програми, езици за програмиране за паралелни изчисления, инструменти за проверка на коректността на програмите и техники за компилаторен анализ и оптимизация.

Ларус получава магистърска и докторска степен по компютърни науки от Калифорнийския университет, Бъркли през 1989 г. и AB по приложна математика от Харвардския университет през 1980 г. В Бъркли Ларус разработва една от първите системи за анализ на Lisp програми и определяне как да бъдат изпълнени на паралелен компютър.