Sergei Romanenko
Leading Researcher at Keldysh Institute of Applied Mathematics
Russia
Summary
👤
Senior🎓
Top SchoolSergei Romanenko is a leading researcher with 18+ years of formal experience and a multi-decade career at the Keldysh Institute of Applied Mathematics, specializing in the theory and practice of programming languages, notably Refal and Standard ML. He combines deep academic grounding (MSc in Computer Science from Moscow State University) with practical expertise in compiler development, program optimization, and program specialization. His work spans both foundational research and applied engineering, including long-term roles delivering complex projects in Soviet and post-Soviet computing institutions. Sergei has a rare blend of theoretical fluency and hands-on implementation experience dating back to the 1970s, giving him particular strength in translating language theory into robust toolchains. Based in Russia, he has contributed to software engineering efforts at Integrum Techno and led engineering projects for state publishing computing centers, reflecting adaptability across research and industrial contexts. Colleagues value his methodical approach to language design and optimization, and his career reflects sustained contributions to niche but influential corners of programming-language research.
18 years of coding experience
17 years of employment as a software developer
MSc, Computer Science, MSc, Computer Science at Moscow State UniversityLomonosov Moscow State University
Github Skills (39)
fpga6
arity6
verilog6
hdl5
vhdl5
scala4
python4
theorem3
xilinx3
compile3
theory3
partial3
dfa3
agda3
subset3
Programming languages (3)
Github contributions (5)
sergei-romanenko/agda-Higman-lemma
Jun 2017 - Nov 2024
Contributions:15 pushes in 7 years 6 months
sergei-romanenko/chapman-big-step-normalization
Dec 2015 - Mar 2016
Contributions:40 commits, 5 pushes, 1 branch in 2 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.