Philippe Schnoebelen

Senior Researcher, CNRS

Director of LSV

I am looking for M2 internship students/Je propose des sujets de stage de M2:
1. Lossy Counter Machines.

Post Embedding Problem: is there some sequence i₁, i₂, ..., i_n such that u_i₁ u_i₂... u_{i_n} is a (scattered) subword of v_i₁ v_i₂... v_{i_n}?

Temporal logic with past is exponentially more expressive.

I am playing with a toy RSS feed.

About LSV

Private Pages
Page maintained by Philippe Schnoebelen.
English
Français

Contact

Philippe Schnoebelen

Address: LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Office: RH-B-003
Phone: +33 (0)1 47 40 75 30
Fax: +33 (0)1 47 40 75 21
Secr.: +33 (0)1 47 40 75 20
E-Mail: phs@lsv.ens-cachan.fr