Peter Lee (nacido el 30 de noviembre 1960) es un cientfico informtico

estadounidense. Es Vicepresidente Corporativo, Jefe de Microsoft Research. [1]

Anteriormente, fue el jefe de la Oficina de Tecnologa de Transformacin
Convergencia de la Agencia de Proyectos de Investigacin Avanzada de Defensa y
el director del Departamento de Ciencias de la Computacin en la Universidad
Carnegie Mellon. [2] Su la investigacin se centra en la seguridad del software y la
fiabilidad.

Lee recibi su doctorado de la Universidad de Michigan de mayo de 1987 con en

tesis [2] titulada La generacin automtica de los compiladores realistas de
descripciones semnticas de alto nivel. [3] l es miembro de la Association for
Computing Machinery.

Vicepresidente Corporativo,
Microsoft Research
Dr. Peter Lee, vicepresidente corporativo de Microsoft Research, es el responsable
de Microsoft Research nuevas experiencias y tecnologas, o MSR PRXIMO, una
organizacin de investigadores de talla mundial, ingenieros y diseadores
dedicados a la creacin de tecnologas potencialmente perturbadores para
Microsoft y el mundo. Mientras prximo ser seguir avanzando en el campo de la
computacin investigacin y producir un trabajo con un impacto significativo
acadmica, su prioridad es el desarrollo de tecnologas que beneficien a Microsoft
y el mundo en general.

En este papel, Lee supervisa Microsoft Research Asia, Microsoft Research

Technologies, FUSE Labs, y proyectos especiales de investigacin de Microsoft,
junto con varios equipos de proyectos de incubacin.

Antes de unirse a Microsoft, Lee ha ocupado puestos clave en el gobierno y el

mundo acadmico. Su cargo ms reciente fue en la Agencia de Proyectos de
Investigacin Avanzada de Defensa (DARPA), donde fund y dirigi una oficina de
gran tecnologa que apoya la investigacin en informtica y reas afines de las
ciencias sociales y fsicas. Uno de los aspectos ms destacados de su trabajo en
DARPA fue el Red Desafo DARPA, que moviliz a millones de personas en todo el
mundo en una bsqueda de globos meteorolgicos rojos - un experimento nico en
los medios sociales y la innovacin abierta que alter fundamentalmente el
pensamiento en todo el Departamento de Defensa en el poder de las redes sociales.
Antes de DARPA, Lee sirvi como jefe del departamento de ciencias de la
computacin ranking nacional de primera de la Universidad Carnegie Mellon.
Tambin se desempe como vicerrector de la universidad para la investigacin.
En CMU, llev a cabo la investigacin en la fiabilidad del software, anlisis de
programas, seguridad y diseo del lenguaje. l es conocido por su co-desarrollo de
tcnicas de cdigo de prueba de portador para mejorar la seguridad del software, y
ha abordado los problemas tan diversos como la programacin para sistemas
robticos modulares a gran escala y la forma de anlisis de programas en C.

Lee es miembro de la Association for Computing Machinery y sirve a la comunidad

de investigacin a nivel nacional, incluidas las contribuciones polticas al Consejo
Presidencial de Asesores en Ciencia y Tecnologa y la pertenencia en tanto
Informtica y Telecomunicaciones Directorio del Consejo Nacional de Investigacin
y el Consejo Asesor de la Direccin de la Fundacin Nacional de Ciencias de la
Computacin y Ciencias de la Informacin e Ingeniera. Fue el ex presidente de la
Asociacin de Investigacin de Informtica y ha testificado ante tanto el Comit de
Ciencia y Tecnologa de la Cmara y el Comit de Comercio del Senado de Estados
Unidos.

Lee tiene un doctorado en informtica y ciencias de la comunicacin de la

Universidad de Michigan en Ann Arbor y una licenciatura en ciencias matemticas
y de computacin, tambin de la Universidad de Michigan en Ann Arbor.

Afiliaciones y actividades de servicios seleccionados

Miembro del Consejo Asesor para la Informtica y Ciencias de la Informacin y la
Direccin de Ingeniera de la Fundacin Nacional de Ciencia (NSF / CISE), 2012-
presente.
Copresidente del Grupo de Trabajo NITRD por el Consejo Presidencial de Asesores
en Ciencia y Tecnologa (PCAST). Realizacin de la ordenada por el Congreso 2012
revisin del programa de Tecnologa de la Informacin de Investigacin y Desarrollo
(NITRD) Redes federal y. (Publicacin de Informe final est prxima.)
Testific ante el Comit del Senado de Estados Unidos de Comercio, Ciencia y
Transporte. 2012 audiencia en cinco aos de la America COMPITE Ley: Avances,
Retos y prximos pasos.
Miembro de la Ciencia y Telecomunicaciones Ordenador de a bordo del Consejo
Superior de Investigaciones Cientficas (CSTB) de las Academias Nacionales 2007-
2009 y 2011-presente. Presidente del estudio de 2012 que resulta en la publicacin
del libro, Continuando Innovaciones en Tecnologa de la Informacin.
Ex miembro y Presidente de la Junta Directiva de la Asociacin de Investigacin
Informtica (CRA), 2006-2008. El ex presidente del Comit de Asuntos
Gubernamentales CRA.
Un fundador de Informtica Consorcio de la Comunidad de la CRA (CCC), en 2008.
Investigador Principal del Programa de Becas de Innovacin Informtica (CIFellows)
en 2009, que proporciona ms de 100 becas postdoctorales Arriba nuevos doctores
de la informtica.
El ex vicepresidente de la Ciencia y Tecnologa de la Junta de Informacin de
DARPA (ISAT), 2007-2008.
Declar ante la Cmara un Comit de Ciencia, Espacio y Tecnologa. Audiencia
sobre la Ley de 2009 Redes y Tecnologa de la Informacin Investigacin y
Desarrollo.
Servicio en 25 comits de programa de conferencias, incluyendo 6 presidencias de
conferencias y comits de programa.
Premios y patentes
2006 SIGOPS Saln Premio Fama de, por el peridico ms influyente del IESO
hace diez o ms aos. Extensiones del kernel seguro sin comprobacin en tiempo
de ejecucin. George Necula y Peter Lee. Noviembre de 2006.
ACM SIGPLAN ms influyente 1.996 PLDI papel. TIL: un compilador de
optimizacin de tipo dirigida a ML. David Tarditi, Greg Morrisett, Perry Cheng, Chris
Stone, Robert Harper, y Peter Lee. Junio de 2006.
Mtodo y aparato para hacer cumplir caractersticas de seguridad de los programas
de ordenador mediante la generacin y resolucin de restricciones. Patente
pendiente. Ajay Chander, Nayeem Islam, David Espinosa, Peter Lee, y George
Necula.
Miembro de la Association for Computing Machinery. De noviembre de 2004. Es
seguro Ejecutar Verificacin de Software. Patente de Estados Unidos 6.128.774,
concedida el 3 de octubre de 2000, George Necula y Peter Lee.
1997 Premio Newell Allen a la Excelencia de Investigacin en Ciencias de la
Computacin, de cdigo de prueba Llevar, otorgado por la Escuela de Ciencias de
la Computacin CMU.
1994 Herbert A. Simon Premio de Excelencia en la Enseanza en Ciencias de la
Computacin, otorgado por la Escuela de Ciencias de la Computacin CMU.
1990 NSF Presidencial Joven Investigador, NSF CCR-9.057.567, $ 200.000.
Correspondientes fondos de Campana Investigacin Norte, $ 75,000.
Libros
Peter Lee. Generacin Compilador realista. La serie de Prensa MIT en los
Fundamentos de la Informtica, M. Garey y A. Meyer (Eds.), 1989.
Peter Lee (Editor). Temas en la Implementacin Idioma avanzada. El MIT Press,
1991.
Publicaciones
Peter Lee y Uwe F. Pleban. Sobre el uso de LISP en la implementacin de la
semntica denotacional. Actas de la Conferencia de 1986 de ACM en LISP y
Programacin Funcional, Cambridge, agosto de 1986, 233-248.
Peter Lee y Uwe F. Pleban. Un generador compilador realista basado en la
semntica de alto nivel. Actas del Simposio Decimocuarta Anual ACM SIGACT-
SIGPLAN sobre los principios de lenguajes de programacin (POPL'87), Munich,
Alemania Occidental, enero de 1987, 284 a 295.
Uwe F. Pleban y Peter Lee. La semntica de alto nivel: un enfoque integrado de la
semntica del lenguaje de programacin y la especificacin de las
implementaciones. El Tercer Taller sobre los Fundamentos Matemticos de la
semntica de programacin (MFPS'87), Nueva Orleans, abril de 1987, Actas
aparece en Lecture Notes in Computer Science, vol. 298, M. Principal (ed.),
Springer-Verlag, junio de 1988.
Uwe F. Pleban y Peter Lee. Un generada automticamente, compilador realista para
un lenguaje imperativo. Actas de la Conferencia SIGPLAN '88 en Diseo Lenguaje
de Programacin y Ejecucin (PLDI'88), Atlanta, junio 1988, 222-232.
Peter Lee, Frank Pfenning, Gene J. Rollins, y William S. Scherlis. El Sistema de
Apoyo Ergo: un conjunto integrado de herramientas para la creacin de prototipos
de entornos integrados. Actas de la SIGSOFT / SIGPLAN Software Simposio
Ingeniera ACM en entornos de desarrollo de software prcticos, Peter Henderson
(ed.), Boston, noviembre de 1988, 25-34.
Frank Pfenning y Peter Lee. LEAP: un lenguaje con Eval y polimorfismo. TAPSOFT
'89 Coloquio sobre temas de actualidad en lenguajes de programacin, Barcelona,
Espaa, marzo de 1989, Proceedings en Lecture Notes in Computer Science, Vols.
351 y 352, Springer-Verlag, 1989.
Philip J. Koopman, Jr. y Peter Lee. Una nueva mirada a la reduccin grfico
combinador. Actas de la Conferencia ACM SIGPLAN '89 en Diseo Lenguaje de
Programacin y Ejecucin (PLDI'89), Portland, Oregon, junio 1989, 110-119.
Philip J. Koopman, Jr., Peter Lee, y Daniel P. Siewiorek. El rendimiento de la cach
de la reduccin grfico combinador. Actas de la Conferencia Internacional de
Lenguajes, Nueva Orleans, marzo de 1990, 39-48 IEEE Computer Society 1990. Un
revisado de manera significativa y versin extendida aparece como: el
comportamiento de la cach de la reduccin grfico combinador. ACM Transactions
on Programacin Lenguajes y Sistemas Informticos, vol. 14, No. 2, abril de 1992,
265-297.
Robert Nord y Peter Lee. La manipulacin formal de sistemas modulares de
software. ACM SIGSOFT Taller Internacional sobre Mtodos Formales en
Desarrollo de Software, Napa, California, mayo de 1990. Peter Lee, de mayo de
2009 7 publicaciones arbitradas, continu:
Frank Pfenning y Peter Lee. Metacircularity en el clculo lambda polimrfica.
Theoretical Computer Science, vol. 89, 1,991, 137-159.
Christopher Colby y Peter Lee. Una implementacin de evaluacin parcial
parametrizada. Actes JTASPEFL '91, Actas de la Conferencia sobre Anlisis
esttico de ecuacional, funcional y programas lgicos, Burdeos, Francia, 10 a 11
octubre 1991, de la Universidad de Burdeos I, Bigre 74, 82-89. Una versin
extendida aparece como Informe Tcnico CMU-CS-92-123 de la Facultad de
Ciencias de la Computacin, de la Universidad Carnegie Mellon, Pittsburgh, marzo
de 1992.
David Tarditi, Peter Lee, y Anurag Acharya. No requiere ensamblaje: Compilacin
ml estndar de C. ACM Cartas sobre Lenguajes de Programacin y Sistemas, Vol.
1, No. 2, junio de 1992; 161-177. (Una versin anterior se encuentra disponible
como Carnegie Mellon Facultad de Ciencias de la Computacin de Informes
Tcnicos CMU-CS-90-187, de noviembre de 1990.)
David S. Touretzky y Peter Lee. Visualizacin de la evaluacin en lenguas
aplicativos. Comunicaciones de la ACM, vol. 35, No. 10, octubre 1992, 49-59.
Tambin disponible como Informe Tcnico CMU-CS-89-198-R, Facultad de
Ciencias de la Computacin, de la Universidad Carnegie Mellon, Pittsburgh,
noviembre de 1989.
Chris Okasaki, Peter Lee, y David Tarditi. Continuacin de pases y la reduccin
grfico. Actas del Taller ACM SIGPLAN en continuaciones (CW'92), 21 de junio de
1992 en San Francisco, desde 91 hasta 101. Una versin revisada de manera
significativa y prolongada aparece como: Call-by-necesidad y estilo de continuacin
de paso. Computacin Lisp y Simblico, Vol. 6, Nos. 03/04, noviembre de 1993, 57-
82.
Edoardo Biagioni, Robert Harper, y Peter Lee. Firmas para una pila de protocolos:
una aplicacin de sistemas de Standard ML. Actas de la Conferencia ACM 1994 en
Lisp y la programacin funcional, Orlando, junio 27 hasta 29. (Una versin anterior
aparece como Departamento de Ciencia Carnegie Mellon Computer Informe
Tcnico CMU-CS-93-170, septiembre de 1993.)
Robert Harper, Peter Lee, Frank Pfenning, y Eugene Rollins. Recompilacin
incremental para Standard ML de Nueva Jersey. Actas del Taller sobre ML y sus
aplicaciones, Orlando, junio 25-26 de 1994. (Una versin anterior aparece como
Carnegie Mellon Facultad de Ciencias de la Computacin de Informes Tcnicos
CMU-CSFOX-94-02, de febrero de 1994.)
Marcos Leona y Peter Lee. Compilacin diferida: la automatizacin de la generacin
de cdigo en tiempo de ejecucin. Actas del Taller sobre Evaluacin Parcial y
Manipulacin Programa basado Semntica-(PEPM'94), Orlando, 25 de junio de
1994. (Una versin anterior aparece como Carnegie Mellon Facultad de Ciencias de
la Computacin de Informes Tcnicos CMU-CS-93 a 225, noviembre 1993 .)
Edoardo Biagioni, Robert Harper, y Peter Lee. La implementacin de arquitecturas
de software en Standard ML. CISE-17 Taller sobre cuestiones de investigacin en
la interseccin de la Ingeniera del Software y lenguajes de programacin, Seattle,
ab 24 hasta 25 1995.
Christopher Colby y Peter Lee. Trace-basado Programa de Anlisis. Actas del
Simposio 1996 ACM SIGPLAN / SIGACT sobre los principios de lenguajes de
programacin (POPL'95), de enero de 1996. Tambin disponible como Informe
Tcnico CMUCS-95-179 (Fox Memorando CMU-CS-FOX-95-04), Departamento de
Informtica Ciencia, la Universidad Carnegie Mellon, Pittsburgh, julio de 1995.
Peter Lee y Mark Leona. Optimizacin de ML con el cdigo de tiempo de ejecucin
Generacin. ACM Conferencia SIGPLAN'96 en Lenguaje de Programacin Diseo
e Implementacin (PLDI'96), Filadelfia, mayo de 1996. Seleccionado para el nmero
especial: 20 aos de la Conferencia SIGPLAN ACM en Diseo Lenguaje de
Programacin y Ejecucin (1979 hasta 1.999): Una Seleccin. Avisos ACM
SIGPLAN, vol.39, n 4, de abril de 2004. (Una versin anterior aparece como
Carnegie Mellon Facultad de Ciencias de la Computacin de Informes Tcnicos
CMU-CS-95-205.)
David Tarditi, Greg Morrisett, Perry Cheng, Christopher Stone, Robert Harper, y
Peter Lee. El TIL Compiler para Standard ML. ACM Conferencia SIGPLAN'96 en
Lenguaje de Programacin Diseo e Implementacin (PLDI'96), Filadelfia, mayo de
1996. Seleccionado para el nmero especial: 20 aos de la / Conferencia SIGPLAN
ACM en Diseo Lenguaje de Programacin y Ejecucin (1.979-1999): Una
Seleccin . Avisos ACM SIGPLAN, vol.39, n 4, de abril de 2004. Seleccionado en
2006 como el ms influyente de 1996 PLDI papel.
George Necula y Peter Lee. Extensiones del kernel seguro sin comprobacin en
tiempo de ejecucin. Memorias del Segundo Simposio sobre Diseo de Sistemas
Operativos y de implementacin (OSDI'96), Seattle, de octubre de 1996, 229-243.
Mejor ganador del Premio de Papel. Ganador del Premio del Saln de la Fama
SIGOPS de 2006.
P. Hartel, M. Feeley, M. Alt, L. Augustsson, P. Baumann, M. Beemster, E. Chailloux,
CH Diluvio, W. Grieskamp, JHG van Groningen, K. Hammond, B. Hausman, MI
Marfil, RE Jones, J. Kamperman, P. Lee, X. Leroy, RD Lins, S. Loosemore, N.
Rjemo, M. Serrano, JP Talpin, J. Thackray, S. Thomas, P. Walters, P. Weis, y P.
Wentworth. Benchmarking implementaciones de lenguajes funcionales con
"Pseudoknot", un punto de referencia-Float Intensivos. Diario de programacin
funcional, Vol.6, No. 4, julio de 1996, 621-655.
Edoardo Biagioni, Kenneth Cline, Peter Lee, Chris Okasaki, y Chris Stone.
Condiciones de seguridad para uso espacial Temas en el Standard ML. Segundo
ACM SIGPLAN Taller sobre continuaciones (CW'97), Pars, enero de 1997.
George C. Necula y Peter Lee. Investigacin sobre Prueba portadoras Cdigo para
la Seguridad Untrusted-Code. Actas del Simposio IEEE 1997 sobre Seguridad y
Privacidad, Oakland, California, 1997.
George C. Necula y Peter Lee. Representacin Eficiente y validacin de pruebas.
Actas del Simposio Anual 13 de Lgica en Ciencias de la Computacin (LICS'98),
Indianapolis, de junio de 1998. (Esta es una versin abreviada de un informe tcnico
de 70 pginas, CMU-CS-97-172 de la Facultad de Ciencias de la Computacin,
Universidad de Carnegie mellon.)
George C. Necula y Peter Lee. Agentes de seguros, no son de confianza mediante
cdigo Prueba portadoras. Agentes mviles y de Seguridad, Giovanni Vigna (Ed.),
Lecture Notes in Computer Science, vol. 1419, Springer-Verlag, Berlin, ISBN 3-540-
64792-9, 1.998.
Philip Wickline, Peter Lee, Frank Pfenning, y Rowan Davies. Tipos modales como
especificaciones de estadificacin para la generacin de cdigo en tiempo de
ejecucin. ACM Computing Surveys 1998 Simposio sobre Evaluacin Parcial (O.
Danvy, R. Gluck, y P. Thiemann, Eds.), Diciembre de 1997.
Marcos Leona y Peter Lee. Especializacin dinmica en el sistema Fabius. ACM
Computing Surveys 1998 Simposio sobre Evaluacin Parcial (O. Danvy, R. Gluck,
y P. Thiemann, Eds.), Diciembre de 1997.
Andrew Bernard, Robert Harper, y Peter Lee. Cmo genrico es un extremo
posterior genrico? Usando MLRISC como back-end para el compilador TIL. Tipos
de Compilacin 98, Lecture Notes in Computer Science, No.1473, marzo de 1998,
53-77.
Philip Wickline, Peter Lee, y Frank Pfenning. Generacin de cdigo en tiempo de
ejecucin y Modal-ML. ACM Conferencia SIGPLAN'98 en Lenguaje de
Programacin Diseo e Implementacin (PLDI'98), Montreal, junio de 1998.
George Necula y Peter Lee. El diseo e implementacin de un compilador de
certificacin. ACM Conferencia SIGPLAN'98 en Lenguaje de Programacin Diseo
e Implementacin (PLDI'98), Montreal, junio, 1998. Seleccionado para el nmero
especial: 20 aos de la / Conferencia SIGPLAN ACM en Diseo Lenguaje de
Programacin y Ejecucin (1979-99): Un Seleccin. Avisos ACM SIGPLAN, vol.39,
No.4, abril de 2004.
Perry Cheng, Robert Harper, y Peter Lee. Coleccin de la pila generacional y el
perfil impulsada pretenuring. ACM Conferencia SIGPLAN'98 en Lenguaje de
Programacin Diseo e Implementacin (PLDI'98), Montreal, junio de 1998.
Karl Crary, Robert Harper, Peter Lee, y Frank Pfenning. Tcnicas automatizadas
para cdigo mvil demostrablemente seguro. Actas de la Conferencia de
Informacin de supervivencia DARPA y Exposicin, volumen 1, pginas 406-419,
Hilton Head Island, Carolina del Sur, de enero de 2000. IEEE Computer Society
Press.
George C. Necula, Peter Lee. Generacin de Prueba en el Touchstone Teorema
Demostrador. Actas de la 17a Conferencia Internacional sobre la Deduccin
Automatizado (CADE'00), Pittsburgh, 13 de Junio de 2000.
Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Ken Cline, y Mark
Plesko. Un compilador de Certificacin para Java. ACM SIGPLAN Conferencia 2000
sobre Diseo Lenguaje de Programacin y Ejecucin (PLDI'00), Vancouver,
Columbia Britnica, Canad, 18-21 de junio de 2000.
Christopher Colby, Peter Lee, George C. Necula. Una prueba portadoras Cdigo
Arquitectura para Java. La 12 Conferencia Internacional sobre Computer Aided
Verificacin (CAV'00), Chicago, 15 de julio de 2000.
Edoardo Biagioni, Robert Harper, y Peter Lee. Una pila de protocolos de red en
Standard ML. Superior Orden y Computacin Simblica, Vol.14, No.4, 2001.
Andrew Bernard y Peter Lee. Lgica Temporal de Cdigo Prueba portadoras.
CADE-18 Conferencia sobre la Deduccin Automatizado, volumen 2392 de Lecture
Notes in Computer Science, Copenhague, Dinamarca, julio de 2002, 31-46.
Christopher Colby, Karl Crary, Robert Harper, Peter Lee, y Frank Pfenning. Tcnicas
automatizadas para cdigo mvil demostrablemente seguro. Theoretical Computer
Science (Nmero especial sobre fiar Computing), Vol.290, N 2, enero de 2003,
1175-1199.
Ajay Chander, David Espinosa, Peter Lee, y George C. Necula. La aplicacin de
lmites de recursos a travs de la verificacin esttica de los controles dinmicos.
14o Simposio Europeo sobre la programacin (ESOP'05), que se celebr en el
marco de ETAPS'05 (Edimburgo), Lecture Notes in Computer Science, abril de
2005, 311. Tambin disponible en
http://www.springerlink.com/index/XT0WFRY9MK6BUPV5. Versin extendida invit
y se someti a un nmero especial de transacciones de ACM en Lenguajes de
Programacin y Sistemas, Para aparecer en 2006.
Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, y George Necula. Jver:
un verificador de Java. 17a Conferencia Internacional sobre Computer Aided
Verificacin (CAV'05), julio de 2005.
Seth Copen Goldstein, Todd C. Mowry, Jason D. Campbell, Peter Lee,
Padmanabhan Pillai, James F. Hoburg, Phillip B. Gibbons, Carlos Guestrin, James
Kuffner, Brian Kirby, Benjamin D. Rister, Michael De Rosa, Stanislav Funiak , Burak
Aksak y Rahul Sukthankar. El Principio Ensemble. 13 Conferencia Prospectiva de
avanzada Nanotechnogy, octubre de 2005.
Stephen Magill, Aleksander Nanevsky, Edmund Clarke, y Peter Lee. Inferir
invariantes en la separacin lgica de Programas Lista de procesamiento de
imperativo. La tercera Taller sobre Semntica, Programa de Anlisis y entornos
informticos para la gestin de memoria (SPACE'06), (Charleston, Carolina del Sur),
enero de 2006.
Michael De Rosa, Seth Goldstein, Peter Lee, Jason Campbell, y Padmanabhan
Pillai. Esculpir forma escalable a travs del agujero de movimiento: Planificacin
Motion en celosa con restricciones modulares Robots. Actas de la Conferencia
IEEE 2006 Internatonal de Robtica y Automatizacin (ICRA'06), (Orlando, FL),
mayo de 2006.
Seth Goldstein, Todd Mowry, Phillip Gibbons, Padmanabhan Pillai, Benjamin Rister,
y Peter Lee. Conjuntos de Millones de Microbots. Actas de la Conferencia IEEE
Internatonal de Robtica y Automatizacin, (Orlando, FL), mayo de 2006 2006.
Michael De Rosa, Seth Goldstein, Peter Lee, Jason Campbell, Padmanabhan Pillai,
y Todd Mowry. Watchpoints distribuidas: la depuracin de los sistemas multi-robot
de gran tamao. Actas de la Conferencia IEEE 20067 Internatonal de Robtica y
Automatizacin (ICRA'07)