Les membres ayant 30 points peuvent parler sur les canaux annonces, projets et hs du chat.
La shoutbox n'est pas chargée par défaut pour des raisons de performances. Cliquez pour charger.

Forum Casio - Discussions


Index du Forum » Discussions » Hein ? De la recherche ? (Ask Me Anything)
Lephenixnoir Hors ligne Administrateur Points: 24649 Défis: 170 Message

Hein ? De la recherche ? (Ask Me Anything)

Posté le 28/09/2022 10:11

Certains d'entre vous savent qu'IRL je fais de la recherche en informatique... j'ai obtenu un master de l'ENS de Lyon (dont le slogan est, je déconne pas, "par la recherche, pour la recherche") il y a quelques années, et là je fais une thèse, ie. un projet de recherche de 3 ans sur un sujet donné.

Je réalise que peut-être il y en a parmi vous qui voudraient savoir ce que c'est l'informatique du point de vue théorique, en quoi ça consiste de faire un travail de recherche, ou comment une thématique qui vous plaît s'étudie "en vrai", pour décider si c'est des domaines qui vous intéressent.

Pour être franc, personne quand j'étais au lycée, ni même vraiment en prépa, ne pouvait m'apporter cet éclairage, donc maintenant que je l'ai (un peu), autant vous en faire profiter.

D'où ce topic style AMA : si vous avez des questions sur le sujet, lâchez-vous, et je ferai de mon mieux pour raconter comment ça marche.

Ce style de topic totalement improvisé est sponsorisé par KikooDX


Dark storm Hors ligne Labélisateur Points: 11641 Défis: 176 Message

Citer : Posté le 28/09/2022 10:57 | #


On parle beaucoup de la recherche en intelligence artificielle, réseaux de neurones, etc. ; mais quels sont les autres champs de recherche actifs en informatique ?
Genre celui dans lequel t'es le plus à l'aise/travaille sur.
Finir est souvent bien plus difficile que commencer. — Jack Beauregard
Lephenixnoir Hors ligne Administrateur Points: 24649 Défis: 170 Message

Citer : Posté le 28/09/2022 11:49 | #


Oui c'est sûr que l'IA c'est tendance ça attire le financement... et effectivement c'est loin d'être le seul domaine : tu as des domaines plus orienté sur les algorithmes (algorithmique, complexité, théorie des graphes...), des choses plus théoriques (cryptographie, sémantique, théorie des catégories...), des sujets plus expérimentaux (systèmes d'exploitation, matériel, sécurité...), et j'en oublie parce que je n'ai même pas une vue d'ensemble complète de l'informatique.

Pour les choses sur lesquelles j'ai travaillé, on peut citer :

- La sémantique, qui s'intéresse à décrire mathématiquement les langages de programmation. Parce qu'un langage dont le fonctionnement est écrit en français ce n'est pas suffisant, ce n'est pas assez précis. On veut une description rigoureuse/mathématique de ce que les programmes font ; une sémantique. Ça permet ensuite de prouver que par exemple des optimisations ne modifient pas le comportement du programme.

- L'analyse statique, qui s'intéresse à étudier des programmes sans les lancer (« statiquement »). Ça permet de découvrir ce qui se passe dans les programmes, et c'est utile à la fois pour optimiser et pour prouver l'absence de certains bugs. La success story classique dans ce domaine c'est quand un analyseur statique français nommé Astrée a prouvé l'absence de bugs dans le contrôleur de vol de l'Airbus A340.

- La sécurité matérielle, à laquelle je touche dans ma thèse. Ici tu regardes comment un attaquant peut compromettre un programme/processeur/système matériel, et ce que tu peux faire pour soit le détecter, soit éviter de fuiter des secrets même quand une attaque se produit, soit l'empêcher entièrement... d'ailleurs mon sujet de thèse plus spécifiquement consiste à étudier comment on peut modifier un compilateur pour qu'il produise du code qui incorpore des défenses contre ces fautes ou attaques.

Ce ne sont que des exemples précis bien sûr, et il y a beaucoup d'autres sujets qu'on pourrait développer.
Mon graphe (11 Avril): ((Rogue Life || HH2) ; PythonExtra ; serial gint ; Boson X ; passe gint 3 ; ...) || (shoutbox v5 ; v5)
Hackcell Hors ligne Maître du Puzzle Points: 1532 Défis: 11 Message

Citer : Posté le 28/09/2022 12:19 | #


Est-ce que les vegan ont le droit d'initialisé leur PRNG avec la seed 0xDEADBEEF ?
Lephenixnoir Hors ligne Administrateur Points: 24649 Défis: 170 Message

Citer : Posté le 28/09/2022 16:28 | #


Seulement si c'est pas eux qui ont écrit l'appel.
Mon graphe (11 Avril): ((Rogue Life || HH2) ; PythonExtra ; serial gint ; Boson X ; passe gint 3 ; ...) || (shoutbox v5 ; v5)
Slyvtt Hors ligne Maître du Puzzle Points: 2408 Défis: 17 Message

Citer : Posté le 28/09/2022 16:45 | #


Je suis perso de formation mécanicien calcul, c’est à dire le calcul de structures par éléments finis et tout le toutim. Il y a beaucoup de développement dans ce domaine aussi (on va appeler ça le calcul scientifique au sens large) qui est à la croisée des chemins entre mathématiques et informatique afin de développer des algos de résolution très poussés et surtout rapides. Aujourd’hui vient s’ajouter la branche informatique matérielle avec des calculs sur GPUs optimisés au lieu des CPUs. Bref ça aussi c’est un domaine de recherche balaise…
There are only 10 types of people in the world: Those who understand binary, and those who don't ...

LienAjouter une imageAjouter une vidéoAjouter un lien vers un profilAjouter du codeCiterAjouter un spoiler(texte affichable/masquable par un clic)Ajouter une barre de progressionItaliqueGrasSoulignéAfficher du texte barréCentréJustifiéPlus petitPlus grandPlus de smileys !
Cliquez pour épingler Cliquez pour détacher Cliquez pour fermer
Alignement de l'image: Redimensionnement de l'image (en pixel):
Afficher la liste des membres
:bow: :cool: :good: :love: ^^
:omg: :fusil: :aie: :argh: :mdr:
:boulet2: :thx: :champ: :whistle: :bounce:
valider
 :)  ;)  :D  :p
 :lol:  8)  :(  :@
 0_0  :oops:  :grr:  :E
 :O  :sry:  :mmm:  :waza:
 :'(  :here:  ^^  >:)

Σ π θ ± α β γ δ Δ σ λ
Veuillez donner la réponse en chiffre
Vous devez activer le Javascript dans votre navigateur pour pouvoir valider ce formulaire.

Si vous n'avez pas volontairement désactivé cette fonctionnalité de votre navigateur, il s'agit probablement d'un bug : contactez l'équipe de Planète Casio.

Planète Casio v4.3 © créé par Neuronix et Muelsaco 2004 - 2024 | Il y a 139 connectés | Nous contacter | Qui sommes-nous ? | Licences et remerciements

Planète Casio est un site communautaire non affilié à Casio. Toute reproduction de Planète Casio, même partielle, est interdite.
Les programmes et autres publications présentes sur Planète Casio restent la propriété de leurs auteurs et peuvent être soumis à des licences ou copyrights.
CASIO est une marque déposée par CASIO Computer Co., Ltd