Daniel Mihályi

ORCID iD
https://orcid.org/0000-0003-3402-5735
  • Also known as
  • Show details Hide details
Daniello

Sources:
Daniel Mihályi (2015-03-31)

  • Country
  • Show details Hide details
Slovakia

Sources:
Daniel Mihályi (2016-01-24)

  • Websites
  • Show details Hide details
DCI

Sources:
Daniel Mihályi (2015-03-31)

  • Other IDs
  • Show details Hide details
ResearcherID: D-5356-2015

Sources:
ResearcherID (2015-03-31)

Scopus Author ID: 36172306000

Sources:
Scopus - Elsevier (2015-03-31)

Biography

I am working as a researcher at the Department of Computers and Informatics of the Faculty of Electrical Engineering and Informatics at Technical University of Košice and later as an assistant professor. The main area of my research related to categorical semantics in Type theory, program system security formalisms and non classical logical systems in computer science. In 2015 I am graduated as International Engineering Educator in accordance to accreditation criteria defined by the IGIP organisation. The main area of my pedagogical research includes master elearning, IT4KT and security of web information systems.
  • : , ,

    {{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

Record last modified {{lastModifiedDate}}