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. Atualmente atua como Professor Adjunto na Universidade Federal da Bahia. Tem experiência nas áreas de Lógica e Teoria da Computação.

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

Acadêmico

Formação acadêmica

Doutorado em Ciências da Computação

1998 - 2003

Universidade Federal de Pernambuco
Título: Contributions to the investigation of Lascar strong types in simple theories
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 TerraGrande Á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).

Mestrado em Ciência da Computacao

1996 - 1998

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.

Especialização em Matemática

1995 - 1996

Universita di Bologna
Bolsista do(a): Erasmus, E, Alemanha.

Especialização em Filosofia

1992 - 1993

Universidad de Salamanca
Bolsista do(a): Erasmus, E, Alemanha.

Graduação em Ciência da Computacao

1994 - 1998

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

Graduação em Ciência da Computação

1993 - 1994

Universitaet Hamburg

Graduação em Ciência da Computação

1990 - 1992

Universitaet Leipzig

Pós-doutorado

2016 - 2017

Pós-Doutorado. , University of Potsdam, UNI/Potsdam, Alemanha.

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, 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, Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.

Idiomas

Inglês

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

Espanhol

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

Português

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

Italiano

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

Alemão

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

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.

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.

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: Matemática / Subárea: Álgebra/Especialidade: Lógica Matemática.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Logica Universal.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligencia Artificial.

Participação em eventos

First World Congress and School on Universal Logic UNILOG 2005. Modeltheoretical Abstract Logics. 2005. (Congresso).

Palestra sobre Teoria dos Modelos.Palestra sobre Teoria dos Modelos e Teorias Simples. 2001. (Encontro).

La Cave des Groups. Cave des Groups. 2000. (Congresso).

Seminário em Teoria dos Modelos.Seminário scientifico sobre Teoria dos Modelos na Universidade de Barcelona. 2000. (Seminário).

Seminário em Teorias Simples.Intercâmbio scientifico. 1999. (Encontro).

WOLLIC 98. Workshop of Logic Language and Computation. 1998. (Congresso).

Participação em bancas

Aluno: Flávio Oliveira Escobar

LEWITZKA, S.. Especificações e Verificações Formal de um Sistema de Arquivos no Padrão POSIX para dispositivo NAND Flash. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

Aluno: Matteus Barreto Oliveira

LEWITZKA, S.; Abdalla, D.; Brunner, A.. Logica Intuicionista. 2006. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade Federal da Bahia.

Aluno: Almiro Rocha da Silva

LEWITZKA, S.; Abdalla, D.; Andrade, A.; Assis Silva, F.. 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.

LEWITZKA, S.. Concurso Público de Provas e Títulos para Professor Adjunto 1, DE, Edital Reitor 84. 2010. Universidade Federal da Paraíba.

LEWITZKA, S.. Concurso Público de Provas e Títulos, Edital n. 12/2009, UFPB, campus iv. 2009. Universidade Federal da Paraíba.

Orientou

Rafael Araújo

Versões Não-Fregeanas de Lógicas para ASP; Início: 2016; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia; (Orientador);

Marcelo Pereira Novaes

Lógicas Não-Fregeanas e suas Aplicações na Ciência da Computação; Início: 2016; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia; (Orientador);

Patrick Pamponet Steiger

Uma Definição Indutiva de Grafos em Haskell; 2015; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Bahia; Orientador: Steffen Lewitzka;

NILTON FLAVIO SOUSA SEIXAS

Lógica Modal e o Problema da Onisciência Lógica; 2014; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Bahia; Orientador: Steffen Lewitzka;

Produções bibliográficas

Lewitzka, Steffen . Access-based intuitionistic knowledge. JOURNAL OF LOGIC AND COMPUTATION , v. 000, p. 000, 2021.
Lewitzka, Steffen . Reasoning about proof and knowledge. ANNALS OF PURE AND APPLIED LOGIC , v. 170, p. 218-250, 2018.
Lewitzka, Steffen . A modal logic amalgam of classical and intuitionistic propositional logic. Journal of Logic and Computation (Print) , v. 27, p. exv048-212, 2017.
Lewitzka, Steffen . Epistemic extensions of combined classical and intuitionistic propositional logic. LOGIC JOURNAL OF THE IGPL , v. 25, p. 309-324, 2017.
BRUNNER, ANDREAS BERNHARD MICHAEL ; Lewitzka, Steffen . Topological Representation of Intuitionistic and Distributive Abstract Logics. Logica Universalis (Print) , v. 11, p. 153-175, 2017.
Lewitzka, Steffen . Denotational Semantics for Modal Systems S3-S5 Extended by Axioms for Propositional Quantifiers and Identity. Studia Logica , v. 103, p. 507-544, 2015.
LEWITZKA, S. . Algebraic semantics for a modal logic close to S1. Journal of Logic and Computation (Print) , v. 26, p. 1769-1783, 2014.
LEWITZKA, S. . Semantically closed intuitionistic abstract logics. Journal of Logic and Computation (Print) , v. 22, p. 351-374, 2012.
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) , v. 20, p. 1083-1109, 2012.
Lewitzka, Steffen . $${in_K}$$ : a Non-Fregean Logic of Explicit Knowledge. Studia Logica , v. 97, p. 233-264, 2011.
Lewitzka, Steffen ; Brunner, Andreas B. M. . Minimally Generated Abstract Logics. Logica Universalis (Print) , v. 3, p. 219-241, 2009.
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.
LEWITZKA, S. . Abstract Logics, Logic Maps and Logic Homomorphisms. Logica Universalis (Print) , v. 1, p. 243-276, 2007.
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.
LEWITZKA, S. . A Toplogical Approach to Universal Logic: Modeltheoretical Abstract Logics. In: Jean-Yves Beziau. (Org.). Logica Universalis - Towards a general theory of logic. 2ed.Basel: Birkhauser, 2007, v. , p. 35-61.
LEWITZKA, S. . A Topological Approach To Universal Logic: Modeltheoretical Abstract Logics. In: Jean-Yves Beziau (Ed.). (Org.). Logica Universalis. 1ed.Basel - Boston - Berlin: Birkhäuser Verlag, 2005, v. , p. 35-63.
Brunner, Andreas B. M. ; Lewitzka, Steffen . Topological Representation of Intuitionistic and Distributive Abstract Logics. In: XVI. Encontro Brasileiro de Lógica, 2011, Petropolis. XVI. Encontro Brasileiro de Lógica, 2011.
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.

Outras produções

LEWITZKA, S. . Abstract Logics and Logic Homomorphisms. 2005.

LEWITZKA, S. . Epsilon-T-4-Logic - a non-classical Theory of Truth and Reference. 2005.

LEWITZKA, S. . On some many-valued abstract logics and their Epsilon_T-style extensions. 2012. (Relatório de pesquisa).

LEWITZKA, S. . Denotational Semantics for Normal Modal Logics with Propositional Quantifiers and Identity. 2012. (Relatório de pesquisa).

LEWITZKA, S. . Necessity as Justified Truth. 2012. (Relatório de pesquisa).

Projetos de pesquisa

2007 - Atual

Lógicas Abstratas e Epsilon-Lógicas: uma teoria geral de lógicas e de suas extensões por modalidades e conceitos semânticos, Descrição: Formalismos para a representação uniforme de sistemas lógicos são de grande importância em diversas áreas da Ciência da Computação, como p. ex. em especificação formal de sistemas, Inteligência Artificial, sistemas multi-agentes, etc. O conceito de Lógica Abstrata baseia-se em noções algébricas (sistemas de fechos, operadores de fechos) e permite uma modelagem abstrata de lógicas clássicas e não-clássicas. De grande interesse na Ciência da Computação (particularmente: IA, Sistemas Distribuídos, Métodos Formais) são lógicas modais e, mais especificamente, lógicas epistêmicas que permitem o raciocínio sobre conhecimento e crença de agentes, e sobre outras modalidades e conceitos semânticos. O projeto tem como objetivo o desenvolvimento e estudo de certas Lógicas Não-Fregeanas baseadas no formalismo Epsilon-Logic. Este formalismo é capaz de estender lógicas abstratas arbitrárias por modalidades e predicados semânticos. Em trabalhos recentes (ou em andamento) deste projeto estabelecemos uma nova semântica promissora para lógicas modais e epistêmicas usando a semântica de Lógicas Não-Fregeanas. Esta semântica é independente da semântica comum de Kripke e permite uma modelagem mais flexível. Projeto sem apoio financeiro.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Steffen Lewitzka - Coordenador.

Prêmios

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.

Histórico profissional

Endereço profissional

Universidade Federal da Bahia, Departamento de Ciência da Computação. , Av. Ademar de Barros, Ondina, 40170-110 - Salvador, BA - Brasil, URL da Homepage:

Experiência profissional

2011 - Atual

Universidade Federal da Bahia

Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Regime: Dedicação exclusiva.

2008 - 2011

Universidade Federal da Paraíba

Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Regime: Dedicação exclusiva.