Frédéric Prost

Researcher

Lyon College

faculty

8 h-index 64 pubs 243 cited

Research Areas

Model-Driven Software Engineering Techniques Logic, programming, and type systems Semantic Web and Ontologies Formal Methods in Verification Software Testing and Debugging Techniques

Is this your profile? Verify and claim your profile

OverviewAI-generated summary

Dr. Frédéric Prost's research encompasses model-driven software engineering techniques, logic, programming, and type systems. Also of interest are the semantic web and ontologies, formal methods in verification, and software testing and debugging techniques. Prost's current focus is not specified.

Metrics

  • h-index: 8
  • Publications: 64
  • Citations: 243

Selected Publications

  • When AI goes haywire: the case of the skyscraper and the slide trombone (2026) DOI
  • Quand l’IA fait n’importe quoi, le cas du gratte-ciel et du trombone à coulisse (2025) DOI
  • Depuis Garry Kasparov contre Deep Blue, ce que nous apprend l’histoire des échecs sur les risques de l’IA (2024) DOI
  • O que a história do xadrez nos diz sobre os riscos da IA (2024) DOI

Similar Researchers

Based on overlapping research topics

Aditi Barua University of Arkansas at Little Rock
Model-Driven Software Engineering Techniques Logic, programming, and type systems Formal Methods in Verification
Good match 3 shared topics
Albert L. Baker University of Arkansas at Little Rock
Model-Driven Software Engineering Techniques Logic, programming, and type systems Formal Methods in Verification
Good match 3 shared topics
Nicolas Stouls Lyon College
Logic, programming, and type systems Formal Methods in Verification Software Testing and Debugging Techniques
Good match 3 shared topics
D. Barton Arkansas Tech University
Model-Driven Software Engineering Techniques Formal Methods in Verification
Related 2 shared topics
Brent A. Yorgey Hendrix College
Logic, programming, and type systems Formal Methods in Verification
Related 2 shared topics
Michael Lowry University of Arkansas for Medical Sciences
Logic, programming, and type systems Formal Methods in Verification
Related 2 shared topics