Ákos Hajdu

ORCID iD
https://orcid.org/0000-0001-8001-8865
  • Websites
  • Show details Hide details
Home page

Sources:
Ákos Hajdu (2016-02-12)

  • Other IDs
  • Show details Hide details
ResearcherID: C-3742-2016

Sources:
ResearcherID (2016-02-12)

Biography

Ákos Hajdu is a PhD student at the Budapest University of Technology and Economics. His main research field is formal verification with the primary focus on abstraction-based model checking techniques. He made an 8-week visit to McGill University of Canada, did a summer internship at CERN and also participated in the Huawei Seeds for the Future programme. He was awarded with the National Scholarship for Young Talents 2016 of the National Talent Programme.
  • : , ,

    {{group.getActive().startDate.year}}-{{group.getActive().startDate.month}}-{{group.getActive().startDate.day}} to present {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} |  ()
    • Show Details Hide Details
    Organization identifiers
    {{group.getActive().orgDisambiguatedName}}: {{group.getActive().orgDisambiguatedCity}}, {{group.getActive().orgDisambiguatedRegion}}, {{group.getActive().orgDisambiguatedCountry}}
    Other organization identifiers provided by {{group.getActive().disambiguationSource.value}}
    • {{orgDisambiguatedExternalIdentifier.identifierType}}: {{orgDisambiguatedExternalIdentifier.preferred}} (preferred), {{orgDisambiguatedExternalIdentifierAll}}{{$last ? '' : ', '}}
    Created
    Source: {{(group.getActive().sourceName == null || group.getActive().sourceName == '') ? group.getActive().source : group.getActive().sourceName}}
No education added yet
  • : , ,

    {{group.getActive().startDate.year}}-{{group.getActive().startDate.month}}-{{group.getActive().startDate.day}} to present {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} |  ()
    • Show Details Hide Details
    Organization identifiers
    {{group.getActive().orgDisambiguatedName}}: {{group.getActive().orgDisambiguatedCity}}, {{group.getActive().orgDisambiguatedRegion}}, {{group.getActive().orgDisambiguatedCountry}}
    Other organization identifiers provided by {{group.getActive().disambiguationSource.value}}
    • {{orgDisambiguatedExternalIdentifier.identifierType}}: {{orgDisambiguatedExternalIdentifier.preferred}} (preferred), {{orgDisambiguatedExternalIdentifierAll}}{{$last ? '' : ', '}}
    Created
    Source: {{(group.getActive().sourceName == null || group.getActive().sourceName == '') ? group.getActive().source : group.getActive().sourceName}}
No employment added yet
No publications added yet