CURRICULUM VITAE Agosto/2006

Transcrição

1 CURRICULUM VITAE Agosto/2006 DADOS PESSOAIS Nome Sheila Regina Murgel Veloso Filiação Edmundo Adolpho Murgel e Therezinha Baldessarini Murgel Nascimento 27/01/ Rio de Janeiro/RJ - Brasil Carteira de Identidade IFP - RJ - 22/07/1970 CPF FORMAÇÃO ACADÊMICA/TITULAÇÃO Doutorado em Engenharia de Sistemas e Computação. Universidade Federal do Rio de Janeiro, UFRJ, Rio De Janeiro, Brasil Título: Mecanismos de Transmissão de Mensagens em Sistemas Distribuídos, Ano de obtenção: 1985 Orientador: Sueli Bandeira Mendes Mestrado em M A Mathematics. University of California, U.C., Oakland, Estados Unidos Título: O mestrado na UCB não exige dissertação, Ano de obtenção: 1973 Orientador: Inexistente Graduação em Engenharia Química. Universidade Federal do Rio de Janeiro, UFRJ, Rio De Janeiro, Brasil ATUAÇÃO PROFISSIONAL 1 Universidade do Estado do Rio de Janeiro - UERJ Vínculo institucional Vínculo: Docente, Enquadramento funcional: Prof. Titular, Carga horária: 40, Regime : Integral Atividades 01/ Atual Graduação, Engenharia de Sistemas e Computação Disciplinas Ministradas: 1. Analise de algoritmos 2 Universidade Federal do Rio de Janeiro - UFRJ Vínculo institucional Vínculo: Servidor publico, Enquadramento funcional: Professor Adjunto, Carga horária: 40, Regime : Dedicação Exclusiva Vínculo: servidor publico aposentado, Enquadramento funcional: Professor adjunto aposentado, Regime : Integral

2 Atividades 4/ /2005 Pós-graduação, Engenharia de Sistemas e Computação Disciplinas Ministradas: 1. Cálcuo Numérico 2. Computação I 3. Inteligência Artificial 4. Linguagens Formais MAB Lógica em Programação 6. Lógica MAB Organização de Dados I MAB Programaçào m Computadores II 9. Teoria da Computação 10/ /2005 Pós-graduação, Engenharia de Sistemas e Computação Disciplinas Ministradas: 1. Especificações Formais 2. Inteligência Artificial II COS Lógica I COS Programação em Lógica 5. Teoria da Computação COS Teoria de conjuntos e Lógica 7. Tópicos Especiais em Especificações Formais COS Tópicos Especiais em I.A. VII Tópicos Especiais em I.A. COS840 PRODUÇÃO EM C, T & A Produção bibliográfica Artigos completos publicados em periódicos 1. VELOSO, S. R. M., VELOSO, P. A. S., FREITAS, R. P. An Application of Logic Engineering. Logic journal of the IGPL (Print)., v.13, p.29-46, VELOSO, P. A. S., VELOSO, S. R. M. On Most and Representative : Filter Logic and Special Predicates. Logic journal of the IGPL (Print)., v.13, p , VELOSO, P. A. S., VELOSO, S. R. M. Functional Interpretation of Logics for Generally. Logic journal of the IGPL (Print)., v.12, p , VELOSO, P. A. S., VELOSO, S. R. M. On Ultrafilter Logic and Generic Functions. Studia logica., v.78, p , FREITAS, R. P., VIANA, J. P., BENEVIDES, M. R. F., VELOSO, S. R. M., VELOSO, P. A. S. Squares in Fork Arrow Logic. Journal Of Philosophical Logic., v.32, p , 2003.

3 6. VELOSO, P. A. S., FIADEIRO, J., VELOSO, S. R. M. On Local Modularity and Interpolation in Entailment Systems. Information Processing Letters., v.84, p , VELOSO, P. A. S., VELOSO, S. R. M. On Local Modularity Variants and Pi-Institutions. Information Processing Letters., v.77, p , Artigos aceitos para publicação 1. VELOSO, P. A. S., VELOSO, S. R. M., VIANA, J. P., FREITAS, R. P., BENEVIDES, M. R. F., DELGADO, C. A. D. On vague notions and modalities: a modular approach. Journal of Logic and Computation., Capítulos de livros publicados 1. VELOSO, S. R. M., VELOSO, P. A. S. On Modulated logics for "generally": Some metamathematical issues In: Aspects of Universal Logic ed.neuchâtel : Cntre de Revehercches Sémiologiques, 2004, v.17, p Comunicações e Resumos Publicados em Anais de Congressos ou Periódicos (completo) 1. VELOSO, P. A. S., VANA, L. B., VELOSO, S. R. M. Natural Deduction Strategies for "Generally In: XI Conferencia de la Asociación Espanõla para a Inteligencia Artificial, 2005, Santiago de Compostela. Actas CAepia Santiago de Compostela: Copy Nino, v.1. p VANA, L. B., VELOSO, P. A. S., VELOSO, S. R. M. Sobre lógicas para Geralmente em ambiente de Dedução Natural In: V Encontro nacional de Inteligência Artificial, 2005, São Leopoldo, RS. Anais do ENIA,05., p VELOSO, P. A. S., VELOSO, S. R. M. On Filter Logic for Most and Special Predicate In: Workshop on Combination of Logics: Theory and Applications CombLog', 2004, Lisboa. Proceedings of the Workshop on Combination of Logics: Theory and Applications. Campinas: Cle eprints, v.vol MORGADO, C. A. D., BENEVIDES, M. R. F., FREITAS, R. P., VELOSO, P. A. S., VELOSO, S. R. M.

4 On Modalities for Vague Notions In: XVII Brazilian Symposioum on Artificial Intellignce SBIA'04, 2004, São Luis, Maranhão. Lecture Notes on Intelligence Artificial. Berlim: Springer -Verlag, v p FREITAS, R. P., VELOSO, P. A. S., VIANA, J. P., VELOSO, S. R. M., BENEVIDES, M. R. F. On the expressive power of Fork Arrow Logic In: Workshop em Métodos Formais, 2002, Gramado. Proceedings 5th Workshop on FormalMethods. Porto Alegre: Evangraf Ldta, p FREITAS, R. P., VIANA, J. P., VELOSO, P. A. S., VELOSO, S. R. M., BENEVIDES, M. R. F. On Hybrid Arrow Logic In: 2002, Copenhagem. Proc. IV Electronic Notes in Computer Science., p VELOSO, S. R. M., VELOSO, P. A. S. On Special Functions and Theorem Proving in Logics for 'Generally' In: SBIA 2002, 16th Brazilian Symposium on Artificial Intelligence, 2002, Porto de Galinhas. Lecture Notes in Computer Science: Lecture Notes in Artificial Intelligence. Berlin: Springer Verlag, v p VELOSO, P. A. S., VELOSO, S. R. M. Qualitative Logic for Generally In: CMSRA'02 Workshop dentro do IC-AC, 2002, Las Vegas. Proc. CMSRA'02., v.3. p BENEVIDES, M. R. F., FREITAS, R. P., VELOSO, P. A. S., VELOSO, S. R. M., VIANA, J. P. Axiomatization and Completeness in Fork Arrow Logic In: Workshop on Formal Methods, outubro, 2001, Rio de Janeiro, RJ. Proc. IV WMF,., v.1. p SILVA, J. C. P., VELOSO, S. R. M. Classes of sets give answers to Answer Set Semantics and Program Evolution In: Encontro Nacional de Inteligência Artificial ENIA 2001, 2001, Anais do XXI Congresso da SBC. Anais do XXI Congresso da SBC em CD ROM, Fortaleza 30/07-3/ Niteroi: ILTC Instituto Doris Ferraz de Aragon, p VELOSO, S. R. M., VELOSO, P. A. S. On a Logical Framework for Generally In: Laptec 2001, 2001, São Paulo. Logic, Artificial Intelligence and Robotics. Holanda: IOS Press, v.71. p VELOSO, S. R. M., VELOSO, P. A. S. On Qualitative Reasoning with 'Most'and 'Typical In: I Encontro Nacional de Inteligência Artificial, ENIA2001, 2001, Fortaleza. Anais do XXI Congresso da SBC. Niteroi: ILTC Instituto Doriz Ferraz de Aragon, p FREITAS, R. P., VIANA, J. P., BENEVIDES, M. R. F., VELOSO, P. A. S., VELOSO, S. R. M. Squares in Fork Modal Logic In: WOLLIC 2001, 2001, Brasilia. Proceedings of WOLLIC Brasília: UnB, v.1. p Comunicações e Resumos Publicados em Anais de Congressos ou Periódicos (resumo)

5 1. VIANA, J. P., FREITAS, R. P., VELOSO, S. R. M., VELOSO, P. A. S. Graph Relational Calculus In: XIV Encontro Brasileiro de Lógica, 2006, Itatiaia. Caderno de Resumos., VELOSO, S. R. M., VELOSO, P. A. S., VANA, L. B. Natural Deduction for Generally: proof strategies and normalization In: XIV Encontro Brasileiro de Lógica 2006, 2006, Itatiaia. Caderno de Resumos., VELOSO, S. R. M., VELOSO, P. A. S. On Logic for generally and ther relational interpretations In: First world Congress on Universal Logic, 2005, Montreux. Handbook of the 1st World Congress and School on Universal Logic. Neuchâtel: Uniuversité de Neuchâtel, v.1. p Outras produções bibliográficas 1. VELOSO, P. A. S., VELOSO, S. R. M. On Logics for "Generally". Relatório Tecnico. :PESC- UFRJ, (Outra produção bibliográfica,outra produção bibliográfica) 2. VELOSO, P. A. S., VELOSO, S. R. M. On Logics for "Generally" and Relational Interpretations for "Generally". Relatorio Tecnico. :PESC UFRJ, (Outra produção bibliográfica,outra produção bibliográfica) 3. VELOSO, P. A. S., VELOSO, S. R. M. On Modulated Logics for "Generally": Some Metamathematical AspectsOn Modulated Logics for "Generally": Some Metamathematical Aspects. Relatorio Técnico. :PESC- UFRJ, (Outra produção bibliográfica,outra produção bibliográfica) 4. VELOSO, S. R. M., VELOSO, P. A. S. On Special Predicates and Filter Logic for "Most".. Relatorio Tecnico. :PESC, (Outra produção bibliográfica,outra produção bibliográfica) 5. FREITAS, R. P., VELOSO, P. A. S., VIANA, J. P., VELOSO, S. R. M., BENEVIDES, M. R. F. On the expressive power of Fork Arrow Logic. Relatorio Tecnico. Rio de Janeiro:Progrma de Engenharia de Sistemas e Computação/COPPE, (Outra produção bibliográfica,outra produção bibliográfica) 6. VELOSO, P. A. S., VELOSO, S. R. M. Towards Theorem Proving in Logics for. Relatorio Tecnico. :PESC UFRJ, (Outra produção bibliográfica,outra produção bibliográfica) Produção Técnica

6 Trabalhos Técnicos 1. VIANA, J. P., FREITAS, R. P., VELOSO, P. A. S., VELOSO, S. R. M., BENEVIDES, M. R. F. Hybridizing Square Arrow Logic, FREITAS, R. P., VELOSO, P. A. S., VIANA, J. P., VELOSO, S. R. M., BENEVIDES, M. R. F. On the expressive Power of Fork Arrow Logic, BENEVIDES, M. R. F., FREITAS, R. P., VELOSO, P. A. S., VELOSO, S. R. M., VIANA, J. P. Fork Arrow Logic: Axiomatization and Completeness, FREITAS, R. P., VIANA, J. P., BENEVIDES, M. R. F., VELOSO, P. A. S., VELOSO, S. R. M. Infinite Squares in Fork Arrow Logic, 2001 Orientações e Supervisões Orientações e Supervisões concluídas Teses de doutorado : orientador principal 1. Renata Pereira de Freitas. Lógica Modal da Bifurcação Tese (Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro Teses de doutorado : co-orientador 1. Jorge Petrucio Viana. Extensões não lógicas do cálculo relacional Tese (Programa de Engenharia de Sistemas e Computação) - Uinersidade Federal do Rio de Janeiro Orientações e Supervisões em andamento Teses de doutorado : orientador principal 1. Leonardo Vanna. Lógicas para noções vagas Tese (Engenharia de Sistemas e Computação) -

7 Universidade Federal do Rio de Janeiro Página gerada pelo Sistema Currículo Lattes em 25/08/2006 às 17:26:03.