" . "\n"; $head .= "Homepage of Gergely Varró"; $body = ""; $body .= "

VARRÓ, Gergely

" . "\n"; $body .= "" . "\n"; $body .= "
" . "\n"; $body .= "

Personal details

" . "\n"; $body .= "
" . "\n"; $body .= "
Position:" . "\n"; $body .= "
assistant lecturer
" . "\n"; $body .= " Department of Computer Science and Information Theory
" . "\n"; $body .= " Faculty of Electric Engineering and Technical Informatics
" . "\n"; $body .= " Budapest University of Technology and Economics" . "\n"; $body .= "
E-mail: " . "\n"; $body .= " gervarro_AT_cs.bme.hu" . "\n"; $body .= "
WEB page:" . "\n"; $body .= "
Official: http://www.cs.bme.hu/~gervarro" . "\n"; $body .= "
" . "\n"; $body .= "
" . "\n"; $body .= "
" . "\n"; /* $body .= "

Research topics, Interests

" . "\n"; $body .= "
" . "\n"; $body .= "
Transformations:
" . "\n"; $body .= "
automatic model transformations,
" . "\n"; $body .= " graph transformation, visual languages
" . "\n"; $body .= "
Modelling:
" . "\n"; $body .= "
UML,
" . "\n"; $body .= " metamodelling
" . "\n"; $body .= "
Formal verification:
" . "\n"; $body .= "
model checking: " . "\n"; $body .= " " . "\n"; $body .= " SAL (Symbolic Analysis Laboratory) ,
" . "\n"; $body .= " theorem proving: " . "\n"; $body .= " " . "\n"; $body .= " PVS (Prototype Verification System)
" . "\n"; $body .= "
XML:
" . "\n"; $body .= "
DTD and XML Schema based description formats,
" . "\n"; $body .= " XMI (XML Metadata Interchange)
" . "\n"; $body .= "
AI:
" . "\n"; $body .= "
deductive databases
" . "\n"; $body .= " planner algorithms
" . "\n"; $body .= "
" . "\n"; $body .= "
" . "\n"; */ $body .= "

Education (in Hungarian)

" . "\n"; $body .= "" . "\n"; $body .= "
" . "\n"; $body .= "

Publications

" . "\n"; $body .= "

Graph transformation benchmarks

" . "\n"; $body .= "

Curriculum Vitae

" . "\n"; $body .= "" . "\n"; display_page("HTML 4.01",$body,$head); ?>