About





Prof. Aleksander Letichevsky

Head of Department of Glushkov Institute of Cybernetics National Academy of Sciences of Ukraine, Member of the National Academy of Sciences of Ukraine.

 

Graduated from Kiev State University in 1957, PhD 1963, Professor 1971. Corresponding member (1990), Member (2009) of the National Academy of Sciences of Ukraine.

 

Worked on different branches of Computer Science including automata and languages, artificial intelligence, parallel computations, computer algebra and computer logic. Took part in many industrial projects in the Former Soviet Union (computers MIR with hardware support for high level languages (60th), multiprocessor supercomputer with distributed memory (80th) etc.).

 

Current interests include algebraic programming, theory of interaction, insertion modeling, automated proof systems, automated verification, artificial intelligence.

 

Leading specialist of ISS company Information Software Systems in Kiev . The company developed VRS system (Verification of requirement specifications) for Motorola and now works on verification with company UniqueSoft.

 

Under his leadership the APS and IMS systems has been developed www.apsystem.org.ua.