Aarti Gupta | |
|---|---|
 Aarti Gupta at FLoC 2006 | |
| Occupation | Computer scientist |
| Academic background | |
| Education |
|
| Academic work | |
| Institutions | Princeton University |
Aarti Gupta is a computer scientist working in formal methods,Electronic Design Automation,and programming languages. Educated in India and the US,she is currently a professor in the Department of Computer Science at Princeton University.
Aarti Gupta received her undergraduate degree from IIT Delhi,India and PhD in Computer Science from Carnegie Mellon University in 1994. [1] She later worked at NEC Laboratories America developing tools for verifying correctness of large-scale industrial codebases written in C and C++ code. [2] The efforts of she and her team won her the 2005 NEC Technology Commercialization Award. [1] She joined the Department of Computer Science at Princeton University as a full professor in 2015. [3] She has published extensively on subjects such as program synthesis,verification of concurrent programs,hardware,and verification of computer networks.
Computer science is the study of computation,information,and automation. Computer science spans theoretical disciplines to applied disciplines.
In computer science,formal methods are mathematically rigorous techniques for the specification,development,analysis,and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that,as in other engineering disciplines,performing appropriate mathematical analysis can contribute to the reliability and robustness of a design.
Brent Hailpern is a computer scientist retired from IBM Research. His research work focused on programming languages,software engineering,and concurrency.
Giovanni De Micheli is a research scientist in electronics and computer science. He is credited for the invention of the Network on a Chip design automation paradigm and for the creation of algorithms and design tools for Electronic Design Automation (EDA). He is Professor and Director of the Integrated Systems laboratory at École Polytechnique Fédérale de Lausanne (EPFL),Switzerland. Previously,he was Professor of Electrical Engineering at Stanford University. He was Director of the Electrical Engineering Institute at EPFL from 2008 to 2019 and program leader of the Swiss Federal Nano-Tera.ch program. He holds a Nuclear Engineer degree,a M.S. and a Ph.D. degree in Electrical Engineering and Computer Science under Alberto Sangiovanni-Vincentelli.
Arvind Mithal known mononymously as Arvind,was an Indian computer scientist,the Johnson Professor of Computer Science and Engineering in the Computer Science and Artificial Intelligence Laboratory (CSAIL) at the Massachusetts Institute of Technology (MIT). He was a Fellow of the Institute of Electrical and Electronics Engineers (IEEE) and the Association for Computing Machinery (ACM). He was also elected as a member into the National Academy of Engineering in 2008 for contributions to dataflow and multithread computing and the development of tools for the high-level synthesis of digital electronics hardware.
Rajeev Alur is an American professor of computer science at the University of Pennsylvania who has made contributions to formal methods,programming languages,and automata theory,including notably the introduction of timed automata and nested words.
Mihalis Yannakakis is professor of computer science at Columbia University. He is noted for his work in computational complexity,databases,and other related fields. He won the Donald E. Knuth Prize in 2005.
Nikil Dutt is a Chancellor's Professor of Computer Science at University of California,Irvine,United States. Professor Dutt's research interests are in embedded systems,electronic design automation,computer architecture,optimizing compilers,system specification techniques,distributed systems,and formal methods.
Marta Zofia Kwiatkowska is a Polish theoretical computer scientist based in the United Kingdom.
Bernhard Steffen is a German computer scientist and professor at the TU Dortmund University,Germany. His research focuses on various facets of formal methods ranging from program analysis and verification,to workflow synthesis,to test-based modeling,and machine learning.
Massoud Pedram is an Iranian American computer engineer noted for his research in green computing,energy storage systems,low-power electronics and design,electronic design automation and quantum computing. In the early 1990s,Pedram pioneered an approach to designing VLSI circuits that considered physical effects during logic synthesis. He named this approach layout-driven logic synthesis,which was subsequently called physical synthesis and incorporated into the standard EDA design flows. Pedram's early work on this subject became a significant prior art reference in a litigation between Synopsys Inc. and Magma Design Automation.
Lori L. Pollock is an American Computer Scientist noted for her research on software analysis and testing,green software engineering and compiler optimization.
Saraju Mohanty is an Indian-American professor of the Department of Computer Science and Engineering,and the director of the Smart Electronic Systems Laboratory,at the University of North Texas in Denton,Texas. Mohanty received a Glorious India Award –Rich and Famous NRIs of America in 2017 for his contributions to the discipline. Mohanty is a researcher in the areas of "smart electronics for smart cities/villages","smart healthcare","application-Specific things for efficient edge computing",and "methodologies for digital and mixed-signal hardware". He has made significant research contributions to security by design (SbD) for electronic systems,hardware-assisted security (HAS) and protection,high-level synthesis of digital signal processing (DSP) hardware,and mixed-signal integrated circuit computer-aided design and electronic design automation. Mohanty has been the editor-in-chief (EiC) of the IEEE Consumer Electronics Magazine during 2016-2021. He has held the Chair of the IEEE Computer Society's Technical Committee on Very Large Scale Integration during 2014-2018. He holds 4 US patents in the areas of his research,and has published 500 research articles and 5 books. He is ranked among top 2% faculty around the world in Computer Science and Engineering discipline as per the standardized citation metric adopted by the Public Library of Science Biology journal.
Rajesh K. Gupta is a computer scientist and engineer,currently the Qualcomm Professor in Embedded Microsystems at University of California,San Diego. His research concerns design and optimization of cyber-physical systems (CPS). He is a Principal Investigator in the NSF MetroInsight project and serves as Associate Director of the Qualcomm Institute. His research contributions include SystemC and SPARK Parallelizing High-level Synthesis. Earlier he led NSF Expeditions on Variability in Microelectronic circuits.
David Lansing Dill is a computer scientist and academic noted for contributions to formal verification,electronic voting security,and computational systems biology.
Andrea Suzanne LaPaugh is an American computer scientist and professor emerita of computer science at Princeton University. Her research has concerned the design and analysis of algorithms,particularly for graph algorithms,problems involving the computer-aided design of VLSI circuits,and document retrieval.
Luca P. Carloni is a professor and chair of the Department of Computer Science at Columbia University in the City of New York.. He has been on the faculty at Columbia since 2004. He is an international expert on electronic computer-aided design.
Sharad Malik is an Indian-American computer scientist working in formal methods,electronic design automation,and computer architecture. He is currently the George Van Ness Lothrop Professor of Engineering in the Electrical and Computer Engineering Department at Princeton University.
{{cite book}}: |journal= ignored (help)| Authority control databases: Academics |
|---|
