Back to Results
First PageMeta Content
Computer science / Logic in computer science / Reasoning / Artificial intelligence / Automated reasoning / Max Planck Institute for Computer Science / Logic programming / International Joint Conference on Automated Reasoning / Federated Logic Conference / Theoretical computer science / Applied mathematics / Automated theorem proving


Curriculum vitæ Miki (Nicolas) HERMANN LIX (CNRS, UMR 7161) ´ Ecole Polytechnique
Add to Reading List

Document Date: 2013-01-20 13:14:01


Open Document

File Size: 90,87 KB

Share Result on Facebook

City

Montevideo / Montreal / Sydney / Tokyo / Bratislava / Phnom Penh / Atlanta / Cambridge / Copenhagen / Nancy / Miami / Orsay / Lyon / Tbilisi / /

Company

Term Rewriting Systems / Microsoft / /

Country

Germany / Uruguay / Cambodia / Sweden / Kazakhstan / Indonesia / France / Japan / Austria / United States / Canada / Australia / Slovakia / United Kingdom / Georgia / Jamaica / Denmark / /

/

Facility

Technical University / Technical University of Vienna / University Denis Diderot Paris / laboratory LORIA / Institute of Socio-Economic Information / University Paris / University of Nancy / laboratory C RIN / University of Link¨oping / laboratory LIX / Computer Science laboratory / Comenius University / University Bordeaux / University Claude Bernard / Middlesex University / University of Caen / University Henri Poincar´e / University Paul Sabatier / University of California / McGill University / University of Paris / /

IndustryTerm

satellite workshop / research / /

NaturalFeature

Miami Beach / Montego Bay / /

Organization

Universit´e de Versailles Saint-Quentin / Centre National / Universit´e de Nantes / Organization of Workshops / Institut National Polytechnique de Lorraine / Institut National Polytechnique de Grenoble / Middlesex University / University of Nancy / French National Research Center / University of Caen / Institut f¨ur Computersprachen / University Henri Poincar / Institute of Socio-Economic Information and Automation of Control / Comenius University / Bratislava / Computer Science Department / University of California in Santa Cruz / Canadian Mathematical Society / North Atlantic Treaty Organization / University of Paris / Mathematics Department / University of Link¨oping / University of Vienna / Ecole Polytechnique / Technical University in Vienna / McGill University / Montreal / /

Person

Supervised Students / Schloß Dagstuhl / Gustav Nordh / Phokion G. Kolaitis / Grant Projet / Michael Rusinowitch / Viorica Sofronie-Stokkermans / Alexander Leitsch / Gernot Salzer / Denis Diderot Paris / Nicolas Peltier / Guillaume Malod / Ulrike Sattler / Ali Amaniss / Georg Gottlob / Olivier Gasquet / Silvio Ghilardi / Laurent Juban / Florian Richoux / HERMANN LIX / Thierry Aim / Vincent Rudelli / Arnaud Durand / Franz Baader / Jean-Philippe Meline / Andrei Voronkov / Ashish Tiwari / Manuel Bodirsky / Julien Demouth / Bruno Zanuttini / Michel de Rougemont / Curriculum vitæ Miki (Nicolas) / /

Position

Research Scientist / Researcher / Head / co-chair program committee / Research Associate / professor / SAP project leader / Co-chair / assistant professor / Temporary associated professor / /

ProgrammingLanguage

Java / /

ProvinceOrState

New Jersey / Quebec / New Brunswick / Florida / California / /

PublishedMedium

Theoretical Computer Science / /

Technology

Functional Programming / Java / /

URL

http /

SocialTag