Ինֆորմատիկայի և կիրառական մաթեմատիկայի ֆակուլտետ
Faculty of Informatics and Applied Mathematics
:
>
Svetlana A. Avetisyan

Associate Professor | Chair of Programming and Information Technologies
Education
1969: Diploma in Mathematics, Yerevan State University,
1973 - 1976: Post-Graduate Courses , Computing Center of the Armenian SSR Academy of Sciences,

Academic degree
Candidate of Science (in Mathematics), “On Semantics of Untyped Functional Programs”, 20.09.2005, Institute for Informatics and Automation Problems (National Academy of Sciences of Armenia)..

Professional experience
2010 - present: Docent of Chair of Programming and Information Technologies, Faculty of Informatics and Applied Mathematics, Yerevan State University (YSU)
2006 - 2010: Assistant of Chair of System Programming, Faculty of Informatics and Applied Mathematics, YSU
1992 - 2006: Chief specialist. Yerevan Control Systems Institute Current duties: Project management, LAN an WAN based Information and Control Systems design and programming, System analysis, Database design, Programming for IBM PC compatible.
1987 - 1992: Head of sector of software engineering, Yerevan Scientific Research Institute of Mathematical Machines (YerSRIMM). Information and Control Systems design and programming, Software specification language development, Programming for IBM PC compatible.
1974 - 1987: Senior engineer, principal engineer, YerSRIMM . Database design, Programming for IBM-360 and PDP-11 compatible computers.
1976 - 2006: Assistant of Chair of System Programming, Faculty of Informatics and Applied Mathematics, YSU
1969 - 1973: Engineer, Yerevan State University, Programming for IBM-360 compatible computers.

Academic courses
Modern Operating Systems, UNIX System Programming, C# and the .NET platform, Parallel and Distributed Programming, Java, GUI programming.

Scale of professional interests
Mathematical Models in Biology, Systems Programming, Parallel and Distributed Programming , Functional Programming.

Languages
Armenian, Russiаn, English

avetisian@ysu.am

On Procedural Semantics of Untyped Functional Progrаms
2007 | Article
Proceedings of the International Conference CSIT-07, Yerevan, 2007, p. 60-62
On Interpretation Algorithms of Untyped Functional Programs
2006 | Article
Vestnik RAU, N2 - Yerevan, RAU, 2006, p.77-84 (in Russian)
Semantics of Untyped Functional Programs
2002 | Article
Programming and Computer Software, Vol.28, N3, 2002, p. 119-126
On Fixpoint and Procedural Semantics of Untyped Functional Programming Languages
2001 | Article
Proceedings of the International Conference CSIT-01, Yerevan, 2001, p.121-124
On Solutions of Recursive Equations with Separated Variables in Untyped Lambda Calculus
2001 | Article
Reports, National Academy of Sciences of Armenia, Vol. 101, N1, 2001, p.12-19 (in Russian)