Jeanne Ferrante

Last updated
  1. "Ferrante, Jeanne, 1949-". Library of Congress. Retrieved October 2, 2023.
  2. "Class of 1969" (PDF). Hofstra University. May 19, 2019. p. 9. Retrieved October 2, 2023.
  3. "Engineering a Revolution". Voice of San Diego. July 1, 2005. Retrieved October 2, 2023.
  4. "Bio". University of California, San Diego. Retrieved October 2, 2023.
  5. Ferrante, Jeanne; Geiser, James R. (1977). "An efficient decision procedure for the theory of rational order". Theoretical Computer Science . 4 (2): 227–233. doi:10.1016/0304-3975(77)90037-8 . Retrieved October 2, 2023.
  6. Ferrante, Jeanne; Rackoff, Charles (March 1975). "A DECISION PROCEDURE FOR THE FIRST ORDER THEORY OF REAL ADDITION WITH ORDER" (PDF). SIAM Journal on Computing . 4 (1): 69–76. doi:10.1137/0204006 . Retrieved October 2, 2023.
  7. 1 2 "PROGRAMMING LANGUAGES AWARD RECOGNIZES IMPACT OF RENAMING TECHNIQUE IN COMPILERS". University of California, San Diego. June 12, 2006. Retrieved October 2, 2023.
  8. 1 2 3 "Jeanne Ferrante: Active 1994 - 2016; Emeritus 2016 - 2023". University of California, San Diego. Retrieved October 2, 2023.
  9. 1 2 "IEEE ELECTS TWO NEW FELLOWS FROM UC SAN DIEGO ENGINEERING FACULTY". University of California, San Diego. December 14, 2004. Retrieved October 2, 2023.
  10. 1 2 "JACOBS SCHOOL ASSOCIATE DEAN JEANNE FERRANTE RECEIVES 2007 EDUCATOR PINNACLE AWARD". University of California, San Diego. April 20, 2007. Retrieved October 2, 2023.
  11. "UC San Diego Targets Girls' Science Education". Photonics Media. January 17, 2007. Retrieved October 2, 2023.
  12. "OFFICE OF THE SENIOR VICE CHANCELLOR - ACADEMIC AFFAIRS". University of California, San Diego. April 17, 2008. Retrieved October 2, 2023.
  13. "JACOBS SCHOOL OF ENGINEERING RECEIVES THREE DIVERSITY AWARDS". University of California, San Diego. January 19, 2012. Retrieved October 2, 2023.

Jeanne Ferrante publications indexed by Google Scholar

Jeanne Ferrante
Jeanne Ferrante 2023.jpg
Ferrante in 2023
Born (1949-01-03) January 3, 1949 (age 75)
SpouseLarry Carter
Academic background
EducationBA, natural sciences, 1969, Hofstra University
PhD, mathematics, 1974, Massachusetts Institute of Technology
Thesis Some upper and lower bounds on decision procedures in logic