Concepedia

Georgy Lukyanov

GL

Statistics

Publications

2

Citations

26

H-Index

2

Active since

2019

Affiliations

Newcastle University(Current)

Georgy Lukyanov is an author at Newcastle University specializing in language studies, software engineering, and systems engineering.

ORCID

Top concepts

Publications per year

2019–2022

2

Publications

2

Selective applicative functors

Andrey Mokhov, Georgy Lukyanov, Simon Marlow et al. · Proceedings of the ACM on Programming Languages · 2019 · 14 citations · Full text

, , +21

Verified symbolic execution with Kripke specification monads (and no meta-programming)

Steven Keuchel, Sander Huyghebaert, Georgy Lukyanov et al. · Proceedings of the ACM on Programming Languages · 2022 · 12 citations · Full text

Rows per page

1–2 of 2