Irina Kostitsyna
Contact Information | E-mail:  http://www.cs.sunysb.edu/~ikost |
Ph.D. candidate09/2007 — present |
Computer Science Department, State University of New York in Stony Brook, NY |
Master of Science09/2005 — 06/2007 |
Control/Management and Applied Mathematics Department, Moscow Institute of Physics and Technology (State University) Base Institute: Institute for System Programming (Russian Academy of Sciences) Moscow, Russia Awarded a diploma with highest honors — "Red Diploma", GPA 5.0/5.0 Thesis: "Formal Verification Methods of Mobile IPv6 Correspondent Node Application" |
Bachelor of Science09/2001 — 06/2005 |
Control/Management and Applied Mathematics Department, Moscow Institute of Physics and Technology (State University) Base Institute: Institute for System Programming (Russian Academy of Sciences) Moscow, Russia Awarded a diploma with highest honors - "Red Diploma", GPA 4.8/5.0 Thesis: "Correspondent Node Implementation Testing for Conformance to Mobile IPv6 Specification" |
Qualifications
Strong analytical thinking, problem-solving skills, aptitude for fast learning, leadership.
| Interests | Algorithms, computational geometry, graph/networks algorithms |
| Languages | C/C++, Java, SQL, VBA, DHTML |
| Operating Systems | Windows, Linux |
| Certificates | CTesK tester |
Professional Experience
Woring Experience
| 07/2003 — 08/2006 | Analyst, NIX Ltd., Moscow, Russia. Analyzed data, developed test suits, created help-files and tutorials for internal-use software. Created a hardware classification system for parameters comparison and database search. Gained working experience with SQL, T-SQL, VBA, Microsoft Access and Microsoft SQL Server to maintain and improve business applications. |
Research Experience
| 06/2008 — present | Research Assistant, ATM Research Group, Applied Mathematics and Statistics Department, SUNY in Stony Brook, NY, USA. Participating in development of algorithms and software for air traffic management systems. |
| 09/2004 — 06/2007 | Research Assistant, Project on Verification of Security and Mobility in IP, IPv6 Research Group, Institute for System Programming (Russian Academy of Science), Moscow, Russia. Participated in creation of the CTesK test suite for verification of Mobile IPv6 nodes. Formalized the model of Mobile IPv6 nodes, Classified Mobile IPv6 specification. Bachelor and Master theses based on this work. |
Publications
Esther Arkin, George Hart, Joondong Kim, Irina Kostitsyna, Joseph Mitchell, Girishkumar Sabhnani, Steven Skiena. The Emroidery Problem. CCCG'08
Presented Papers
Esther M. Arkin, Irina Kostitsyna, Joseph S.B. Mitchell, Valentin Polishchuk, and Girishkumar R. Sabhnani. The Districting Problem. FWCG'09
Teaching Experience
| 09/2007 — 05/2008 | Teaching Assistant,
Computer Science Department, State University of New York in Stony Brook, NY CSE 220 - Computer Organization CSE 308 - Software Engineering CSE 303 - Introduction to the Theory of Computation |
| 09/2001 — 08/2007 | Mathematics Teacher,
Secondary school #5 with specialization in Mathematics, Physics and Informatics, Dolgoprudny, Moscow region, Russia. Taught Geometry, Algebra, Basic mathematics, Trained students for mathematical competitions. |
Public Activities
| 06/2008 — present |
President of the club Women in Computer Science (ACM-W)
http://www.cs.sunysb.edu/~wics |