Brenda Sue Baker es una científica informática estadounidense. Es conocida por la técnica de Baker para algoritmos de aproximación en gráficos planos , por sus primeros trabajos en la detección de códigos duplicados y por su investigación sobre problemas de empaquetamiento bidimensional de contenedores .
Brenda S. Baker | |
---|---|
Nacionalidad | americano |
alma mater |
|
Conocido por | Desarrollando la técnica de Baker |
Carrera científica | |
Campos | Ciencias de la Computación |
Asesor de doctorado | Libro de Ronald V. |
Baker hizo sus estudios de pregrado en Radcliffe College . [1] Obtuvo un doctorado. de la Universidad de Harvard en 1973; su disertación se centró en la teoría de autómatas y los lenguajes formales , y fue supervisada por Ronald V. Book . [2] Al principio de su carrera, fue instructora y becaria de investigación Vinton-Hayes en la División de Ingeniería y Física Aplicada de Harvard, profesora visitante en el Departamento de Ingeniería Eléctrica y Ciencias de la Computación de la Universidad de California, Berkeley , y profesora asistente. en el Departamento de Ciencias de la Computación y la Comunicación de la Universidad de Michigan . [3]Posteriormente trabajó en Bell Laboratories , donde se convirtió en Miembro Distinguido del Personal Técnico. [4]
Baker se casó con otro informático de Bell Labs, Eric Grosse, que más tarde se convertiría en el vicepresidente de ingeniería de seguridad y privacidad de Google. Su hijo, Roger Baker Grosse, también es investigador en ciencias de la computación. [1] [5]
Investigar
Sus intereses de investigación incluyen principalmente algoritmos y herramientas de software. Específicamente, ha trabajado en problemas relacionados con la coincidencia de patrones de cuerdas, algoritmos combinatorios y algoritmos de aproximación para problemas NP difíciles. [3]
En el dominio de las herramientas de software, diseñó herramientas para analizar y comparar código fuente y ejecutables compilados. Estas herramientas incluyen Dup y Pdiff , que comparan regiones de código fuente para determinar si hay segmentos repetidos, así como Exediff , que permite la creación de pequeños parches para ejecutables sin requerir acceso al código fuente desde el que fueron compilados. [6]
Publicaciones Seleccionadas
- Baker, Brenda S .; Libro, Ronald V. (1972), "Máquinas de empuje múltiple con limitación inversa", Registro de la conferencia del 13 ° Simposio anual sobre conmutaciones y teoría de los autómatas , Instituto de ingenieros eléctricos y electrónicos (IEEE), págs. 207–211, doi : 10.1109 /SWAT.1972.21.
- Baker, Brenda S .; Coffman, EG, Jr .; Rivest, Ronald L. (1980), "Empaquetaduras ortogonales en dos dimensiones", SIAM Journal on Computing , 9 (4): 846–855, CiteSeerX 10.1.1.309.8883 , doi : 10.1137 / 0209064 , MR 0592771
- Baker, Brenda S .; Grosse, Eric; Rafferty, Conor S. (1988), "Triangulación de polígonos nobtuse", Geometría discreta y computacional , 3 (2): 147-168, doi : 10.1007 / BF02187904 , MR 0920700.
- Baker, Brenda S. (1994), "Algoritmos de aproximación para problemas NP-completos en gráficas planas", Journal of the ACM , 41 (1): 153–180, doi : 10.1145 / 174644.174650 , MR 1369197 , S2CID 9706753.
- Baker, Brenda S. (1995), "Sobre la búsqueda de duplicación y casi duplicación en grandes sistemas de software", Actas de la 2da Conferencia de trabajo sobre ingeniería inversa , Instituto de ingenieros eléctricos y electrónicos (IEEE), págs. 86–95, CiteSeerX 10.1 .1.133.6440 , doi : 10.1109 / wcre.1995.514697 , ISBN 978-0-8186-7111-1, S2CID 11446831.
- Baker, Brenda S .; Manber, Udi (1998), "Deducir similitudes en fuentes Java a partir de códigos de bytes", Actas de la Conferencia técnica anual de USENIX , págs. 179-190.
Referencias
- ^ a b Braun, Bob (18 de mayo de 2003), "Una cuestión de la mente" , The Star-Ledger.
- ^ Brenda Baker en el Proyecto de genealogía matemática
- ^ a b Baker, Brenda S. (2007), IEEE Xplore Author Information , consultado el 24 de mayo de 2020
- ^ Baker, Brenda S. (2011), Professional Background , consultado el 19 de marzo de 2016.
- ^ Grosse, Roger (2011), About me , consultado el 19 de marzo de 2016.
- ^ Baker, Brenda S. (2011), String Pattern Matching and Tools for Analyzing Code , consultado el 24 de mayo de 2020.