Project topics materials

computational higher-order logics

Algebraic Complexity and duality 

Abstract Interpretation of Numerical Properties 

Representation of preferences and individual welfare

Assimilation of ground versus lidar observations for PM10 forecasting 

Concurrent Constraint Programming (CCP)

Aggregate productivity growth and the allocation of resources over the business cycle 

Studies of the HAVEGE Random Number Generator 

Magnetism and ferromagnetic materials

Interaction plasma-surface : Simulations atomistiques 

Multivariate Leakages and Multiple Models 

The CMOS Silicon On Insulator Technology

Graph Degeneracy based Neural Network Initialization 

Extending the Lower Bounds to All Functions Having Not Excessively Many Global Optima

In Situ Calibration Algorithms for Environmental Sensor Networks 

Privacy protection mechanisms design via machine learning 

Functorialization of a maximal variable in a ps-context

Housing benefits and monetary incentives to work: Simulations for France

Blossoming bijection and parametric rationality on any surface 

The Classical List Decoding Framework for Finite Rings 

Pure Type System in Natural Deduction