quelle formation pour faire de l'informatique théorique

[invitef07e911d]

Bonsoir

J'aimerais bien l'avis de mathématiciens (ou d'autre aussi d'ailleurs) sur la question suivante.

Je fais une formation en informatique et j'ai découvert une branche passionnante de l'informatique: l'informatique théorique.

Comme la partie informatique du forum a l'air plus orienté technique, et comme c'est quelque chose qui me semble être des mathématiques pures (à la frontière avec l'informatique) je pense que c'est la bonne section pour en parler.

Depuis que j'ai découvert cette branche je suis sérieusement intéressé à faire de la recherche plus tard dans quelques choses qui serait assez proche. Malheureusement, malgré une formation en math de base (d'un niveau ingénieur), je trouve qu'il me manque beaucoup de notions dès que j'essaie d'étudier ce qui est proche de ça, et j'essaie tant bien que mal de rattraper ces cours de maths fondamentales.

Bref je me demandais si à votre avis il était plus utile de passer par une formation de mathématique pure, pour ensuite se spécialiser avec des cours d'informatiques théoriques, ou si au contraire, malgré le moins bon niveau en math c'est plus intéressant d'avoir une vrai formation d'informatique pour ensuite se lancer dans l'informatique théorique?
-----

[invite4ef352d8]

Je ne sais pas, j'ai vraiment l'impression que l'informatique théorique, c'est un monde à part, et que à la base, ni les maths, ni l'informatique pratique ne permette de vraiment "rentrer dedans" ... bon evidement, il vaut mieux savoir programer sur plusieur languages et avoir des connaissance en mathématique avant de ce lancer... mais je pense que le mieux est encore...de faire de l'informatique théorique !... essai de te renseigner aupres des université qui propose des cursus informatique par exemple, il doit y avoir des choses à paris 9 (si tu es sur paris)... enfin en tous cas ils ont un bon M2 d'info théorique, je sais pas trop ce qu'il y a en Licence et M1.
ca dépend beaucoup de ta formation apres...

[invited3f74a0a]

Salut !

Regarde du côté du MPRI (Master de Recherche Parisien en Informatique) si tu es sur Paris, il est assez difficile d'accès (beaucoup de gens venant de Politech' ENS etc...) mais propose exactement ce dont tu as besoin !

Une petite recherche sur google te donneras plus d'information...

@+

[acx01b]

salut

tous les profs de logique, calculabilité que j'ai eus venaient de paris 7 (j'ai été à paris 8 et paris 6)
faire une thèse là bas me semble être un bon objectif dans un premier temps

[A voir en vidéo sur Futura]

[invitef07e911d]

Merci pour ces informations!

En fait pour moi c'est un peu tard je suis déjà au milieu de mes études, je suis de Suisse, près de Lausanne, et j'étudie l'informatique à l'EPFL. Je suis en fin de 3e et le master c'est déjà prévu que je le continue là bas en informatique. C'est justement là que j'ai découvert l'info théorique.

Par contre ce que j'essaie c'est de bien choisir les cours (j'essaie d'en faire un maximum venant de la section math de l'EPFL) pour être assez bon en mathématique pour pouvoir bien réussir dans cette branche.

Si je veux continuer là dedans, il faudra que je réfléchisse bien où faire un doctorat.

J'ai quand même eu plus ou moins ma réponse, en conclusion c'est pas vraiment mieux de faire math ou informatique comme cursus, chacun à ses avantages? Math permettra d'être plus à l'aise sur certains points et info permet d'avoir peut-etre une meilleur intuition de ce qui peut être calculer et comment (algo).

[invite392a8924]

salut

je veux just ajouter, que les mathématiques et l'informatique sont considérées comme deux sciences complémentaires , l'une complete l'autre, en faisant la théorie en mathématique puis en l'appliquant dans le domaine de l'informatique , on arrive donc à visualiser le but des mathématiques.


merci et bonne chance.

[inviteafa56da9]

Un point de vue d'informaticien... théoricien !

Je ne pourrai pas t'aider sur les formations en Suisse, mais pour celles en France, je connais à peu près.

A Lyon, l'ENS Lyon propose une formation en info théorique, L3, M1 et M2 recherche. A Paris, il y a effectivement le MPRI qui regroupe les deux ENS parisiennes, Polytechnique et Paris 7. Ces deux formations sont les plus adaptées à quelqu'un qui souhaite continuer en info théorique (et elles le sont plus que ne sera une quelconque formation en maths, si bonne soit-elle !). Par contre, c'est vrai que les formations classiques en info risquent de ne pas beaucoup t'intéresser. Je ne suis d'ailleurs pas d'accord avec le fait qu'il faille nécessairement savoir programmer dans plusieurs langages pour faire de l'informatique théorique, je connais un certain nombre de gens ne maîtrisant aucun langage de programmation en info théorique !

Sinon, si tu veux plus de précisions, il faudrait préciser ce que tu apprécies particulièrement en info théorique, pour qu'on puisse t'orienter plus vers des spécialistes de la complexité, de logique, de théorie des langages, etc, etc...

[invitef07e911d]

Alors moi le truc dont je suis fan c'est la calculabilité/décidabilité (fonction récursive/machine de Turing) ainsi que la théorie de la complexité (NP-complétude).

[inviteafa56da9]

Entre les deux formations dont j'ai parlé plus haut (Paris et Lyon), Lyon est plus indiqué pour la complexité. Si je comprends bien, tu veux rester en Master à l'EPFL. Je pense que tu devrais tenter de venir faire un semestre par exemple en Erasmus à l'ENS Lyon, en informatique, où tu pourrais trouver des cours qui t'intéressent.

Si tu as d'autres questions, n'hésite pas. Et pour des questions plus précises sur "comment faire pour faire un Erasmus à Lyon" ou des choses comme ça, tu peux m'envoyer un message privé.

[invitef07e911d]

En fait, pour le Master j'ai déjà un échange Erasmus de prévu aux états-unis, c'est d'ailleurs pour ça que je dois rester inscrit à l'EPFL en Master sinon je ne peux pas faire cet échange.

Par contre si je décide de faire un doctorat après (c'est encore loin quand même), c'est vrai qu'à l'EPFL je ne connais aucun labo ou prof vraiment dans ce domaine (ceux qui font quelque chose de proche me semble faire quelque chose de très appliqué, et moi j'aimerai faire quelque chose de beaucoup plus théorique). Dans ces écoles dont tu parles, y a aussi des possibilités de faire un doctorat dans le domaine?

[inviteafa56da9]

A l'EPFL, l'équipe d'Algo fait des trucs sympas (à mon avis !), mais ce n'est pas exactement de la complexité. En France, il y a de nombreux endroits où se fait de la complexité.

Tu peux jeter un oeil à la page du GDR IM http://www.gdr-im.fr/?q=node/3 qui regroupe des chercheurs en "informatique mathématique", dont une partie fait de la complexité. Le lien que j'ai mis dirige vers les "groupes de travail" dont certains peuvent t'intéresser plus que d'autres (en particulier, le groupe "Complexité et Modèles finis", mais ce n'est pas le seul). En allant regarder sur les pages plus spécifiques de ces groupes de travail, tu auras des noms de chercheurs en France du domaine, tu pourras regarder ce qu'ils font, voir les labos où ils travaillent, etc...

Une liste non exhaustive des labos (et de équipes dans les labos) où les gens s'intéressent à la complexité (donnés sous la forme "Nom du labo, Equipe, lieu") :

- LIP, Equipe MC2, à l'ENS Lyon
- LIF, Equipe Escape, à l'Université de Marseille
- I3S, Equipe MC3, à l'Université de Nice
- LIAFA, plein d'équipes, Université Paris 7
- LRI, plein d'équipes, Université Paris 11
- LIX, équipes à regarder, Ecole Polytechnique
- LORIA, équipe CARTE, Université de Nancy
- GREYC, équipe Algorithmique, Université de Caen
- LIFO, équipe GA, Université d'Orléans
- etc...

J'en ai déjà donné pas mal, il y en a encore sans doute beaucoup d'autres, et peut-être que j'ai oublié des labos très importants (j'ai fait ça de tête...). Ensuite, le domaine de la complexité est (très) vaste, il faut que tu regardes ce qui t'amuses dans les différents labos. Ensuite, n'hésite pas à contacter des chercheurs directement pour leur parler de ce que tu veux faire, ils pourront peut-être t'aiguiller vers telle ou telel personne. Un dernier truc, regarde les propositions de thèse qui sont parfois affichées sur les sites des labos, ça pourra te donner une idée.

[invitef07e911d]

Ok je vais regarder ça.

Merci pour tous ces renseignements.