Tobias Nipkow - Tobias Nipkow

Tobias Nipkow (narozen 1958) je německý počítačový vědec.

Kariéra

Nipkow přijal jeho Diplom (MSc) v počítačová věda z Ústav výpočetní techniky z Technische Hochschule Darmstadt v roce 1982 a jeho Ph.D. z University of Manchester v roce 1987.

Pracoval v MIT od roku 1987 změněno na Cambridge University v roce 1989 a do Technická univerzita v Mnichově v roce 1992, kde byl jmenován profesorem teorie programování.

Od roku 2011 je předsedou skupiny Logic and Verification.

On je známý pro jeho práci v interaktivní a automatické dokazování teorémů, zejména pro Isabelle proof assistant; je redaktorem Journal of Automated Reasoning. Dále se zaměřuje na sémantiku programovacího jazyka, typové systémy a funkční programování.^[1]

Vybrané publikace

• Martin, U. & Nipkow, T. (1986). "Sjednocení v Boolean Rings". In Jörg H. Siekmann (ed.). Proc. 8. konference o automatizovaném odpočtu. LNCS. 230. Springer. 506–513.
• Tobias Nipkow (1987). Koncepty implementace chování pro nedeterministické datové typy (Disertační práce). Oddělení informatiky. UMCS-87-5-3. University of Manchester.
• Nipkow, T. (1989). "Kombinování odpovídajících algoritmů: Obdélníkový případ". v Nachum Dershowitz (vyd.). Techniky a aplikace přepisování, 3. int. Konf., RTA-89. LNCS. 355. Springer. str. 343–358.
• Tobias Nipkow (1990). „Sjednocení v Primal Algebras, jejich silech a jejich odrůdách“. Deník ACM. 37 (4): 742–776. doi:10.1145/96559.96569.
• Nipkow, T. & Qian, Z. (1991). "Modulární vyššího řádu E-Unification". V knize Ronald V. (ed.). Techniky a aplikace přepisování, 4. int. Konf., RTA-91. LNCS. 488. Springer. 200–214.
• Tobias Nipkow (1991). „Kritické páry vyšších řádů“. Proc. 6. IEEE Symposium on Logic in Computer Science. str. 342–349.
• Nipkow, T. (1995). "Systémy přepisování vyšších řádů (pozvaná přednáška)". V Hsiang, Jieh (ed.). 6. Int. Konf. o technikách a aplikacích přepisování (RTA). LNCS. 914. Springer. str. 256.
• Franz Baader a Tobias Nipkow (1998). Přepisování termínů a tak dále. Cambridge: Cambridge University Press. ISBN  978-0-521-45520-6.
• Nipkow, Tobias, ed. (1998). Techniky a aplikace přepisování, 9. Int. Konf., RTA-98. LNCS. 1379. Springer.
• Nipkow T. a Paulson L. a Wenzel M. (2002). Isabelle / HOL - Proof Assistant for Higher-Order Logic. Springer.
• Gerwin Klein & Tobias Nipkow (2006). „Model ověřený strojem pro jazyk podobný jazyku Java, virtuální stroj a kompilátor“. Transakce ACM v programovacích jazycích a systémech. 28 (4): 619–695. doi:10.1145/1146809.1146811.

Reference

externí odkazy

• Domovská stránka
• Publikace na DBLP
• Tobias Nipkow na Matematický genealogický projekt