Deborah Joseph
{{short description|American computer scientist}}
{{for|the British journalist and editor|Deborah Joseph (editor)}}
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.{{r|em}}
Education and career
Joseph graduated from Hiram College in 1976 with an interdisciplinary major in ecology.{{r|cstb}}
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.{{r|mg}}
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.{{r|cstb}}
Selected publications
- {{citation
| last1 = Joseph | first1 = Deborah
| last2 = Young | first2 = Paul
| doi = 10.1016/0304-3975(85)90140-9
| issue = 2–3
| journal = Theoretical Computer Science
| mr = 821203
| pages = 225–237
| title = Some remarks on witness functions for nonpolynomial and noncomplete sets in NP
| volume = 39
| year = 1985| url = https://digital.library.wisc.edu/1793/58504
| doi-access = free
}}. This paper introduces the Polynomial creativity, which form a potential counterexample to the Berman–Hartmanis conjecture.
- {{citation
| last1 = Hopcroft | first1 = John | author1-link = John Hopcroft
| last2 = Joseph | first2 = Deborah
| last3 = Whitesides | first3 = Sue | author3-link = Sue Whitesides
| doi = 10.1137/0214025
| issue = 2
| journal = SIAM Journal on Computing
| mr = 784740
| pages = 315–333
| title = On the movement of robot arms in 2-dimensional bounded regions
| volume = 14
| year = 1985| s2cid = 16477060 }}. Expanded version of a paper from the 23rd Symposium on Foundations of Computer Science (FOCS 1982).
- {{citation
| last1 = Joseph | first1 = Deborah
| last2 = Meidânis | first2 = João
| last3 = Tiwari | first3 = Prasoon
| contribution = Determining DNA sequence similarity using maximum independent set algorithms for interval graphs
| doi = 10.1007/3-540-55706-7_29
| location = Berlin
| mr = 1249510
| pages = 326–337
| publisher = Springer
| series = Lecture Notes in Computer Science
| title = Algorithm Theory — SWAT '92: Third Scandinavian Workshop on Algorithm Theory, Helsinki, Finland, July 8–10, 1992, Proceedings
| volume = 621
| year = 1992}}.
- {{citation
| last1 = Althöfer | first1 = Ingo | author1-link = Ingo Althöfer
| last2 = Das | first2 = Gautam | author2-link = Gautam_Das_(computer_scientist)
| last3 = Dobkin | first3 = David | author3-link = David P. Dobkin
| last4 = Joseph | first4 = Deborah
| last5 = Soares | first5 = José
| doi = 10.1007/BF02189308
| issue = 1
| journal = Discrete & Computational Geometry
| mr = 1184695
| pages = 81–100
| title = On sparse spanners of weighted graphs
| volume = 9
| year = 1993| doi-access = free
}}. Expanded version of a paper from the 2nd Scandinavian Workshop on Algorithm Theory (SWAT 1990) and the PhD thesis{{r|gd1}} of Joseph's student Gautam Das, in which they discover greedy geometric spanners.
References
{{reflist|refs=
{{citation|url=https://www.cs.wisc.edu/people/joseph|title=Deborah Joseph, Emeritus Professor|publisher=University of Wisconsin–Madison|accessdate=2018-12-09}}
| last1 = Das | first1 = Gautam | author1-link = Gautam_Das_(computer_scientist)
| url = https://worldcat.org/oclc/22935858
| title = Approximation schemes in computational geometry
| oclc=22935858
}}
}}
{{Authority control}}
{{DEFAULTSORT:Joseph, Deborah}}
Category:Year of birth missing (living people)
Category:American computer scientists
Category:American women computer scientists
Category:Purdue University alumni
Category:University of Wisconsin–Madison faculty
Category:Researchers in geometric algorithms