Le programme doctoral LogiCS est un programme de doctorat financé par le Fonds scientifique autrichien (FWF) et géré conjointement par les trois universités autrichiennes; le TU Wien (Université de Technologie de Vienne), Université technique de Graz et l’ Université Johannes Kepler de Linz . Ce programme s’adresse aux étudiants très motivés qui souhaitent travailler dans le domaine des méthodes logiques en informatique.

Pourquoi étudier les méthodes logiques en informatique?

LogiCS propose un programme international caractérisé par la combinaison unique de disciplines où les méthodes logiques ont un impact décisif sur l’informatique pratique.

Bien que bon nombre des questions fondamentales de l’informatique soient maintenant bien comprises, son rôle dans la science, la technologie et la vie quotidienne entraîne de nouveaux défis et de grandes questions de recherche ouvertes qui nécessitent des ordinateurs pour effectuer des tâches de raisonnement non triviales .

La logique joue un rôle clé dans cette phase évolutive de l’informatique, similaire au rôle du calcul dans le développement de la physique et de l’ingénierie,

La logique est un puissant outil de raisonnement. Inventé à l’origine comme une aide à l’argumentation solide, il a atteint sa maturité sous forme de logique mathématique et de philosophie analytique au début du XXe siècle, avec des contributions importantes de Vienne.

Nous continuons cette tradition, en utilisant la logique comme un outil qui permet aux programmes informatiques de raisonner sur le monde. Ces tâches de raisonnement permettent une classification naturelle en deux grands domaines: nous pouvons utiliser la logique pour raisonner sur le monde extérieur , ainsi que pour raisonner sur les programmes informatiques eux-mêmes. Cela se reflète dans nos trois principaux domaines de recherche:

  • Dans les bases de données et l’intelligence artificielle , nous utilisons la logique pour modéliser, stocker, analyser et prévoir des informations sur le monde extérieur, y compris Internet, différents types de sources de données, les mégadonnées et les sources de connaissances spécifiques au domaine.
  • Dans la vérification , nous utilisons la logique qui est utilisée pour modéliser et analyser le comportement des programmes informatiques, en garantissant leur exactitude, des programmes simples aux conceptions logicielles et matérielles complexes.
  • Les questions logiques et algorithmiques qui sous-tendent les deux domaines d’application sont étudiées dans le domaine de la logique informatique .

Nous visons à développer de nouvelles méthodes logiques dans ces domaines et à les appliquer à la résolution de problèmes dans des domaines émergents comme la sécurité et la confidentialité , les systèmes cyberphysiques et les systèmes distribués .

L’équipe de medjouel.com vous informe que Vous pouvez en savoir plus sur les domaines qui constituent le programme ici .

Pourquoi rejoindre le programme LogiCS en Autriche?

Vienne a une histoire de premier plan en mathématiques, en informatique et en recherche logique ( Kurt Gödel , Vienna Circle ,…). De plus, il a été classé à plusieurs reprises numéro 1 dans le Mercer Quality of Living Survey .

La faculté LogiCS comprend 15 chercheurs renommés avec de solides antécédents en recherche, en enseignement et en conseil, complétés par 15 membres associés  qui renforcent davantage les activités de recherche et d’enseignement du collège, ainsi que des professeurs invités et des invités fréquents .

Le programme est complété par des initiatives de recherche participative de notre faculté telles que le  réseau national autrichien de recherche sur l’ingénierie des systèmes rigoureux  (ARiSE) financé par le Fonds scientifique autrichien, le  Vienna Center for Logic and Algorithms  (VCLA).

Quels sujets puis-je découvrir dans le programme LogiCS?

Le programme LogiCS comprend trois domaines principaux. Vous en apprendrez davantage sur chacun d’entre eux et effectuerez des recherches sur des sujets interdisciplinaires spécialisés en leur sein:

  • La logique de calcul couvre les fondements théoriques et mathématiques, qui sont une condition préalable pour que la logique soit l’outil puissant que nous déployons dans les domaines d’application. Nous nous concentrons ici sur la théorie de la preuve (élimination des coupes, exploration de preuves, correspondance Curry-Howard, interpolants), déduction automatisée (résolution, réfutation, démonstration de théorèmes), les logiques non classiques (logiques sous-structurelles, logiques à valeurs multiples, raisonnement juridique, logiques déontiques , logique modale et temporelle), la complexité de calcul (analyse de complexité, complexité paramétrée, méthodes de décomposition) et la satisfaction des contraintes (SAT, QSAT, CSP).
  • La vérification utilise la logique pour modéliser, analyser et construire des programmes informatiques. Ce domaine concerne les méthodes logiques et les outils automatisés pour raisonner sur le comportement et l’exactitude des systèmes complexes basés sur l’état, tels que les conceptions logicielles et matérielles ainsi que les systèmes hybrides. Cela va de la vérification de modèles, de l’analyse et de l’abstraction de programmes à de nouveaux domaines interdisciplinaires tels que la localisation de défauts, la réparation de programmes, la synthèse de programmes et l’analyse de systèmes biologiques.
  • Les bases de données et l’intelligence artificielle utilisent la logique pour modéliser, stocker, analyser et prévoir des informations sur le monde extérieur, par exemple les mégadonnées, Internet et les sources de connaissances spécifiques au domaine. Nous étudions ici un grand nombre de sujets, y compris les langages de requête basés sur des concepts logiques (tels que Datalog, des variantes de SQL, XML et SPARQL), de nouvelles méthodes théoriques de base de données (comme les mappages de schémas, l’extraction et l’intégration d’informations, l’interrogation d’ontologies), programmation logique, représentation et raisonnement des connaissances (ontologies, programmation par ensemble de réponses, changement de croyance, systèmes multi-contextes, gestion des incohérences, argumentation, planification, raisonnement préférentiel).

Nous nous concentrons particulièrement sur la conception de méthodes logiques dans des domaines d’application émergents. En particulier, vous aurez l’occasion d’appliquer la logique pour résoudre des problèmes difficiles dans les domaines suivants:

  • Sécurité et confidentialité: Les failles et vulnérabilités de sécurité affectent pratiquement toutes les infrastructures informatiques, et leurs conséquences dévastatrices touchent chaque utilisateur d’Internet, comme en témoignent les récentes vulnérabilités de haut niveau dans TLS, les applications mobiles, les puces Intel ou les contrats Ethereum. La logique est un outil essentiel pour modéliser rigoureusement la sémantique des systèmes complexes, qui peuvent être déterministes ou probabilistes, et pour spécifier les propriétés de sécurité attendues (par exemple, en termes de sécurité, de vivacité ou d’hyper-propriétés). En outre, il constitue le fondement de l’analyse formelle de la sécurité (par exemple, les systèmes de types et l’interprétation des abstractions), de la surveillance (par exemple, la multiexécution sécurisée) et des techniques de synthèse (par exemple, la compilation sécurisée).
  • Systèmes cyberphysiques: Les systèmes cyberphysiques sont des systèmes d’ingénierie, physiques et biologiques dont les opérations sont intégrées, surveillées et / ou contrôlées par un noyau informatique. Le comportement de CPS est une hybridation entièrement intégrée de l’action computationnelle (logique) et physique. La recherche liée à ce domaine d’application comprend l’analyse formelle des systèmes hybrides, la vérification des modèles symboliques et stochastiques, les langages de spécification basés sur la logique pour les comportements émergents spatio-temporels, la synthèse des paramètres, l’exploration des exigences, l’attaque contradictoire des composants logiciels d’apprentissage automatique, la vérification de l’exécution pour les propriétés de sûreté et de sécurité, et la synthèse de contrôleurs robustes.
  • Systèmes distribués: Les systèmes distribués sont omniprésents de nos jours: outre les instances traditionnelles comme les fermes de serveurs et les réseaux locaux, ils constituent l’épine dorsale de divers domaines émergents, tels que les circuits numériques intégrés à très grande échelle (VLSI), qui peuvent être considérés comme de très grands systèmes distribués mis en œuvre sur un seul morceau de silicium, et l’Internet des objets. Étant donné que bon nombre de ces applications sont essentielles à la sécurité, que les défaillances matérielles doivent être considérées comme faisant partie du fonctionnement normal et que les contraintes sévères en matière de ressources et d’énergie sont souvent inévitables, les méthodes de conception et d’analyse basées sur la logique sont essentielles pour établir la vision des systèmes de bâtiment qui sont corrects par construction. Recherche dans des domaines tels que la vérification assistée par ordinateur, la conception basée sur des modèles et, finalement,

Pour plus d’informations, veuillez consulter Admission .