Jill Zimmerman

Last updated

Jill Zimmerman
Born
Jill Loraine Zimmerman
Alma mater
Spouse
James Gil de Lamadrid
​
​
(m. 1985)​
[1]
Scientific career
Fields
Institutions Goucher College
Thesis Classes of Grzegorczyk-computable real numbers  (1990)
Doctoral advisor Marian Pour-El

Jill Loraine Zimmerman is an American computer scientist and the James M. Beall Professor of Mathematics and Computer Science at Goucher College. Since 2006, she has been the head of the Goucher Robotics Lab.

Contents

Early life and education

Zimmerman is from Naperville, Illinois. [2] While in high school in 1975, Zimmerman and her father built a computer with four kilobytes of memory after being inspired by the January cover story of Popular Mechanics by Ed Roberts on building your own computers. Zimmerman later remarked that it was this same article that inspired Bill Gates. [3] [4] [5]

In 1981, Zimmerman earned a Bachelor of Science with distinction in Computer and Informational Sciences with a minor in Mathematics from Purdue University. [2] At graduation, she ranked among the top ten students in the School of Science and was a member of Phi Beta Kappa and Phi Kappa Phi. Upon enrolling in doctoral studies at the University of Minnesota Institute of Technology, Zimmerman was named a Corporate Associate Fellow. [6] In 1990, she earned a doctorate in computer science, specializing in computational and recursion theory. [7] Zimmerman completed her dissertation titled Classes of Grzegorczyk-Computable Real Numbers under her doctoral advisor Marian Pour-El. [2]

Career

Zimmerman joined the faculty at Goucher College in 1990 [3] as a visiting professor. [8] She was the principal investigator for the "Computer Science, Mathematics, and Engineering Scholarship Program" where she received $220,000 from the National Science Foundation to be conducted between January 2002 – December 2005. [9]

Zimmerman's research in computer science spans programming languages, compiler design, and robotics, with notable collaboration with Gil de Lamadrid. [8] Beginning in the early 1990s, Zimmerman and de Lamadrid focused on robotics pathfinding, co-authoring two papers in Robotica in 1993 titled "Avoidance of Obstacles with Unknown Trajectories: Locally Optimal Paths and Path Complexity, Parts I and II." This work examined methods for navigating robots around unpredictable obstacles, contributing to early research on path complexity and optimization in robotics. [8]

Zimmerman's interests later evolved toward programming languages, especially hybrid functional-object-oriented systems. [8] In 2000, she and de Lamadrid developed the IncH Hope compiler, a compiler for the functional language Hope designed for the Java Virtual Machine, which they presented at the International Workshop on the Implementation of Functional Languages in Aachen. [8] They continued this work over several years, presenting updates at various conferences, including the International Conference on Programming Languages and Compilers in 2006 and the International Conference on Engineering and Mathematics in Bilbao in 2007. [8]

Zimmerman has run the Goucher Robotics Lab since 2006. [3] She is the James M. Beall Professor of Mathematics and Computer Science at Goucher College. [8] In 2011, Zimmerman and de Lamadrid introduced FOBS, a hybrid language combining functional and object-oriented paradigms. [8] They presented their findings at the International Conference on Software Engineering and Real Practices, later publishing the comprehensive study "Core FOBS: A Hybrid Functional and Object-Oriented Language" in Computer Languages, Systems & Structures in 2012. [8]

Personal life

In 1985, Zimmerman married computer science professor James Gil de Lamadrid. [10]

Selected works

Related Research Articles

<span class="mw-page-title-main">Logo (programming language)</span> Computer programming language

Logo is an educational programming language, designed in 1967 by Wally Feurzeig, Seymour Papert, and Cynthia Solomon. Logo is not an acronym: the name was coined by Feurzeig while he was at Bolt, Beranek and Newman, and derives from the Greek logos, meaning 'word' or 'thought'.

In computer science, an abstract machine is a theoretical model that allows for a detailed and precise analysis of how a computer system functions. It is similar to a mathematical function in that it receives inputs and produces outputs based on predefined rules. Abstract machines vary from literal machines in that they are expected to perform correctly and independently of hardware. Abstract machines are "machines" because they allow step-by-step execution of programs; they are "abstract" because they ignore many aspects of actual (hardware) machines. A typical abstract machine consists of a definition in terms of input, output, and the set of allowable operations used to turn the former into the latter. They can be used for purely theoretical reasons as well as models for real-world computer systems. In the theory of computation, abstract machines are often used in thought experiments regarding computability or to analyse the complexity of algorithms. This use of abstract machines is fundamental to the field of computational complexity theory, such as finite state machines, Mealy machines, push-down automata, and Turing machines.

Computer science is the study of the theoretical foundations of information and computation and their implementation and application in computer systems. One well known subject classification system for computer science is the ACM Computing Classification System devised by the Association for Computing Machinery.

A programming paradigm is a relatively high-level way to conceptualize and structure the implementation of a computer program. A programming language can be classified as supporting one or more paradigms.

<span class="mw-page-title-main">History of programming languages</span>

The history of programming languages spans from documentation of early mechanical computers to modern tools for software development. Early programming languages were highly specialized, relying on mathematical notation and similarly obscure syntax. Throughout the 20th century, research in compiler theory led to the creation of high-level programming languages, which use a more accessible syntax to communicate instructions.

<span class="mw-page-title-main">Dynamical systems theory</span> Area of mathematics used to describe the behavior of complex dynamical systems

Dynamical systems theory is an area of mathematics used to describe the behavior of complex dynamical systems, usually by employing differential equations or difference equations. When differential equations are employed, the theory is called continuous dynamical systems. From a physical point of view, continuous dynamical systems is a generalization of classical mechanics, a generalization where the equations of motion are postulated directly and are not constrained to be Euler–Lagrange equations of a least action principle. When difference equations are employed, the theory is called discrete dynamical systems. When the time variable runs over a set that is discrete over some intervals and continuous over other intervals or is any arbitrary time-set such as a Cantor set, one gets dynamic equations on time scales. Some situations may also be modeled by mixed operators, such as differential-difference equations.

<span class="mw-page-title-main">Centro de Investigación en Matemáticas</span>

The Centro de Investigación en Matemáticas (CIMAT) is a Mexican mathematical research center. The name means "Center for Research in Mathematics" in Spanish. It is based in the city of Guanajuato, in the homonym State of Guanajuato, in central Mexico, and was established in the year 1980. It belongs to the Mexican National System of Public Centers of Research under administration of the country's National Council of Science and Technology (CONACyT).

This is an alphabetical list of articles pertaining specifically to software engineering.

<span class="mw-page-title-main">Programming language theory</span> Branch of computer science

Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of formal languages known as programming languages. Programming language theory is closely related to other fields including mathematics, software engineering, and linguistics. There are a number of academic conferences and journals in the area.

FAUST is a domain-specific purely functional programming language for implementing signal processing algorithms in the form of libraries, audio plug-ins, or standalone applications. A FAUST program denotes a signal processor: a mathematical function that is applied to some input signal and then fed out.

Motion planning, also path planning is a computational problem to find a sequence of valid configurations that moves the object from the source to destination. The term is used in computational geometry, computer animation, robotics and computer games.

Metacomputing is all computing and computing-oriented activity which involves computing knowledge utilized for the research, development and application of different types of computing. It may also deal with numerous types of computing applications, such as: industry, business, management and human-related management. New emerging fields of metacomputing focus on the methodological and technological aspects of the development of large computer networks/grids, such as the Internet, intranet and other territorially distributed computer networks for special purposes.

<span class="mw-page-title-main">Any-angle path planning</span> Algorithm to find Euclidean shortest paths

Any-angle path planning algorithms are pathfinding algorithms that search for a Euclidean shortest path between two points on a grid map while allowing the turns in the path to have any angle. The result is a path that cuts directly through open areas and has relatively few turns. More traditional pathfinding algorithms such as A* either lack in performance or produce jagged, indirect paths.

JModelica.org is a commercial software platform based on the Modelica modeling language for modeling, simulating, optimizing and analyzing complex dynamic systems. The platform is maintained and developed by Modelon AB in collaboration with academic and industrial institutions, notably Lund University and the Lund Center for Control of Complex Systems (LCCC). The platform has been used in industrial projects with applications in robotics, vehicle systems, energy systems, CO2 separation and polyethylene production.

<span class="mw-page-title-main">Oussama Khatib</span> American Roboticist

Oussama Khatib is a roboticist and a professor of computer science at Stanford University, and a Fellow of the IEEE. He is credited with seminal work in areas ranging from robot motion planning and control, human-friendly robot design, to haptic interaction and human motion synthesis. His work's emphasis has been to develop theories, algorithms, and technologies, that control robot systems by using models of their physical dynamics. These dynamic models are used to derive optimal controllers for complex robots that interact with the environment in real-time.

This glossary of computer science is a list of definitions of terms and concepts used in computer science, its sub-disciplines, and related fields, including terms relevant to software, data science, and computer programming.

<span class="mw-page-title-main">TUM School of Computation, Information and Technology</span>

The TUM School of Computation, Information and Technology (CIT) is a school of the Technical University of Munich, established in 2022 by the merger of three former departments. As of 2022, it is structured into the Department of Mathematics, the Department of Computer Engineering, the Department of Computer Science, and the Department of Electrical Engineering.

References

  1. ↑ Minnesota, Marriage Index, 1958-2001
  2. 1 2 3 "Spring 1990 Commencement" (PDF). University of Minnesota. 1990.
  3. 1 2 3 Moiles, Gwendolyn (December 9, 2012). "impromptu". Goucher Quarterly. Retrieved March 10, 2018– via Issuu.
  4. ↑ "Ed Roberts, developer who inspired Bill Gates, dies". Daily Telegraph. April 1, 2010. ISSN   0307-1235 . Retrieved March 10, 2018.
  5. ↑ "Ed Roberts: Pioneering electronics engineer who built the first widely" . The Independent. April 29, 2010. Archived from the original on June 8, 2022. Retrieved March 10, 2018.
  6. ↑ "Purdue grad named fellow". Journal and Courier. Lafayette, Indiana. August 24, 1981. Retrieved April 30, 2018– via Newspapers.com.
  7. ↑ "Jill Zimmerman". Goucher College. Retrieved March 10, 2018.
  8. 1 2 3 4 5 6 7 8 9 Jill Zimmerman, Ph.D., Goucher College, February 25, 2013, retrieved March 10, 2018
  9. ↑ "Computer Science, Mathematics, and Engineering Scholarship Program". National Science Foundation . Retrieved March 10, 2018.
  10. ↑ "Elvira V. Gil de Lamadrid, 88, Superior died June 8, 2008". Superior Telegram. June 11, 2008. Retrieved March 11, 2018.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.