Rede de Colaboração
Diretório de grupos de pesquisa |
Steffen Lewitzka possui graduação e mestrado (Diplom) em Ciência da Computação pela Universidade Técnica de Berlim e doutorado em Ciências da Computação pela Universidade Federal de Pernambuco. Fez estágios de pós-doutorado na PUC - Rio de Janeiro e na UFBA. Trabalhou como Professor Adjunto na Universidade Federal da Paraíba. Atualmente atua como Professor Adjunto na Universidade Federal da Bahia. Tem experiência nas áreas de Lógica e Teoria da Computação.
Última
atualização do currículo em 17/01/2012
Endereço para acessar este CV: http://lattes.cnpq.br/0133757419649661 |
Dados pessoais
| Nome | Steffen Lewitzka |
| Nome em citações bibliográficas | LEWITZKA, S.;Lewitzka, Steffen |
| Sexo | Masculino |
| Endereço profissional | Universidade Federal da Bahia. Av. Ademar de Barros Ondina 40170-110 - Salvador, BA - Brasil URL da Homepage: http:// |
Formação acadêmica/Titulação
| 2006 - 2008 | Pós-Doutorado
. Universidade Federal da Bahia, UFBA, Brasil. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil . Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação. Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica. |
| 2004 - 2005 | Pós-Doutorado
. Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil . 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 Humanas / Área: Filosofia / Subárea: Lógica. |
| 1998 - 2003 | Doutorado em Ciências da Computação
.
Universidade Federal de Pernambuco, UFPE, Brasil. Título: Contributions to the investigation of Lascar strong types in simple theories, Ano de Obtenção: 2003. Orientador:  Prof Ruy José Guerra B. de Queiroz.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil . Palavras-chave: Lógica Matemática; Teoria da Computação; Complexidade e Bancos de Dados; Teoria dos Modelos. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Análise de Algoritmos e Complexidade de Computaçã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: Matemática / Subárea: Álgebra / Especialidade: Lógica Matemática. Setores de atividade: Atividades de Banco de Dados; Educação Superior; Desenvolvimento de Programas (Software). |
| 1996 - 1998 | Mestrado em Ciência da Computacao
.
Universidade Técnica de Berlim. Título: E(T) - an extension of first order logic with selfreference and a total truth predicate, Ano de Obtenção: 1998. Orientador: Prof. Dr. Bernd Mahr, Dr. Phillip Zeitz. Palavras-chave: Teoria da Computação; Logica para a Computacao; Inteligencia Artificial; Teoria da Verdade. |
| 1995 - 1996 | Especialização em Matemática
.
Universita di Bologna, UNIBO, Itália. Bolsista do(a): Erasmus . |
| 1992 - 1993 | Especialização em Filosofia
.
Universidad de Salamanca. Bolsista do(a): Erasmus . |
| 1994 - 1998 | Graduação em Ciência da Computacao
.
Universidade Técnica de Berlim. Título: E(T) - Eine Erweiterung der Praedikatenlogik mit Selbstreferenz und totalem Wahrheitspraedikat. Orientador: Prof. Dr. Bernd Mahr, Dr. Phillip Zeitz. |
| 1993 - 1994 | Graduação em Ciência da Computação
.
Universitaet Hamburg. |
| 1990 - 1992 | Graduação em Ciência da Computação
.
Universitaet Leipzig. |
Atuação profissional
| Universidade Federal da Bahia, UFBA, Brasil. |
| Vínculo institucional |
| 2011 - Atual | Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Regime: Dedicação exclusiva. |
| Universidade Federal da Paraíba, UFPB, Brasil. |
| Vínculo institucional |
| 2008 - 2011 | Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Regime: Dedicação exclusiva. |
| Atividades |
| 2009 - Atual | Atividades de Participação em Projeto, Centro de Ciências Exatas e da Natureza - Campus I, . |
|
Projetos de pesquisa Lógicas Abstratas e Epsilon-Lógicas: uma teoria geral de lógicas e de suas extensões por modalidalidades e conceitos semânticos |
| Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil. |
| Atividades |
| 01/2004 - 12/2005 | Atividades de Participação em Projeto, Departamento de Informática/Departamento de Filosofia, . |
|
Projetos de pesquisa Lascar strong types in simple theories and subclasses fo simple theories |
Projetos de Pesquisa
| 2007 - Atual | Lógicas Abstratas e Epsilon-Lógicas: uma teoria geral de lógicas e de suas extensões por modalidalidades e conceitos semânticos |
| Descrição: Objetivos gerais do projeto:
- Desenvolver e estudar uma teoria geral de lógicas abstratas.
- Investigar as conexões desta teoria com a teoria dos domínios. Desenvolver representações topológicas de classes de lógicas abstratas (e de domínios). Estudar aplicacões, por exemplo, em semântica denotacional.
- Desenvolver lógicas epistêmicas não baseadas em semântica de Kripke mas em semântica não-Fregeana de Epsilon-Lógicas (evitando assim o problema da onisciência lógica)
- Estender lógicas abstratas por modalidades epistêmicas (``saber", ``crer") e outros conteitos semânticos usando o formalismo das Epsilon-Lógicas.
- Pesquisar aplicaçõs, por ex., em sistemas multi-agentes, Inteligencia Artificial, Sistemas Distribuidos.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Steffen Lewitzka - Coordenador. Financiador(es): Universidade Federal da Bahia - Remuneração.. |
| Lascar strong types in simple theories and subclasses fo simple theories |
|
| Situação: Desativado; Natureza: Outra. Integrantes: Steffen Lewitzka - Coordenador. . |
Revisor de periódico
| 2009 - Atual | Periódico: Logica Universalis (Print) |
Áreas de atuação
| 1. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação. |
| 2. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação /
Especialidade: Computabilidade e Modelos de Computação. |
| 3. | 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. |
| 4. | Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra /
Especialidade: Lógica Matemática. |
| 5. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Logica Universal. |
| 6. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligencia Artificial. |
Idiomas
| Alemão | Compreende Bem, Fala Bem, Lê Bem, Escreve Bem. |
| Português | Compreende Bem, Fala Bem, Lê Bem, Escreve Bem. |
| Inglês | Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Bem. |
| Espanhol | Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente. |
| Italiano | Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco. |
Prêmios e títulos
| 2008 | qualificacao em primeiro lugar em concurso publico na area da Teoria da Computacao, UFPB. |
| 2003 | Doutor em Ciências da Computação, UFPE - Universidade Federal de Pernambuco. |
| 1998 | Diplom Informatiker, Technische Universitaet Berlin. |
Produção em C,T & A
| Produção bibliográfica |
| Artigos completos publicados em periódicos |
| 1. |   LEWITZKA, S. . Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate. Logic Journal of the IGPL (Print) , v. 0000, p. 0000-0000, 2012. |
| 2. | LEWITZKA, S. . Semantically closed intuitionistic abstract logics. Journal of Logic and Computation (Print), p. 000000-000000, 2011. |
| 3. | Lewitzka, Steffen . $${in_K}$$ : a Non-Fregean Logic of Explicit Knowledge. Studia Logica, p. 233-264, 2011. |
| 4. | Lewitzka, Steffen ; Brunner, Andreas B. M. . Minimally Generated Abstract Logics. Logica Universalis (Print), v. 3, p. 219-241, 2009. |
| 5. | LEWITZKA, S. . $in_I$ : An Intuitionistic Logic without Fregean Axiom and with Predicates for Truth and Falsity. Notre Dame Journal of Formal Logic, v. 50, p. 275-301, 2009. |
| 6. | LEWITZKA, S. . Abstract Logics, Logic Maps and Logic Homomorphisms. Logica Universalis (Print), v. 1, p. 243-276, 2007. |
| 7. | LEWITZKA, S. ; QUEIROZ, R. . On Dividing Chains in Simple Theories. Archive for Mathematical Logic (Print), Heidelberg, Alemanha, v. 44, n. 7, p. 897-911, 2005. |
| Capítulos de livros publicados |
| 1. | LEWITZKA, S. . A Toplogical Approach to Universal Logic: Modeltheoretical Abstract Logics. In: Jean-Yves Beziau. (Org.). Logica Universalis - Towards a general theory of logic. 2 ed. Basel: Birkhauser, 2007, v. , p. 35-61. |
| 2. | LEWITZKA, S. . A Topological Approach To Universal Logic: Modeltheoretical Abstract Logics. In: Jean-Yves Beziau (Ed.). (Org.). Logica Universalis. 1 ed. Basel - Boston - Berlin: Birkhäuser Verlag, 2005, v. , p. 35-63. |
| Resumos publicados em anais de congressos |
| 1. | LEWITZKA, S. . Modeltheoretical Abstract Logics. In: First World Congress and School on Universal Logic UNILOG 2005, 2005, Montreux. Handbook of the First World Congress and School on Universal Logic '05. Montreux : Instituto de Lógica da Universidade de Neuchâtel, 2005. v. 1. p. 44-44. |
| Artigos aceitos para publicação |
| 1. | LEWITZKA, S. . Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate. Logic Journal of the IGPL (Online), 2011. |
| Produção técnica |
| Trabalhos técnicos |
| 1. | LEWITZKA, S. . Epsilon-T-4-Logic - a non-classical Theory of Truth and Reference. 2005. |
| 2. | LEWITZKA, S. . Abstract Logics and Logic Homomorphisms. 2005. |
Bancas
| Participação em bancas examinadoras |
| Trabalhos de Conclusão de Curso de graduação |
| 1. | LEWITZKA, S.; Abdalla, D.; Brunner, A.. Participação em banca de Matteus Barreto Oliveira. Logica Intuicionista. 2006. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade Federal da Bahia. |
| 2. | LEWITZKA, S.; Abdalla, D.; Andrade, A.; Assis Silva, F.. Participação em banca de Almiro Rocha da Silva. Aplicacao da Linguagem de Especificacao Formal B na Especificacao e Verificacao de Software. 2006. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade Federal da Bahia. |
| Participação em bancas de comissões julgadoras |
| Concurso público |
| 1. | LEWITZKA, S.. Concurso Público de Provas e Títulos, Edital n. 12/2009, UFPB, campus iv. 2009. Universidade Federal da Paraíba. |
Eventos
| Participação em eventos |
| 1. | First World Congress and School on Universal Logic UNILOG 2005.Modeltheoretical Abstract Logics. 2005. (Congresso). |
| 2. | Palestra sobre Teoria dos Modelos.Palestra sobre Teoria dos Modelos e Teorias Simples. 2001. (Encontro). |
| 3. | La Cave des Groups.Cave des Groups. 2000. (Congresso). |
| 4. | Seminário em Teoria dos Modelos.Seminário scientifico sobre Teoria dos Modelos na Universidade de Barcelona. 2000. (Seminário). |
| 5. | Seminário em Teorias Simples.Intercâmbio scientifico. 1999. (Encontro). |
| 6. | WOLLIC 98.Workshop of Logic Language and Computation. 1998. (Congresso). |
Orientações
| Supervisões e orientações concluídas |
| Trabalho de conclusão de curso de graduação |
| 1. | Debora Abdalla. Logica Intuicionista. 2006. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Steffen Lewitzka. |
| Página gerada pelo Sistema Currículo Lattes em 11/02/2012 às 13:30:55 |