Deborah Joseph

Deborah A. Joseph is an American computer scientist known for her research in computational geometry, computational biology, and computational complexity theory. She is a professor emeritus of computer science at the University of Wisconsin–Madison.[1]

Education and career

Joseph graduated from Hiram College in 1976 with an interdisciplinary major in ecology.[2] She earned her Ph.D. in 1981 at Purdue University. Her dissertation, On the Power of Formal Systems for Analyzing Linear and Polynomial Time Program Behavior, was supervised by Paul R. Young.[3]

At Wisconsin, Joseph was a recipient of the Presidential Young Investigator Award of the National Science Foundation. She was also an active member of the Computer Science and Telecommunications Board of the National Research Council.[2]

Selected publications
  • Joseph, Deborah; Young, Paul (1985), "Some remarks on witness functions for nonpolynomial and noncomplete sets in NP", Theoretical Computer Science, 39 (2–3): 225–237, doi:10.1016/0304-3975(85)90140-9, MR 0821203. This paper introduces the k-creative sets, which form a potential counterexample to the Berman–Hartmanis conjecture.
  • Hopcroft, John; Joseph, Deborah; Whitesides, Sue (1985), "On the movement of robot arms in 2-dimensional bounded regions", SIAM Journal on Computing, 14 (2): 315–333, doi:10.1137/0214025, MR 0784740. Expanded version of a paper from the 23rd Symposium on Foundations of Computer Science (FOCS 1982).
  • Joseph, Deborah; Meidânis, João; Tiwari, Prasoon (1992), "Determining DNA sequence similarity using maximum independent set algorithms for interval graphs", Algorithm Theory — SWAT '92: Third Scandinavian Workshop on Algorithm Theory, Helsinki, Finland, July 8–10, 1992, Proceedings, Lecture Notes in Computer Science, 621, Berlin: Springer, pp. 326–337, doi:10.1007/3-540-55706-7_29, MR 1249510.
  • Althöfer, Ingo; Das, Gautam; Dobkin, David; Joseph, Deborah; Soares, José (1993), "On sparse spanners of weighted graphs", Discrete & Computational Geometry, 9 (1): 81–100, doi:10.1007/BF02189308, MR 1184695. Expanded version of a paper from the 2nd Scandinavian Workshop on Algorithm Theory (SWAT 1990), in which Joseph and her co-authors discover greedy geometric spanners.
gollark: Purposes only.
gollark: They could boot people doing actually useful stuff instead of you, and they can't know how time-consuming a task is without running it.
gollark: Great!
gollark: Is it ethical to use Google Colab for dubiously useful ML tasks? I trained a GPT-2 instance on some of my Discord messages.
gollark: (also, they aren't unreadable since you can just unbase64 them)

References
  1. Deborah Joseph, Emeritus Professor, University of Wisconsin–Madison, retrieved 2018-12-09
  2. National Research Council Computer Science and Telecommunications Board (1997), Defining a Decade: Envisioning CSTB's Second 10 Years, National Academies Press, p. 99
  3. Deborah Joseph at the Mathematics Genealogy Project
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.