Henryk Michalewski
doktor habilitowany | |
Specjalność: uczenie maszynowe | |
Alma Mater | |
---|---|
Doktorat |
2003 – matematyka |
Habilitacja |
2015 – informatyka |
naukowiec, programista | |
Google DeepMind, Uniwersytet Warszawski |
Henryk Michalewski – polski informatyk, doktor habilitowany nauk matematycznych w zakresie informatyki. Specjalizuje się w uczeniu maszynowym. Do habilitacji zajmował się teorią automatów, optymalizacją, logiką, teorią mnogości oraz topologią, a po uzyskaniu habilitacji uczeniem maszynowym. Profesor nadzwyczajny w Instytucie Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego[1][2][3].
Życiorys[edytuj | edytuj kod]
Studia matematyczne ukończył na Uniwersytecie Warszawskim. Stopień doktorski uzyskał w 2003 na podstawie pracy pt. Przestrzenie funkcyjne z topologią zbieżności punktowej, przygotowanej pod kierunkiem prof. Witolda Marciszewskiego[4]. Habilitował się w 2015 na podstawie oceny dorobku naukowego i cyklu publikacji pt. Badanie automatów i powiązanych z nimi logik metodami teorii mnogości[4][5].
Swoje prace publikował w takich czasopismach jak m.in. „Topology and its Applications”, „Fundamenta Mathematicae” oraz na konferencjach takich NeurIPS i ICLR. W 2016 podjąć pracę w deepsense.ai, a następnie w 2019 w Google, od 2023 roku w Google DeepMind po połączeniu Google Brain i DeepMind. W Google DeepMind pracuje nad rozwojem modeli językowych, w tym PaLM i Gemini. Jest współautorem kilku patentów, w tym „Stymulowanie modeli uczenia maszynowego za pomocą łańcuchów myśli".
Przypisy[edytuj | edytuj kod]
- ↑ dr hab. Henryk Michalewski. usosweb.uw.edu.pl. [dostęp 2023-12-17]. (pol.).
- ↑ dr hab. Henryk Michalewski. mimuw.edu.pl. [dostęp 2016-07-14].
- ↑ Henryk Michalewski (strona domowa). mimuw.edu.pl. [dostęp 2023-12-17]. (ang.).
- ↑ a b Dr hab. Henryk Michalewski, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI PIB) [dostęp 2016-08-09] .
- ↑ Postępowanie awansowe - Henryk Michalewski. Centralna Komisja do Spraw Stopni i Tytułów. [dostęp 2016-08-09].