Programming languages are the interface between people and the machines that carry out computation on their behalf. As such, programming languages are fundemantal tools of computing science.
Therefore, we believe that existing languages should be studied deeply, to understand their applications, design process, and their impact on both the programming ecosystem, as well as the programmers’ way of thinking.
Armed with this knowledge we strive to improve programming languages and develop their ecosystems to be efficient at their tasks, ergonomic, and well-suited to their domains.
We do this using a multi-faceted approach incorporating elements of design, mathematics, experimental science, and engineering.
Join the lab
If you are interested in programming languages and would like to try your hand at programming language research, we encourage you to contact us at firstname.lastname@example.org.
We are constantly looking for smart and ethusiastic people, and may have openings for Bachelor, Master, PhD students, and Post-Doc researchers.
You can find more details regarding interesting project ideas here, or let us know if you have a PL project you would like to work on.
Artem Pelenitsyn co-organizes the 2nd International Workshop on Machine Learning techniques for Programming Languages (co-located with ECOOP).
Julia Belyakova co-organizes the ECOOP and ISSTA Doctoral Symposium 2018.
Jan Vitek and Filip Křikava co-organize Curry On 2018.
Jan Vitek and Filip Křikava co-organized Curry On 2017.
Julia Belyakova and Artem Pelenitsyn co-organized the 1st Russian Conference on Programming Languages and Compilers.
Jan Vitek joins Bioconductor Advisory Board.
We organize the Programming Language Implementation Summer School 2017 in Bertinoro, Italy.
Tomáš Kalibera joins R core team.
Tomáš Kalibera joins R foundation.