Skip to main content

Vince Barany

Personal photo - Vince Barany

Dr Vince Barany

Research Assistant
Former Member


My research interests are centered around computational and algorithmic 

problems in various logics over finitely presentable infinite structures. As 

important tools I am also interested in automata theory, rewriting systems 

and other formalism. My current work is in finite model theory for guarded 

fragments of first-order logic, with areas of applications in data exchange, 

description logics and descriptive complexity. 

Selected Publications

View AllManage publications