Michał Moskal

polski informatyk
Michał Moskal

Michał Moskal (ur. 30 stycznia 1981) – polski informatyk.

Absolwent Instytutu Informatyki Uniwersytetu Wrocławskiego. Wychowanek prof. Leszka Pacholskiego.

Twórca hybrydowego języka programowania opartego na platformie .NET, Nemerle. Były członek zespołu tworzącego dystrybucję PLD Linux, współtwórca instalatora dla tej dystrybucji. Również twórca języka Gont, składniowo podobnego do C z polimorfizmem parametrycznym i inferencją typów.

W grudniu 2005 roku rozpoczął pracę nad SAT solverem SMT o nazwie FX7. W grudniu 2009 obronił doktorat w Instytucie Informatyki Uniwersytetu Wrocławskiego. W listopadzie 2010 otrzymał za swoją pracę doktorską nagrodę Prezesa Rady Ministrów.

Został zaproszony do prowadzenia badań w Badawczym Centrum Informatycznym Microsoft Research w Redmond (USA), głównej siedzibie Microsoft.

W sieci posługuje się pseudonimem malekith.

Linki zewnętrzneEdytuj