Natalia Novak's web page
 
Assistant Professor,
Department of Mathematics and Computer Science,
Bronx Community College, CUNY

Office: CP 122
Phone: (718) 289-5100 ext. 3413
E-mail: natalia.novak@bcc.cuny.edu
Education

2001 — 2009
Graduate School and University Center, CUNY

Ph.D. Computer Science
Science Adviser: Distinguished Professor Sergei Artemov
1996 — 2001 Moscow State University
Moscow, Russia

M.Sc. Mathematics

Programming languages
 		 Python, C++, C, Java, HTML, Ocaml, Ruby on Rails, SQL, Basic, Focal
Experience

2010 – present
Bronx Community College, CUNY

Assistant Professor

Teaching Introduction to programming (Python), Object-Oriented Programming(Python), Data Structures (Python and C++), Discrete Mathematics, Pre-Calculus, Calculus I, Statistics and Probability, etc.
summer 2017 Bronx Community College, CUNY
Bronx, NY

Assisted in Java programming workshop by developing exercises for students and providing in-class tutoring. Because Java is the main programming language there, the workshop was aimed at students transferring to Lehman College.
2014 – present Bronx Community College, CUNY

Leading Finch robot programming workshops, Arduino building and programming workshops as well as 3-D printing workshops for students.
2015 – 2016 Bronx Community College, CUNY

Mentored an engineering major student in “ Controlling conditions in a greenhouse” research project using Arduino platform. Provided the programming support for the project.
2014 Bronx Community College, CUNY

Mentored “Sensor run” research project conducted by three students from Bronx Community College at the Center for Sustainable Energy.
2013 – present Bronx Community College, CUNY

One of the four members of the “Web-Assisted MTH05 with Incremental Steps and Progressive Assessments ” Presidential grant, awarded in February 2013; developed and programmed a set of problems for a remedial mathematics class in WeBWorK. Later on, one of the three members of the “Real World Applications for MTH05” presidential grant awarded in January 2014; developed course materials to facilitate real world applications in remedial course, MTH05. Continue support of the repository of problems at WeBWorK since inception.
2007 – 2009 Bronx Community College, CUNY
Bronx, NY

Substitute Lecturer
2005 – 2007 Bronx Community College, CUNY
Bronx, NY

Adjunct
2001 – 2002 Graduate School and University Center, CUNY

Developed web site for Professor Janos Pach, used Ruby on Rails to provide a simple interface for viewing/adding corrections, new problems or solutions to old problems from the book Research Problems in Discrete Geometry, by P. Brass, W. Moser, J. Pach.
2001 – 2006 Graduate School and University Center, CUNY

Developed and supported Computer Science Colloquium Web page.
Publications
Presentations
November 20th,
2015
2015 Sustainable Energy and Design Conference - The Dynamic Trio
Bronx, NY
“ Design,Build and Network Sensors in Urban Environments with Community College Students”
September 8-9,
2014		 9th Workshop on Logical and Semantic Frameworks, with Applications
Brasilia D.F., Brazil
“ Practical extraction of evidence terms from common-knowledge reasoning”
September 14-17,
2004		 Theorem Proving in Higher Order Logics: TPHOLs 2004
Park City, Utah
“ Implementing Calculus of Inductive Constructions in the MetaPRL Framework”
joint work with Yegor Bryukhov
Academic and Professional Honors
2017 – 2018

Women in Technology and Entrepreneurship in New York (WiTNY)
“Increasing student population and gender diversity in Computer Science Program”
2014 – 2015 PSC/CUNY Research Award
“ Autonomous navigation in a dynamically changing environment ”
2011 – 2012 PSC/CUNY Research Award
“ Proof Complexity and Quantitative Epistemology ”