LOURDES DEL CARMEN GONZALEZ HUESCA



DATOS GENERALES
Nombre completo   LOURDES DEL CARMEN GONZALEZ HUESCA
Máximo nivel de estudios   DOCTORADO
Antigüedad académica en la UNAM   13 años
NOMBRAMIENTOS
Vigente   PROFESOR DE CARRERA TITULAR A TC Definitivo
Facultad de Ciencias
Desde 16-06-2024
PROFESOR DE CARRERA ASOCIADO C TC No Definitivo
Facultad de Ciencias
Desde 16-01-2021 hasta 15-06-2024
PROFESOR DE CARRERA ASOCIADO C TC No Definitivo
Dirección General de Asuntos del Personal Académico
Desde 16-02-2020 hasta 15-01-2021
PROFESOR ASIGNATURA A TP No Definitivo
Facultad de Ciencias
Desde 16-10-2019 hasta 15-02-2020
PROFESOR ASIGNATURA A TP No Definitivo
Facultad de Ciencias
Desde 01-10-2016 hasta 31-07-2017
AYUDANTE PROFESOR B TP No Definitivo
Facultad de Ciencias
Desde 16-04-2016 hasta 30-09-2016
AYUDANTE PROFESOR B TP No Definitivo
Facultad de Ciencias
Desde 01-12-2011 hasta 31-03-2012
PROFESOR ASIGNATURA A TP No Definitivo
Facultad de Ciencias
Desde 01-01-2009 hasta 30-11-2011
AYUDANTE PROFESOR B TP No Definitivo
Facultad de Ciencias
Desde 16-11-2009 hasta 30-11-2011
AYUDANTE PROFESOR B TP No Definitivo
Facultad de Ciencias
Desde 01-01-2009 hasta 31-05-2009
PROFESOR ASIGNATURA A TP No Definitivo
Facultad de Ciencias
Desde 16-11-2008 hasta 31-12-2008
AYUDANTE PROFESOR B TP No Definitivo
Facultad de Ciencias
Desde 16-06-2008 hasta 31-12-2008
AYUDANTE PROFESOR B TP No Definitivo
Facultad de Ciencias
Desde 01-01-2008 (fecha inicial de registros en el SIIA) hasta 15-06-2008
ESTIMULOS, PROGRAMAS, PREMIOS Y RECONOCIMIENTOS
* SNI C2022 - VIGENTE
* EQUIVALENCIA PRIDE B2020 - 2024
INFORMACIÓN DE PUBLICACIONES
Firmas  
del Carmen González Huesca L. González Huesca L.D.C. Gonzalez Huesca, Lourdes del Carmen Gonzalez L. Gonzalez, L González-Huesca L.D.C.
Huesca L.C.G.
ID's SCOPUS  
35213217100
ORCID's  
0000-0002-4956-1162
Áreas de conocimiento  
Computer science, theory and methods Genetics and heredity Logic Pediatrics Computer Science (miscellaneous)
Genetics Mathematics (miscellaneous) Pediatrics, Perinatology and Child Health Philosophy Software
Coautorías con entidades de la UNAM  
  • Facultad de Ciencias
  • Facultad de Medicina
  • Facultad de Química
  • Dirección General de Asuntos del Personal Académico
 Revistas en las que ha publicado  (10):
  1. AMERICAN JOURNAL OF MEDICAL GENETICS PART A, Estados Unidos America (2014)
  2. CEUR Workshop Proceedings, Estados Unidos America (2020)
  3. COMPUTACION Y SISTEMAS, México (2022, 2023)
  4. Electronic Notes in Theoretical Computer Science, Países Bajos (2009, 2020)
  5. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, Estados Unidos America (2022)
  6. Journal Of Applied Non-Classical Logics, Francia (2019)
  7. JOURNAL OF PEDIATRIC ENDOCRINOLOGY & METABOLISM, Alemania (2011)
  8. Logic Journal Of The Igpl, Reino Unido (2020)
  9. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Estados Unidos America (2022)
  10. Philosophical Studies Series, Países Bajos (2022)


Descargar PDF

Documentos indexados (WoS y Scopus)

# Título del documento Autores Año Revista Fuente Citas WoS Citas Scopus
1Fitch-Style Modal Necessity as a Substructural Sequent-Style SystemCoautor y autor de correspondencia: del Carmen González Huesca L., Miranda-Perea, Favio E., Zavaleta X.E.2023COMPUTACION Y SISTEMASWoS-id: 001088282400025
Scopus-id: 2-s2.0-85163787632
00
2A Dual-Context Sequent Calculus for S4 Modal Lambda-Term SynthesisCoautor y autor de correspondencia: Gonzalez Huesca, Lourdes del Carmen, Miranda-Perea, Favio E., Omana Silva, Sammantha2022COMPUTACION Y SISTEMASWoS-id: 000822515500016
Scopus-id: 2-s2.0-85135739966
00
3On the Conciliation of Traditional and Computer-Assisted Proofs2ᵒ autor y autor de correspondencia: Huesca L.C.G., E. Miranda-Perea F.2022Philosophical Studies SeriesWoS-id: 000869127700003
Scopus-id: 2-s2.0-85132676558
00
4A dual-context sequent calculus for the constructive modal logic S42ᵒ autor: González Huesca L.D.C., Miranda-Perea F.E., Linares Arévalo P.S.2022MATHEMATICAL STRUCTURES IN COMPUTER SCIENCEWoS-id: 000890051100001
Scopus-id: 2-s2.0-85151504847
00
5PrefaceCoautor: del Carmen González Huesca L., Alpuente M., Porto S.A., Aoto T., et al.2022ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCEScopus-id: 2-s2.0-85129855942
00
6Dual and Axiomatic Systems for Constructive S4, a Formally Verified Equivalence1ᵉʳ autor: Gonzalez Huesca, Lourdes del Carmen, Miranda-Perea, Favio E., Selene Linares-Arevalo, P.2020Electronic Notes in Theoretical Computer ScienceWoS-id: 000529330600005
Scopus-id: 2-s2.0-85096483408
22
7On Interactive Proof-Search for Constructive Modal Necessity2ᵒ autor: Gonzalez Huesca, Lourdes del Carmen, Miranda-Perea F.E., Selene Linares-Arevalo, P.2020Electronic Notes in Theoretical Computer ScienceWoS-id: 000594383000009
Scopus-id: 2-s2.0-85114399587
22
8Gradual Typing Using Union Typing With RecordsCoautor y autor de correspondencia: Gonzalez Huesca, Lourdes del Carmen, Ramírez Pulido K., Luis Ortega-Arjona, Jorge2020Electronic Notes in Theoretical Computer ScienceWoS-id: 000594383000013
Scopus-id: 2-s2.0-85114431496
00
9Interactive proof-search for equational reasoning2ᵒ autor: Gonzalez Huesca, Lourdes del Carmen, Miranda-Perea, Favio E., Selene Linares-Arevalo, P.2020Logic Journal Of The IgplWoS-id: 000595483300007
Scopus-id: 2-s2.0-85097508411
00
10On interactive proof-search for constructive modal necessity2ᵒ autor: González Huesca L.D.C., Miranda-Perea F.E., Selene Linares-Arévalo P.2020CEUR Workshop ProceedingsScopus-id: 2-s2.0-85083029923
00
11Gradual typing using union typing with recordsCoautor y autor de correspondencia: González Huesca L.D.C., Pulido K.R., Arjona J.L.O.2020CEUR Workshop ProceedingsScopus-id: 2-s2.0-85083035648
00
12Axiomatic and dual systems for constructive necessity, a formally verified equivalence1ᵉʳ autor: González-Huesca L.D.C., Miranda-Perea F.E., Linares-Arévalo P.S.2019Journal Of Applied Non-Classical LogicsScopus-id: 2-s2.0-85070905675
07
13The high frequency of genetic diseases in hypotonic infants referred by neuropediatricsCoautor: Gonzalez L., Vilchis Z., Najera N., Pérez-Duran J., et al.2014AMERICAN JOURNAL OF MEDICAL GENETICS PART AWoS-id: 000337633300015
Scopus-id: 2-s2.0-84902553530
711
14Small nuclear ribonucleoprotein polypeptide N quantitative methylation analysis in infants with central hypotonia2ᵒ autor: Gonzalez, L, Najera, N, Durand, JP, Ruiz, E, et al.2011JOURNAL OF PEDIATRIC ENDOCRINOLOGY & METABOLISMWoS-id: 000297468700038
Scopus-id: 2-s2.0-80051994857
22
15Selective Memoization with Box Types2ᵒ autor y autor de correspondencia: González-Huesca L.D.C., Miranda-Perea F.E.2009Electronic Notes in Theoretical Computer ScienceScopus-id: 2-s2.0-71649093088
00
Descargar PDF

Documentos no indexados (Humanindex)

# Título del documento ISSN Revista Año Fuente
Descargar PDF

No se encuentran registros en la base de datos de capítulos de libros (WoS y Scopus).

Descargar PDF

Obras con ISBN (Indautor)

# Título del documento Autores Alcance Año ISBN Fuente
1"lógica, Argumentación Y Pensamiento Crítico"Ramos Villegas, Pedro Arturo, Miranda Perea, Favio Ezequiel, Hernández Deciderio, Gabriela, et al.Libro Completo20199786078569694INDAUTOR
2"lógica, Argumentación Y Pensamiento Crítico"Ramos Villegas, Pedro Arturo, Miranda Perea, Favio Ezequiel, Hernández Deciderio, Gabriela, et al.Libro Completo20199786078631063INDAUTOR
Descargar PDF

Proyectos

# Nombre Participantes Convocatoria Fecha Inicio Fecha Fin
1Métodos formales para el razonamientoLOURDES DEL CARMEN GONZALEZ HUESCA,
Recursos PAPIIT01-01-202331-12-2024
Descargar PDF

Participación en Comités de Tesis

# Título del documento Tipo de Tesis Sinodales Autores Año Entidad Url
1Lógica de Hoare para programación funcionalTesis de LicenciaturaLOURDES DEL CARMEN GONZALEZ HUESCA; López García, Gilberto Isaac; 2021Dirección General de Asuntos del Personal Académico,
2Verificación formal de árboles rojinegrosTesis de LicenciaturaLOURDES DEL CARMEN GONZALEZ HUESCA; Hernández Chiapa, David Felipe; 2021Dirección General de Asuntos del Personal Académico,
3Verificación formal y programación certificada en COQ con Program : un ejemplo prácticoTesis de LicenciaturaLOURDES DEL CARMEN GONZALEZ HUESCA; Carrillo Verduzco, Diego; 2020Facultad de Ciencias,
4Programación origami : cómo doblar un árbolTesis de LicenciaturaLOURDES DEL CARMEN GONZALEZ HUESCA; Enríquez Mendoza, Javier; 2020Facultad de Ciencias,
5Mónadas en la programación funcional : una prueba formal de su equivalencia con las ternas de KleisliTesis de LicenciaturaDIANA AVELLA ALAMINOS; LOURDES DEL CARMEN GONZALEZ HUESCA; PILAR SELENE LINARES AREVALO; FAVIO EZEQUIEL MIRANDA PEREA; et al.Vázquez Reyes, Cenobio Moisés; 2016Coordinación de Estudios de Posgrado, Facultad de Ciencias,
Descargar PDF

Docencia Impartida

# Entidad Nivel Asignatura Año Semestre Alumnos
1Facultad de CienciasLicenciaturaTEORIA DE LA COMPUTACION20242024-21
2Facultad de CienciasLicenciaturaCOMPILADORES20242024-235
3Facultad de CienciasLicenciaturaAUTOMATAS Y LENGUAJES FORMALES20242024-236
4Facultad de Filosofia y LetrasMaestríaSEMINARIO DE TEMAS SELECTOS DE FILOSOFÍA DE LAS MATEMÁTICAS Y LÓGICA DE LA CIENCIA 3 TOPICS IN THE NATURE OF SEMANTIC CONTENT: INSIGHTS FROM THEORETICAL COMPUTER SCIENCE.20232024-11
5Facultad de CienciasLicenciaturaMATEMATICAS DISCRETAS20232024-14
6Facultad de CienciasLicenciaturaMETODOS FORMALES20232024-18
7Facultad de CienciasLicenciaturaESTRUCTURAS DISCRETAS20232024-141
8Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20232024-138
9Facultad de CienciasLicenciaturaLENGUAJES DE PROGRAMACION II20232023-28
10Facultad de CienciasLicenciaturaCOMPILADORES20232023-246
11Facultad de CienciasLicenciaturaESTRUCTURAS DISCRETAS20222023-137
12Facultad de CienciasLicenciaturaSEMANTICA Y VERIFICACION20222023-16
13Facultad de CienciasLicenciaturaCOMPILADORES20222023-128
14Facultad de CienciasLicenciaturaMATEMATICAS DISCRETAS20222023-11
15Facultad de CienciasLicenciaturaMETODOS FORMALES20222022-25
16Facultad de CienciasLicenciaturaCOMPILADORES20222022-246
17Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20222022-218
18Facultad de Filosofia y LetrasMaestríaSEMINARIO DE TEMAS SELECTOS DE FILOSOFÍA DE LAS MATEMÁTICAS Y LÓGICA DE LA CIENCIA 320222022-20
19Facultad de CienciasLicenciaturaAUTOMATAS Y LENGUAJES FORMALES20212022-147
20Facultad de CienciasLicenciaturaSEM.D CIENCIAS DE LA COMPUTACION B20212022-14
21Facultad de CienciasLicenciaturaCOMPILADORES20212022-155
22Facultad de CienciasLicenciaturaAUTOMATAS Y LENGUAJES FORMALES20212021-240
23Facultad de CienciasLicenciaturaTEORIA DE LA COMPUTACION20212021-21
24Facultad de CienciasLicenciaturaMETODOS FORMALES20212021-25
25Facultad de CienciasLicenciaturaPROGRAMACION DECLARATIVA20212021-25
26Facultad de CienciasLicenciaturaSEM.D CIENCIAS DE LA COMPUTACION B20202021-15
27Facultad de CienciasLicenciaturaCOMPILADORES20202021-123
28Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20202021-127
29Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20202020-234
30Facultad de CienciasLicenciaturaSEMANTICA Y VERIFICACION20202020-26
31Facultad de CienciasLicenciaturaAUTOMATAS Y LENGUAJES FORMALES20202020-242
32Facultad de CienciasLicenciaturaAUTOMATAS Y LENGUAJES FORMALES20192020-126
33Facultad de CienciasLicenciaturaCOMPILADORES20192020-142
34Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20172017-246
35Facultad de CienciasLicenciaturaTEORIA DE LA COMPUTACION20162017-11
36Facultad de CienciasLicenciaturaAUTOMATAS Y LENGUAJES FORMALES20162017-136
37Facultad de CienciasLicenciaturaLENGUAJES DE PROGRAM.PARADIG20112011-210
38Facultad de CienciasLicenciaturaMATEMATICAS DISCRETAS20102011-145
39Facultad de CienciasLicenciaturaMATEMATICAS DISCRETAS20102010-216
40Facultad de CienciasLicenciaturaANALISIS LOGICO20092010-19
41Facultad de CienciasLicenciaturaANALISIS LOGICO20092009-239
42Facultad de CienciasLicenciaturaANALISIS LOGICO20082009-111
Descargar PDF

No se encuentran registros en la base de datos de patentes.

Descargar PDF

No se encuentran registros en la base de datos de libros completos (Humanindex).

Descargar PDF

Capítulos de libros (Humanindex)

# Título del libro Título del capítulo ISBN Editorial Año Fuente