{"@context":["https://www.w3.org/2018/credentials/v1","https://data.deqar.eu/context/v2.jsonld","https://w3id.org/security/suites/jws-2020/v1"],"id":"https://data.deqar.eu/report/131342","type":["VerifiableCredential","DeqarReport"],"issuer":{"id":"did:web:data.deqar.eu","onBehalfOf":{"id":"https://data.deqar.eu/agency/28","type":"EqarRegisteredAgency","acronym":"madri+d","name":"Fundación para el Conocimiento Madrimasd","registrationValidFrom":"2015-06-08T00:00:00Z","registrationExpirationDate":"2030-02-28T00:00:00Z"}},"credentialSubject":{"authorizationClaims":{"accreditationType":"programme","decision":"positive","report":["http://backend.deqar.eu/reports/madri%2Bd/377358_20260212_1135_UCM_INF_VER_IF_3500418.pdf"],"limitQualification":[{"title":"Máster Universitario en Métodos Formales en Ingeniería Informática / Formal Methods in Computer Science por la Universidad Complutense de Madrid y la Universidad Politécnica de Madrid","EQFLevel":"second cycle"}],"accreditationStatus":"part of obligatory EQA system","accreditationActivity":"Validation (ex-ante accreditation) of official degree programmes","id":"https://data.deqar.eu/report/131342#subject=https://data.deqar.eu/institution/5460","limitJurisdiction":["https://data.deqar.eu/country/161"]},"id":"https://data.deqar.eu/institution/5460","type":"DeqarInstitution","name":"Higher School of Computer Engineers","identifiers":[],"legalName":"ETS Ingenieros Informáticos","location":["Spain"]},"credentialSchema":{"id":"https://data.deqar.eu/schema/v1.json","type":"JsonSchemaValidator2018"},"issuanceDate":"2025-01-21T00:00:00Z","validFrom":"2025-01-21T00:00:00Z","expirationDate":"2029-01-21T00:00:00Z","proof":{"type":"JsonWebSignature2020","creator":"did:web:data.deqar.eu","created":"2026-05-09T12:16:23Z","verificationMethod":"did:web:data.deqar.eu","jws":"eyJiNjQiOmZhbHNlLCJjcml0IjpbImI2NCJdLCJhbGciOiJFUzI1NksifQ..42-5VeY57uvurkYu4m451IismcD80W2bbiOrDy3tVMqrobexc3Q0OVIl1PpKxv_Nf9i-KN4Knr5weVcoOT4bLg"}}