Daniel Edgardo Fridlender

Possui graduação em Licenciatura En Informática pela Escuela Superior Latinoamericana de Informática(1989), mestrado em Litentiate i Datalogi pela Goteborgs Universitet(1993), doutorado em Phd in Computer Science pela Goteborgs Universitet(1997) e pós-doutorado pela Aarhus Universitet(2000). Atualmente é professor titular da Universidad Nacional de Cordoba e Investigador Asistente do Instituto de Investigación Médica Mercedes y Martin Ferreyra. Tem experiência na área de Ciência da Computação, com ênfase em Matemática da Computação.

Informações coletadas do Lattes em 22/11/2022

Acadêmico

Formação acadêmica

Doutorado em Phd in Computer Science

1994 - 1997

Goteborgs Universitet
Título: Higman lemma in type theory
Orientador: Thierry Coquand
Bolsista do(a): Goteborgs Universitet, UG, Suécia. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Matemática Simbólica.

Mestrado em Litentiate i Datalogi

1991 - 1993

Goteborgs Universitet
Orientador: Thierry Coquand
Bolsista do(a): Goteborgs Universitet, UG, Suécia. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Matemática Simbólica.

Graduação em Licenciatura En Informática

1987 - 1989

Escuela Superior Latinoamericana de Informática
Orientador: Joos Heintz
Bolsista do(a): Escuela Superior Latinoamericana de Informática, ESLAI, Argentina.

Pós-doutorado

1998 - 2000

Pós-Doutorado. , Aarhus Universitet. , Bolsista do(a): Basic Research In Computer Science. , Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Linguagens de Programação. , Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas. , Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Matemática Simbólica.

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Espanhol

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Português

Compreende BemLê Bem.

Francês

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Pouco.

Suéco

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação/Especialidade: Matemática Simbólica.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.

Produções bibliográficas

FRIDLENDER, Daniel Edgardo . A Proof-Irrelevan Model of Martin-Löf Logical Framework. Mathematical Structures In Computer Science, v. 12, p. 771-795, 2002.
FRIDLENDER, Daniel Edgardo ; INDRIKA, Mia . Do we need dependent types?. Journal of Functional Programming , v. 10, n.4, p. 409-415, 2000.
FRIDLENDER, Daniel Edgardo . An Interpretation of the Fan Theorem in Type Theory. Lecture Notes in Computer Science , v. 1657, p. 93-105, 1999.
FRIDLENDER, Daniel Edgardo . Higman´s Lemma in Type Theory. Lecture Notes in Computer Science , v. 1512, p. 112-133, 1998.
DURÁN, Juan ; FRIDLENDER, Daniel Edgardo ; GONZÁLEZ KRIEGEL, Bernardo ; MONTES, Miguel ; PENAZZI, Daniel ; TIRABOSCHI, Alejandro ; WACHENCHAUZER, Rosa . The Architecture and Security of E-Voting Systems. In: E-Golems Biennale, 2005, Praga. First E-Golems Biennale, Selected Papers, 2005.
COQUAND, Thierry ; FRIDLENDER, Daniel Edgardo . A Proof of Higman´s Lemma by Structural Induction. In: Workshop on Computational Content of Classical Proofs, 1993, Marseille, 1993.

Outras produções

FRIDLENDER, Daniel Edgardo ; KUNZ, César ; RAMÍREZ, Fabián . Un lenguaje para programar promociones. 2003.

Projetos de pesquisa

2005 - Atual

Desarrollo Formal de Sistemas, Descrição: Integración de técnicas de reescritura de términos para fortalecer el algoritmo de conversión en teoría de tipos dependientes.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (2) . , Integrantes: Daniel Edgardo Fridlender - Integrante / Juan Durán - Integrante / Damián Barsotti - Integrante / Javier Blanco - Coordenador / Martín Domínguez - Integrante / Miguel Pagano - Integrante.
2003 - 2003

Transformación y Verificación Formal de Programas, Descrição: Derivación de algoritmos concurrentes utilizando Lógica de Hoare y el cálculo de la precondición más débil de Dijkstra. Derivación de algoritmos en redes. Verificación de algoritmos en teoría de tipos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Daniel Edgardo Fridlender - Integrante / Juan Durán - Coordenador / Damián Barsotti - Integrante.
2002 - 2002

Derivación y Verificación Formal de Programas, Descrição: Derivación de algoritmos concurrentes utilizando Lógica de Hoare y el cálculo de la precondición más débil de Dijkstra. Derivación de algoritmos en redes. Verificación de algoritmos en teoría de tipos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Daniel Edgardo Fridlender - Coordenador / Juan Durán - Integrante / Damián Barsotti - Integrante., Número de produções C, T & A: 1
2001 - 2004

Transformación de programas, Descrição: Transformación formal de programas con punteros. Demostración de la consistencia de la teoría de tipos de Martin-Löf.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (3) . , Integrantes: Daniel Edgardo Fridlender - Integrante / Damián Barsotti - Integrante / Javier Blanco - Coordenador / Martín Domínguez - Integrante / Nicolas Wolovick - Integrante., Número de produções C, T & A: 1
2001 - 2001

Transformación de Programas, Descrição: Derivación de algoritmos con punteros utilizando Lógica de Hoare.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (2) . , Integrantes: Daniel Edgardo Fridlender - Coordenador / Damián Barsotti - Integrante / Javier Blanco - Integrante / Martín Domínguez - Integrante.

Projetos de desenvolvimento

2004 - 2004

Sistema de voto electrónico, Descrição: Propuesta de un sistema de voto electrónico confiable adecuado a la cultura y a las características del sistema electoral Argentino.. , Situação: Desativado; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Daniel Edgardo Fridlender - Integrante / Juan Durán - Integrante / Bernardo González Kriegel - Integrante / Miguel Montes - Integrante / Daniel Penazzi - Integrante / Alejandro Tiraboschi - Coordenador / Rosa Wachenchauzer - Integrante., Número de produções C, T & A: 1
2003 - 2003

Nueva generación de POS-Thin Client basada en componentes inteligentes multicapa orientado al mercado retail internacional, Descrição: Desarrollo de un lenguaje de programación para fines específicos: la programación de promociones.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Daniel Edgardo Fridlender - Coordenador / César Kunz - Integrante / Fabián Ramírez - Integrante., Financiador(es): Invel Latinoamericana S A - Remuneração., Número de produções C, T & A: 1

Histórico profissional

Endereço profissional

Universidad Nacional de Cordoba, Facultad de Matemática Astronomía y Física. , Medina Allende S/N, Ciudad Universitaria, 5000 - Córdoba, - Argentina, Telefone: (54351) 4334050, Ramal: 366, Fax: (54351) 4334054, URL da Homepage:

Experiência profissional

2004 - Atual

Instituto de Investigación Médica Mercedes y Martin Ferreyra

Vínculo: Servidor Público, Enquadramento Funcional: Investigador Asistente, Carga horária: 0

Atividades

04/2004
Pesquisa e desenvolvimento .,Linhas de pesquisa

2003 - 2004

Agencia Nacional de Promocion Cientifica y Tecnologica

Vínculo: Servidor Público, Enquadramento Funcional: Consultor, Carga horária: 0

2003 - 2003

Invel Latinoamericana S A

Vínculo: Consultor, Enquadramento Funcional: , Carga horária: 5

Atividades

06/2003 - 12/2003
Conselhos, Comissões e Consultoria, .,Cargo ou função, Diseño de Lenguaje de Programación Específico.

2001 - 2004

Agencia Córdoba Ciencia

Vínculo: Servidor Público, Enquadramento Funcional: Investigador, Carga horária: 0

2000 - Atual

Universidad Nacional de Cordoba

Vínculo: Profesor Adjunto, Enquadramento Funcional: Professor titular, Carga horária: 45, Regime: Dedicação exclusiva.

Atividades

09/2000
Pesquisa e desenvolvimento , Facultad de Matemática Astronomía y Física, .,Linhas de pesquisa
09/2000
Ensino, Licenciatura En Ciencias de La Computación, Nível: Graduação,Disciplinas ministradas, Elementos de Lógica y Computación, Algoritmos y Estructuras de Datos, Lenguajes y Compiladores
09/2000
Ensino, Doctorado En Ciencias de La Computación, Nível: Pós-Graduação,Disciplinas ministradas, Teoría de Tipos y Programación, Calculo Lambda Puro y Tipado
06/2002 - 05/2004
Conselhos, Comissões e Consultoria, Facultad de Matemática Astronomía y Física, .,Cargo ou função, Membro de conselho.
06/2003 - 12/2003
Extensão universitária .,Atividade de extensão realizada, Diseño de Lenguaje de Programación Específico.
07/2001 - 07/2003
Direção e administração, Facultad de Matemática Astronomía y Física, .,Cargo ou função, Chefe de Departamento.

1997 - 1998

Prover Technology Ab

Vínculo: Empleado, Enquadramento Funcional: Consultor, Carga horária: 35, Regime: Dedicação exclusiva.

Atividades

10/1997 - 08/1998
Serviços técnicos especializados , Consultoría, Verificación de Sistemas Ferroviarios Computarizados.,Serviço realizado, Verificación de Sistemas Ferroviarios Computarizados.