Vlastimil Dort

Vlastimil Dort is a researcher affiliated with Charles University, specializing in programming languages and software verification. He has actively contributed to academic conferences like ECOOP, ISSTA, and SPLASH through committee roles and technical paper authorships.

His research focuses on formal methods in programming, particularly around type systems, runtime verification, and language design. This includes work on array indexing safety, reference immutability, and pure methods for the DOT calculus.

He has served in key roles such as Committee Member in Artifact Evaluation and Extended Review Committees at ECOOP, demonstrating engagement in academic governance and peer review processes.