2018-annual-report

More documents

Recommendations

Info

16annual report20cooperationCompanies with which IMDEA Software Cooperated during 2018
Academic Institutions with which IMDEA Software Cooperated during 201817annual report20Other Publicly-Funded Institutions with which IMDEA Software Cooperated during 2018
Page 1 and 2: science and technologyfor developin
Page 3 and 4: any scientific discipline, it is mo
Page 5 and 6: 265416128motivationand goalsmembers
Page 7 and 8: 7annual report2062researchers26PhD
Page 9 and 10: from Cambridge University found tha
Page 11 and 12: 11annual report20ourstructure
Page 13 and 14: ourstructure13annual report20Expert
Page 15: The location of the new IMDEA Softw
Page 19 and 20: Other Industrial Funding and Collab
Page 21 and 22: 21UniversidadComplutenseannual repo
Page 23 and 24: Program Analysisand Verification23O
Page 25 and 26: Securityand Privacy25The ever-incre
Page 27 and 28: Madrid Flight on Chip27The project
Page 29 and 30: Narrowing the Data/Compute Gapwith
Page 31 and 32: 31annual report2017facultymembers16
Page 33 and 34: 33annual report20Manuel Hermenegild
Page 35 and 36: 35annual report20César SánchezAss
Page 37 and 38: 37annual report20Alessandra GorlaAs
Page 39 and 40: postdoctoral39Research InterestsIn
Page 41 and 42: 41annual report20Ignacio FábregasP
Page 43 and 44: 43annual report20Marco GuarnieriPos
Page 45 and 46: research45Research Assistants hold
Page 47 and 48: 47annual report20Raúl AlborodoRese
Page 49 and 50: Intern Period NationalityChana Weil
Page 51 and 52: 51annual report20Javier BenitoBusin
Page 53 and 54: & administration53annual report20Ma
Page 55 and 56: An important source of funding and
Page 57 and 58: 57annual report20HelsinkiStockholmE
Page 59 and 60: EIT Digital Spain staff, during 201
Page 61 and 62: N-GREENSNext-Generation Energy-Effi
Page 63 and 64: NEXTLEAPNEXt Generation Technosocia
Page 65 and 66: AxE JavascriptAuditable E-voting us
Page 67 and 68:
MathadorType and Proof Structures f
Page 69 and 70:
Some companies with which the IMDEA
Page 71 and 72:
fellowships71annual report201. Ram
Page 73 and 74:
MadridFlightOnChipConsortium Madrid
Page 75 and 76:
75annual report20
Page 77 and 78:
8. Andrea Cerone, Alexey Gotsman. A
Page 79 and 80:
34. Konstantin Kuznetsov, Vitalii A
Page 81 and 82:
56. César Sánchez. Online and Off
Page 83 and 84:
gent Theories. 32nd International W
Page 85 and 86:
6. Alexey Gotsman. Tutorial: Consis
Page 87 and 88:
26. Joseph Izraelevitz. Distributed
Page 89 and 90:
16. Antonio Nappa. Researcher, Mins
Page 91 and 92:
John Gallagher:1. Area Editor, Theo
Page 93 and 94:
3.4 Association and OrganizationCom
Page 95 and 96:
4. Abstract Interpretation (Master
Page 97 and 98:
International Day of Womenand Girls
Page 99:
EUROPEAN UNIONEuropean Structural a
show all

2018-annual-report

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?