Uncertainty, Inverse Modeling and Machine Learning

Rustam Zhumagambetov




Curriculum Vitae

2021 - todayPhd in Computer Science
 Technical University Berlin, Germany
2019 to 2021MSc (with honors - top 10%) in Computer Science, GPA: 3.85 out of 4.0
 Nazarbayev University, Astana, Kazakhstan
2015 to 2019BSc (cum laude) in Computer Science, GPA: 3.71 out of 4.0
 Nazarbayev University, Astana, Kazakhstan

Research Projects

2021 - todayTowards standardized quality control for AI systems in critical care
 WG Machine Learning and Uncertainty, Physikalisch-Technische Bundesanstalt, Berlin, Germany
2019 - 2021Towards automated molecular search in drug space
 School of Engineering and Digital Sciences, Nazarbayev University, Astana, Kasakhstan



Cerone, Antonio; Roggenbach, Markus; Davenport, James; Denner, Casey; Farrell, Marie; Haveraaen, Magne; Moller, Faron; Körner, Philipp; Krings, Sebastian; Ölveczky, Peter Csaba; Schlingloff, Bernd-Holger; Shilov, Nikolay; Zhumagambetov, Rustam
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper —
Communications in Computer and Information Science
Seite 1–26
Herausgeber: Springer International Publishing
Zhumagambetov, Rustam
Teaching Formal Methods in Academia: A Systematic Literature Review
Zhumagambetov, Rustam; Molnár, Ferdinand; Peshkov, Vsevolod A.; Fazli, Siamac
Transmol: repurposing a language model for molecular generation
RSC Advances


Zhumagambetov, Rustam; Kazbek, Daniyar; Shakipov, Mansur; Maksut, Daulet; Peshkov, Vsevolod A.; Fazli, Siamac
cheML.io: an online database of ML-generated molecules
RSC Advances


Zhumagambetov, Rustam; Sterling, Mark
Automated Theorem Proving in a Chat Environment
August 2018