ELTE IK fejléc
Navigációs hivatkozások átugrása
About us
Studies
EIT ICT Labs Master School
International application
Conferences
Research
Contact
Vacancies
 
 
Navigációs hivatkozások átugrása
About us
Departments
History of the University
Dean & Administration
Journal of Annales Univ. Sci. Budapest., Sectio Computatorica
Department of Academic and International Relations
Studies
BSc programmes
MSc programmes
PhD School
Postgraduate specialist training courses
Higher-level vocational training
International Studies of ELTE
5G Edge Computing Programming Assessment
A Novel Toolset of Complex Machine Learning Solutions for segmented and fully distributed computing environments
Vendor neutral data-plane solutions for software-defined networking
Intelligent Test Traffic Generator for Telecommunications Networks
EIT ICT Labs Master School
About
Application & Admission
Service Design and Engineering
Security and Privacy
Contact
International application
Practical information
Preliminary Course
Organizing Partners
Application
Registration
Tuition Fee
Contact
Course
Subjects
CEEPUS
Erasmus Student Mobility
Conferences
TFP 2009 & CEFP 2009
CEFP 2013
DACH 2014
CEFP 2015
Research
Contact
Vacancies
Head of Data Science and Engineering Department
Fundraising & Venture Capital relationship manager covering Central Eastern Europe

Research, international relations

The Faculty has concluded bilateral agreements with numerous universities in the world, which allows the students to study one or two semesters or participate in research projects at a partner institution. Extracurricular undergraduate research activities of the students are supported and supervised by leading scientists of the Faculty. These students present their findings at a conference organized by the Faculty every year. Workshops are also organized with international partners. We also receive guest lecturers from foreign universities.

Our research interest:

  • function approximation, applications of signal processing
    (mobile Electro-Cardio Gram, real-time melody recognition)
  • partial differential equations
    (fluid-flow computations, numerical turbulence closure models) 
  • machine learning
    (reinforcement learning, robotic intelligence, self-organizing
    cooperation) 
  • raster image interpretation, digital map store, GPS applications 
  •  computational number theory
    (Sophie Germain primes, generalised binary systems) 
  •  e-learning methods (telementoring, NETLogo Microwords) 
  • development of verified software components, application the
    B-method, program synthesis 
  • functional languages, static semantic analysis, verication,
    refactoring 
  •  ... and much more

Research at Department of Programming Languages And Compilers department

  • static semantic analysis using compiler technologies 
  • functional programming 
  • language extensions (subtype marks, object abstraction,
    distributed and parallel programming) 
  • verification of software (both imperative and functional) 
  • verification of functional programs
  • compiling specification and correctness proofs to programs 
  • refactoring for functional languages 
  • software metrics (multiparadigm, OO metrics on .NET) 
  • generative programming, C++ template metaprogramming
    (Boost template introspection library) 
  • distributed programming, GRID technologies (adaptive job
    schedulers) 
  • distributed, multi-layered, version controlled, XML-based
    epigraphical text processing for philologists working on
    palimpsests
     
    ELTE IK logoEnglish version
    Contact

    Eötvös Loránd University, Faculty of Informatics
    Pázmány Péter sétány 1/C,
    H-1117 Budapest, Hungary Postal address: P. O. Box 120, H-1518 Budapest, Hungary Phone:  + 36 1 381 2139 (Dean's Office)            
    + 36 1 372-2500  (Operator) Fax:     + 36 1 381 2140
    E-mail: info@inf.elte.hu


    View larger Map