IMDEA Software Institute

5 biology research labs · Spain. Click a lab to read or write an anonymous review.

• Fiore Labno reviews yet
  ERC Consolidator Grant: Cryptography for Privacy and Integrity of Computation on Untrusted Machines
• Gotsman Labno reviews yet
  ERC Starting Grant: A Rigorous Approach to Consistency in Cloud Databases
• Guarnieri Labno reviews yet
  ERC Consolidator Grant: Principled Microarchitectural Security with Leakage Contracts
• Nanevski Labno reviews yet
  ERC Consolidator Grant: Type and Proof Structures for Concurrent Software Verification
• Vazou Labno reviews yet
  ERC Starting Grant: Certified Refinement Types