Débora José

Deborah A. Joseph es una científica informática estadounidense conocida por su investigación en geometría computacional , biología computacional y teoría de la complejidad computacional . Es profesora emérita de ciencias de la computación en la Universidad de Wisconsin-Madison . ^{[ 1 ]}

Joseph se graduó de Hiram College en 1976 con una especialización interdisciplinaria en ecología . ^{[ 2 ]} Obtuvo su doctorado en 1981 en la Universidad de Purdue . Su disertación, Sobre el poder de los sistemas formales para analizar el comportamiento de programas de tiempo lineal y polinomial , fue supervisada por Paul R. Young. ^{[ 3 ]}

En Wisconsin, Joseph recibió el Premio Presidencial para Jóvenes Investigadores de la Fundación Nacional de Ciencias . También fue miembro activa de la Junta de Ciencias de la Computación y Telecomunicaciones del Consejo Nacional de Investigación . ^{[ 2 ]}

• Joseph, Deborah; Young, Paul (1985), "Algunas observaciones sobre las funciones testigo para conjuntos no polinomiales y no completos en NP" , Theoretical Computer Science , 39 ( 2–3 ): 225–237 , doi : 10.1016/0304-3975(85)90140-9 , MR 0821203 Este artículo introduce los conjuntos k -creativos , que forman un posible contraejemplo a la conjetura de Berman-Hartmanis .
• Hopcroft, John ; Joseph, Deborah; Whitesides, Sue (1985), "Sobre el movimiento de brazos robóticos en regiones bidimensionales delimitadas", SIAM Journal on Computing , 14 (2): 315–333 , doi : 10.1137/0214025 , MR 0784740 , S2CID 16477060  Versión ampliada de un artículo del 23.º Simposio sobre Fundamentos de la Informática (FOCS 1982).
• Joseph, Deborah; Meidânis, João; Tiwari, Prasoon (1992), "Determinación de la similitud de secuencias de ADN mediante algoritmos de conjunto independiente máximo para grafos de intervalos", Algorithm Theory — SWAT '92: Tercer Taller Escandinavo sobre Teoría de Algoritmos, Helsinki, Finlandia, 8-10 de julio de 1992, Actas , Lecture Notes in Computer Science, vol.  621, Berlín: Springer, pp. 326-337 , doi : 10.1007/3-540-55706-7_29 , ISBN  978-3-540-55706-7, MR 1249510 .
• Althöfer, Ingo ; Das, Gautam ; Dobkin, David ; Joseph, Deborah; Soares, José (1993), "Sobre los sparse spanners de grafos ponderados", Discrete & Computational Geometry , 9 (1): 81–100 , doi : 10.1007/BF02189308 , MR 1184695 . Versión ampliada de un artículo del 2.º Taller Escandinavo sobre Teoría de Algoritmos (SWAT 1990) y la tesis doctoral ^{[ 4 ]} del estudiante de Joseph, Gautam Das , en la que descubren conectores geométricos voraces .