ਆਰਤੀ ਗੁਪਤਾ (ਕੰਪਿਊਟਰ ਵਿਗਿਆਨੀ)
ਆਰਤੀ ਗੁਪਤਾ | |
|---|---|
 ਆਰਤੀ ਗੁਪਤਾ FLoC 2006 ਵਿਖੇ | |
| ਪੇਸ਼ਾ | ਕੰਪਿਊਟਰ ਵਿਗਿਆਨੀ |
| ਵਿਦਿਅਕ ਪਿਛੋਕੜ | |
| Education |
|
| ਸੰਸਥਾ | ਪ੍ਰਿੰਸਟਨ ਯੂਨੀਵਰਸਿਟੀ |
ਆਰਤੀ ਗੁਪਤਾ (ਅੰਗ੍ਰੇਜ਼ੀ: Aarti Gupta) ਇੱਕ ਕੰਪਿਊਟਰ ਵਿਗਿਆਨੀ ਹੈ ਜੋ ਰਸਮੀ ਤਰੀਕਿਆਂ, ਇਲੈਕਟ੍ਰਾਨਿਕ ਡਿਜ਼ਾਈਨ ਆਟੋਮੇਸ਼ਨ, ਅਤੇ ਪ੍ਰੋਗਰਾਮਿੰਗ ਭਾਸ਼ਾਵਾਂ ਵਿੱਚ ਕੰਮ ਕਰਦੀ ਹੈ। ਭਾਰਤ ਅਤੇ ਅਮਰੀਕਾ ਵਿੱਚ ਸਿੱਖਿਆ ਪ੍ਰਾਪਤ, ਉਹ ਵਰਤਮਾਨ ਵਿੱਚ ਪ੍ਰਿੰਸਟਨ ਯੂਨੀਵਰਸਿਟੀ ਵਿੱਚ ਕੰਪਿਊਟਰ ਸਾਇੰਸ ਵਿਭਾਗ ਵਿੱਚ ਪ੍ਰੋਫੈਸਰ ਹੈ।
ਸਿੱਖਿਆ ਅਤੇ ਕਰੀਅਰ
[ਸੋਧੋ]ਆਰਤੀ ਗੁਪਤਾ ਨੇ 1994 ਵਿੱਚ ਆਈਆਈਟੀ ਦਿੱਲੀ, ਭਾਰਤ ਤੋਂ ਆਪਣੀ ਅੰਡਰਗ੍ਰੈਜੁਏਟ ਡਿਗਰੀ ਅਤੇ ਕਾਰਨੇਗੀ ਮੇਲਨ ਯੂਨੀਵਰਸਿਟੀ ਤੋਂ ਕੰਪਿਊਟਰ ਸਾਇੰਸ ਵਿੱਚ ਪੀਐਚਡੀ ਪ੍ਰਾਪਤ ਕੀਤੀ।[1] ਬਾਅਦ ਵਿੱਚ ਉਸਨੇ NEC ਲੈਬਾਰਟਰੀਜ਼ ਅਮਰੀਕਾ ਵਿੱਚ C ਅਤੇ C++ ਕੋਡ ਵਿੱਚ ਲਿਖੇ ਵੱਡੇ ਪੱਧਰ ਦੇ ਉਦਯੋਗਿਕ ਕੋਡਬੇਸਾਂ ਦੀ ਸ਼ੁੱਧਤਾ ਦੀ ਪੁਸ਼ਟੀ ਕਰਨ ਲਈ ਟੂਲ ਵਿਕਸਤ ਕਰਨ ਲਈ ਕੰਮ ਕੀਤਾ। ਉਸਦੇ ਅਤੇ ਉਸਦੀ ਟੀਮ ਦੇ ਯਤਨਾਂ ਨੇ ਉਸਨੂੰ 2005 ਦਾ NEC ਤਕਨਾਲੋਜੀ ਵਪਾਰਕਕਰਨ ਪੁਰਸਕਾਰ ਜਿੱਤਿਆ।[1] ਉਹ 2015 ਵਿੱਚ ਪ੍ਰਿੰਸਟਨ ਯੂਨੀਵਰਸਿਟੀ ਦੇ ਕੰਪਿਊਟਰ ਸਾਇੰਸ ਵਿਭਾਗ ਵਿੱਚ ਇੱਕ ਪੂਰੇ ਪ੍ਰੋਫੈਸਰ ਵਜੋਂ ਸ਼ਾਮਲ ਹੋਈ [2] ਉਸਨੇ ਪ੍ਰੋਗਰਾਮ ਸੰਸਲੇਸ਼ਣ, ਸਮਕਾਲੀ ਪ੍ਰੋਗਰਾਮਾਂ ਦੀ ਤਸਦੀਕ, ਹਾਰਡਵੇਅਰ ਅਤੇ ਕੰਪਿਊਟਰ ਨੈੱਟਵਰਕਾਂ ਦੀ ਤਸਦੀਕ ਵਰਗੇ ਵਿਸ਼ਿਆਂ 'ਤੇ ਵਿਆਪਕ ਤੌਰ 'ਤੇ ਪ੍ਰਕਾਸ਼ਿਤ ਕੀਤਾ ਹੈ।
ਸੇਵਾ ਅਤੇ ਪੁਰਸਕਾਰ
[ਸੋਧੋ]- ਏਸੀਐਮ ਫੈਲੋ, 2017[3] "ਸਿਸਟਮ ਵਿਸ਼ਲੇਸ਼ਣ ਅਤੇ ਤਸਦੀਕ ਤਕਨੀਕਾਂ ਵਿੱਚ ਯੋਗਦਾਨ ਅਤੇ ਉਦਯੋਗਿਕ ਅਭਿਆਸ ਵਿੱਚ ਉਹਨਾਂ ਦੇ ਤਬਾਦਲੇ ਲਈ"
- ਸਟੀਅਰਿੰਗ ਕਮੇਟੀ, ਕੰਪਿਊਟਰ ਸਹਾਇਤਾ ਪ੍ਰਾਪਤ ਤਸਦੀਕ ਕਾਨਫਰੰਸ ਦੇ ਮੈਂਬਰ।[4]
- ਸਟੀਅਰਿੰਗ ਕਮੇਟੀ ਦੇ ਪਿਛਲੇ ਮੈਂਬਰ, ਕੰਪਿਊਟਰ-ਏਡਿਡ ਡਿਜ਼ਾਈਨ (FMCAD) ਕਾਨਫਰੰਸ ਵਿੱਚ ਰਸਮੀ ਢੰਗ[5]
- ਸੰਪਾਦਕੀ ਬੋਰਡ ਦੇ ਮੈਂਬਰ, ਸਿਸਟਮ ਡਿਜ਼ਾਈਨ ਵਿੱਚ ਰਸਮੀ ਵਿਧੀਆਂ[6]
- ਸੰਪਾਦਕੀ ਬੋਰਡ ਦੇ ਮੈਂਬਰ, ਏਸੀਐਮ ਟ੍ਰਾਂਜੈਕਸ਼ਨਜ਼ ਆਨ ਡਿਜ਼ਾਈਨ ਆਟੋਮੇਸ਼ਨ ਆਫ਼ ਇਲੈਕਟ੍ਰਾਨਿਕ ਸਿਸਟਮ[1]
ਹਵਾਲੇ
[ਸੋਧੋ]- ↑ 1.0 1.1 1.2 "Aarti Gupta". Computer Science Department at Princeton University. Princeton University. Retrieved 6 July 2023.
- ↑ "Aarti Gupta Joins Computer Science Department from NEC Labs". Princeton University Department of Computer Science. Princeton University. Archived from the original on 21 ਸਤੰਬਰ 2023. Retrieved 6 July 2023.
- ↑ "Aarti Gupta Awards Page". Association for Computing Machinery. Retrieved July 5, 2023.
- ↑ "Computer aided Verification - i-cav.org". Retrieved July 5, 2023.
- ↑ "FMCAD Conference". Retrieved July 5, 2023.
- ↑ "Editorial board". Formal Methods in System Design. SpringerLink. Archived from the original on 15 ਫ਼ਰਵਰੀ 2021. Retrieved 6 July 2023.