Jean-Yves Moyen
Copenhagen, Capital Region of Denmark, Denmark
329 followers
323 connections
About
Former Associate Professor in Paris and Copenhagen, now Principal Software Developer at…
Activity
-
We are happy to welcome Jan Červený to the team! 🤝 🇨🇿 Jan is joining as Fullstack Engineer #greatpeople #insurance #insurtech #welcome
We are happy to welcome Jan Červený to the team! 🤝 🇨🇿 Jan is joining as Fullstack Engineer #greatpeople #insurance #insurtech #welcome
Liked by Jean-Yves Moyen
-
Success!! I have finally landed my new job :-) On Monday, June 8th, I am starting as an Agile Coach at Udviklings- og Forenklingsstyrelsen (The Board…
Success!! I have finally landed my new job :-) On Monday, June 8th, I am starting as an Agile Coach at Udviklings- og Forenklingsstyrelsen (The Board…
Liked by Jean-Yves Moyen
Experience
Education
Volunteer Experience
Publications
-
On Quasi-Interpretations, Blind Abstractions and Implicit Complexiety
Cambridge University Press -- Mathematical Structures in Computer Science
How can we and should we compare ICC systems? Blind Abstraction is a step forward to answer these questions.
Other authors -
-
Quasi-Interpretations: A way to control resources
Elsevier -- Theoretical Computer Science
-
Resource Control Graphs
ACM Transactions on Computational Logic
Descsribes Resource Control Graphs, a tool based on Control Flow Graphs which allows to express several program analysis in an unified setting.
-
Quasi-Interpretations and Small Space Bounds
Springer -- Conference on Term Rewriting and Applications
-
PhD thesis -- Analyse de la complexité et transformation de programmes
Université Nancy 2
PhD thesis.
-
On Lexicographic Termination Ordering with Space Bound Certification
Springer -- Conference on Perspectives of Systems Informatics
Use of Quasi-Interpretation and Lexicographic termination ordering to bound the space usage of Term Rewriting Systems.
Other authors -
-
Efficient First Order Functional Program Interpreter with Time Bound Certifications
Springer -- Logic for Programming and Automated Reasonning
Introduces the notion of Quasi-Interpretation and shows how it can be combined with Termination Ordering to bound the complexity of Term Rewriting Systems.
Other authors -
Languages
-
French
Native or bilingual proficiency
-
English
Full professional proficiency
-
Danish
Limited working proficiency
Other similar profiles
Explore collaborative articles
We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.
Explore More