Мартин Вечев (2009)

Мартин Вечев е роден на 24 юли 1977 в гр. София. През 1991-1994 учи в Софийската математическа гимназия, а през 2001 завършва висше образование по математика и информатика в университета Саймън Фрейзър, Канада. През 2007 година защитава докторска степен в университета Кеймбридж, Англия, където работи и като асистент. От 2007 работи в изследователския център на IBM в Ню Йорк. Работата му е свързана c използване и създаване на нови формални методи за синтезиране и доказване на сложни конкурентни алгоритми. Резултати от неговата работа се използват в следващото поколение американски военни кораби. Автор е на 20 международни научни публикации, бил е рецензент на десетки международни конференции и е основател на първата конференция по приложни методи на синтез за конкурентни програми. Носител е на различни стипендии, патенти и награди, в това число и наградата на изследователския център на IBM за изключителни технически постижения.