ಆರತಿ ಗುಪ್ತಾ (ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನಿ)

ಆರತಿ ಗುಪ್ತಾ
೨೦೦೬ ರ ಎಫ್‌ಎಲ್‌ಒ‌ಸಿ ಯಲ್ಲಿ ಆರತಿ ಗುಪ್ತಾ
ವೃತ್ತಿ	ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನಿ
Academic background
Education	ಐಐಟಿ ಹೆಹಲಿ ಕಾರ್ನೆಗೀ ಮೆಲನ್ ವಿಶ್ವವಿದ್ಯಾಲಯ (ಪಿಎಚ್.ಡಿ., ೧೯೯೪)
Academic work
Institutions	ಪ್ರಿನ್ಸ್‌ಟನ್ ವಿಶ್ವವಿದ್ಯಾಲಯ

ಆರತಿ ಗುಪ್ತಾ ಅವರು ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನಿ. ಇವರು ಔಪಚಾರಿಕ ವಿಧಾನಗಳು (ಫಾರ್ಮಲ್ ಮೆಥಡ್ಸ್), ಎಲೆಕ್ಟ್ರಾನಿಕ್ ವಿನ್ಯಾಸಗಳ ಸ್ವಯಂಚಾಲನೆ (ಎಲೆಕ್ಟ್ರಾನಿಕ್ ಡಿಸೈನ್ ಆಟೋಮೇಷನ್) ಮತ್ತು ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆಗಳಲ್ಲಿ ಕೆಲಸ ಮಾಡುತ್ತಿದ್ದಾರೆ. ಭಾರತ ಮತ್ತು ಅಮೆರಿಕದಲ್ಲಿ ಶಿಕ್ಷಣ ಪಡೆದ ಅವರು ಪ್ರಸ್ತುತ ಪ್ರಿನ್ಸ್‌ಟನ್ ವಿಶ್ವವಿದ್ಯಾಲಯದಲ್ಲಿ ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನ ವಿಭಾಗದಲ್ಲಿ ಪ್ರಾಧ್ಯಾಪಕರಾಗಿದ್ದಾರೆ.

ಶಿಕ್ಷಣ ಮತ್ತು ವೃತ್ತಿಜೀವನ

ಆರತಿ ಗುಪ್ತಾ ಅವರು ೧೯೯೪ ರಲ್ಲಿ ಭಾರತದ ಐಐಟಿ ದೆಹಲಿಯಿಂದ ಪದವಿ ಶಿಕ್ಷಣ ಪಡೆದರು. ಕಾರ್ನೆಗೀ ಮೆಲನ್ ವಿಶ್ವವಿದ್ಯಾಲಯದಿಂದ ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನದಲ್ಲಿ ಪಿಎಚ್‌ಡಿ ಪಡೆದರು. ನಂತರ ಅವರು ಎನ್‌ಇ‌ಸಿ ಲ್ಯಾಬೋರೇಟರೀಸ್ ಅಮೆರಿಕದಲ್ಲಿ C ಮತ್ತು C++ ಕೋಡ್‌ನಲ್ಲಿ ಬರೆಯಲಾದ ದೊಡ್ಡ ಪ್ರಮಾಣದ ಕೈಗಾರಿಕಾ ಕೋಡ್‌ಬೇಸ್‌ಗಳ ನಿಖರತೆಯನ್ನು ಪರಿಶೀಲಿಸಲು ಪರಿಕರಗಳನ್ನು ಅಭಿವೃದ್ಧಿಪಡಿಸುವಲ್ಲಿ ಕೆಲಸ ಮಾಡಿದರು. ಅವರು ಮತ್ತು ಅವರ ತಂಡದ ಪ್ರಯತ್ನಗಳು ಅವರಿಗೆ ೨೦೦೫ ರ ಎನ್‌ಇ‌ಸಿ ತಂತ್ರಜ್ಞಾನ ವಾಣಿಜ್ಯೀಕರಣ ಪ್ರಶಸ್ತಿಯನ್ನು ಗೆದ್ದುಕೊಟ್ಟವು. ಅವರು ೨೦೧೫ ರಲ್ಲಿ ಪ್ರಿನ್ಸ್‌ಟನ್ ವಿಶ್ವವಿದ್ಯಾಲಯದ ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನ ವಿಭಾಗಕ್ಕೆ ಪೂರ್ಣ ಪ್ರಾಧ್ಯಾಪಕರಾಗಿ ಸೇರಿದರು. ಅವರು ಪ್ರೋಗ್ರಾಂ ಸಂಶ್ಲೇಷಣೆ, ಸಮಕಾಲೀನ ಕಾರ್ಯಕ್ರಮಗಳ ಪರಿಶೀಲನೆ, ಹಾರ್ಡ್‌ವೇರ್ ಮತ್ತು ಕಂಪ್ಯೂಟರ್ ನೆಟ್‌ವರ್ಕ್‌ಗಳ ಪರಿಶೀಲನೆಯಂತಹ ವಿಷಯಗಳ ಕುರಿತು ಲೇಖನಗಳನ್ನು ಪ್ರಕಟಿಸಿದ್ದಾರೆ.

ಕೆಲಸ ಮತ್ತು ಪುರಸ್ಕಾರ

• "ಸಿಸ್ಟಮ್ ವಿಶ್ಲೇಷಣೆ ಮತ್ತು ಪರಿಶೀಲನಾ ತಂತ್ರಗಳಿಗೆ ನೀಡಿದ ಕೊಡುಗೆಗಳಿಗಾಗಿ ಮತ್ತು ಕೈಗಾರಿಕಾ ಅಭ್ಯಾಸಕ್ಕೆ ಅವುಗಳ ವರ್ಗಾವಣೆಗಾಗಿ" ೨೦೧೭ ರಲ್ಲಿ ಎಸಿಎಂ ಫೆಲೋ ಸ್ಥಾನ.
• ಕಂಪ್ಯೂಟರ್ ಏಡೆಡ್ ವೆರಿಫಿಕೇಷನ್ ಕಾನ್ಫರೆನ್ಸ್‌ನಲ್ಲಿ ಸ್ಟೀರಿಂಗ್ ಸಮಿತಿಯ ಸದಸ್ಯರು.
• ಕಂಪ್ಯೂಟರ್-ಏಡೆಡ್ ಡಿಸೈನ್ನಲ್ಲಿ ಫಾರ್ಮಲ್ ಮೆಥಡ್ಸ್ (ಎಫ್ಎಂಸಿಎಡಿ) ಕಾನ್ಫರೆನ್ಸ್‌ನಲ್ಲಿ ಸ್ಟೀರಿಂಗ್ ಸಮಿತಿಯ ಮಾಜಿ ಸದಸ್ಯರು.
• ಸಿಸ್ಟಮ್ ವಿನ್ಯಾಸದಲ್ಲಿ ಔಪಚಾರಿಕ ವಿಧಾನಗಳಲ್ಲಿ, ಸಂಪಾದಕೀಯ ಮಂಡಳಿಯ ಸದಸ್ಯರು.
• ಎಲೆಕ್ಟ್ರಾನಿಕ್ ಸಿಸ್ಟಮ್ಸ್ನ ಡಿಸೈನ್ ಆಟೊಮೇಷನ್‌ನಲ್ಲಿ ಎಸಿಎಂ ವಹಿವಾಟುಗಳ ಸಂಪಾದಕೀಯ ಮಂಡಳಿಯ ಸದಸ್ಯರು.