2018-annual-report

More documents

Recommendations

Info

98annual report20Future of Banking and AI(June 22, 2018, El Español digital newspaper)The director of the IMDEA Software Instituteparticipated in a high-level meeting withseveral experts, namely Miquel Moya(Google), Javier Gonzalez Domínguez (DigitalInnovation and Big Data, Evo Banco),Rodrigo Miranda (ISDI), Javier Iglesias(Salesforce Iberia), and Giorgio Semenzato(Finizens), to exchange their opinions onthe solutions that AI can bring to bankingand the challenges that this adoption canbring about.News articleThe Spanish digital newspaper, El Español, published an article after themeeting where they summarize the most important issues the speakerstalked about. (https://www.elespanol.com/economia/empresas/20180621/objetivo-banca-integrada-vida-personas/316719015_0.html)VideoThe meeting was also recorded and published on the platform dailymotion.(https://www.dailymotion.com/video/x6mh04x)Computer Science Podcasts(September 21, 2018, 1BIT OF MEMORY)Manuel Carro, director of the IMDEA Software Institute, contributed to the Spanish podcast “1BIT dememoria”, focused on the life and achievements of great computer scientists, specifically Turing awardrecipients. On this occasion, the podcast focused on Leslie Lamport, widely known for his contributionsto concurrent and distributed systems, verification, and for being the creator of LaTeX, one of the systemsfor document preparation most widely used in scientific and technical environments.
EUROPEAN UNIONEuropean Structural and Investment Fundannual report20w w w . s o f t w a r e . i m d e a . o r gimdea software instituteContactsoftware@imdea.orgtel. +34 91 101 22 02fax +34 91 101 13 58Campus de Montegancedo28223 Pozuelo de AlarcónMadrid, Spain
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 and 16:
The location of the new IMDEA Softw
Page 17 and 18:
Academic Institutions with which IM
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: International Day of Womenand Girls
show all

2018-annual-report

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

Delete template?

Save as template?