Strong topological completeness of GL beyond ω
2025, Preprint

The Modal Logic of Forcing and Inner Models (joint work with Juan P. Aguilera and Fernando Barrera)
(in preparation)

On the strong topological completeness of GLP (joint work with Juan P. Aguilera)
(in preparation)

Strong Kripke Completeness of the Closed Fragment of GLP (joint work with Juan P. Aguilera)
AiML 2024 conference paper

Numerical evaluation of integer multiplication algorithms
ITaS 2019 conference paper

Solution of acoustic equations using method of integral equation on GPU
60th MIPT conference paper, 2017











[main page]