Andreas Pavlogiannis

Andreas Pavlogiannis 

Andreas Pavlogiannis
PhD, IST Austria

Assistant Professor
Programming Languages group
Department of Computer Science
Aarhus University

DIGIT Automated Verification and Synthesis

CV, DBLP, Google Scholar

Contact:
lastname@cs.au.dk
Turing-223
IT-parken, Aabogade 34
DK-8200 Aarhus N, Denmark

Research Interests


formal methods, algorithmic verification, automata theory, foundations of model checking, concurrency, static & dynamic program analysis
population dynamics, evolutionary graph theory, evolutionary game theory

I have openings for motivated PhD students in algorithmic verification. Interested applicants are encouraged to contact me with a CV and a short description of interests.

I have openings for internships (flexible). Drop me an email if interested.

Publications