News

Projects

• EVEREST
• Computer Vision for Hololens
• TLA Proof System
• Cryptography for the Blockchain
• ML optimized for Cloud Implementation
• Video Understanding
• Medilearn
• Interactive Network Visualization
• Privacy-Friendly Services and Apps
• Z-CloudFlow: Data Workflows in the Cloud
• White-Box Search-Based Software Engineering
• Structured Large Scale Machine Learning
• Information Flows in Online Social Networks
• 4D Cardiac MR Images
• A-Brain
• Scientific Image and Video Mining
• Adaptative Combinatorial Search for E-science
• ReActivity
• Dynamic Dictionary of Mathematical Functions
• Secure Distributed Computations and their Proofs
• Tools for Proofs
• Mathematical Components