Irina Aleksandrovna Lomazova (), ruska matematičarka in računalnikarka, * 12. avgust 1954.

Lomazova je priznana strokovnjakinja na področju formalne verifikacije programske opreme in profesorica na Oddelku za programsko inženirstvo na Fakulteti za računalništvo Višje ekonomske šole (NIU VŠE), kjer dela od leta 2010, kar je praktično od ustanovitve Oddelka. Tu je od leta 2018 redna profesorica.

Bibliografija

, sprejeto za objavo v reviji Programmirovanie

Sklici

Viri

Zunanje povezave

Kategorija:Ruski matematiki Kategorija:Ruski računalnikarji Kategorija:Ruski univerzitetni učitelji Kategorija:Predavatelji na Državni univerzi v Novosibirsku