Fwd: [dept02] Fwd: Re: [Sbc-l] Falecimento do prof Roberto Lins de Carvalho

[Mario Benevides]

Caros,

É com imenso pesar que comunico o falecimento do Prof. Roberto Lins de Carvalho. Lins foi professor da PUC-Rio e influenciou gerações de alunos a estudarem Teoria da Computação, Lógica e IA.

Tive o privilégio de ter sido aluno e amigo do Lins. Ele foi um pioneiro na área de teoria da computação e de IA no Brasil. Era um excelente professor, com um entusiasmo contagiante. Lembro que no primeiro curso de linguagem de programação que fiz na graduação ele nos ensinou uma linguagem que tinha if, goto, x:=x+1, = e < e tínhamos que fazer vários programas que computavam funções bem complicadas, ele nos falou de Máquinas de Turing e dos limites da computação. Lins era um inovador.

Aprendi muito com ele sobre Teoria da Computação, Lógica e IA e principalmente sobre a vida.

Mario

---------- Mensagem encaminhada ----------
De: Miguel Jonathan <jona...@dcc.ufrj.br>
Data: 14 de novembro de 2014 12:24
Assunto: [dept02] Fwd: Re: [Sbc-l] Falecimento do prof Roberto Lins de Carvalho
Para: Dept02 <dep...@dcc.ufrj.br>

Para conhecimento dos colegas, uma grande perda para a comunidade de computação.

Jonathan

 

 

-------- Mensagem original --------

Assunto:	Re: [Sbc-l] Falecimento do prof Roberto Lins de Carvalho
Data:	14/11/2014 11:02
De:	Luis Carlos Trevelin <trev...@dc.ufscar.br>
Para:	sb...@sbc.org.br

 

Endosso as palavras do Daltro.
O prof. Lins se destacou na comunidade de computação pelas suas contribuições.
Que sua alma seja lembrada...


Trevelin

Em 14/11/2014 10:09, Daltro José Nunes escreveu:

É com pesar que tomo conhecimento do  falecimento do Prof. Lins.
Foi meu professor e entusiasta da área teórica
da computação. Na minha opinião, foi um dos
pioneiros desta área no Brasil, impactando em
todos os cursos de graduação/pós-graduação
da área de computação.

Daltro

On 11/14/14, 2:09 AM, PEDRO FARIAS wrote:

É com imenso pesar que venho comunicar a comunidade acadêmica o falecimento do prof. Roberto Lins de Carvalho hoje em Fortaleza.

Lins terminou o doutorado em 1974 orientado por Stephen Cook na àrea de prova automática de teoremas. Foi um dos fundadores do primeiro programa de pós-graduaçao do Brasil na  PUC/RJ. Lecionou também no IME e no LNCC e orientou um grande número de mestres e doutores.

 

Para além da teoria da computação, da lógica e da inteligência artificial , Lins transmitia genuino entusiasmo pela pesquisa.

 

 

 

 

 

 

 

_______________________________________________
Sbc-l mailing list
Sb...@sbc.org.br
http://grupos.ufrgs.br/mailman/listinfo/sbc-l

--

_______________________________________________
Sbc-l mailing list
Sb...@sbc.org.br
http://grupos.ufrgs.br/mailman/listinfo/sbc-l

 

-- 
Luis Carlos Trevelin - Dr.
Professor e Pesquisador em Ciência da Computação
e Bioinformática.
Coordenador do Programa de Pós-Graduação em Biotecnologia

Departamento de Computação - UFScar - São Carlos - SP
Tel (16) 33518627 - Cel. (16) 997243656 

 

_______________________________________________
Sbc-l mailing list
Sb...@sbc.org.br
http://grupos.ufrgs.br/mailman/listinfo/sbc-l

_______________________________________________
Dept02 mailing list
Dep...@dcc.ufrj.br
http://ilha.dcc.ufrj.br/mailman/listinfo/dept02

--

Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario

--

Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario

[Valeria de Paiva]

Que triste, Mario! obrigada por passar a noticia. Lins foi mesmo um dos fundadores do campo de prova automatica de teoremas no Brasil, espero que alguem esteja organizando uma homenagem.

:(

Valeria

--
Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
Acesse esse grupo em http://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAA6BQpWhWjhL-%3DUDBfVVT70cENfweJbnPeukRF8SvBJ-M9NVSA%40mail.gmail.com.

--

Valeria de Paiva
http://www.cs.bham.ac.uk/~vdp/
http://valeriadepaiva.org/

[Marcelo Finger]

OI Mário.

Obrigado pela notícia, mesmo que triste.

Eu me lembro do Lins com carinho, que conheci em Londres no início da década de 90 e desde então venho ouvindo ecos de sua atuação, histórias, mitos e anedotas, possivelmente todas (quase) verdadeiras.

[]s

--

Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
Acesse esse grupo em http://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAA6BQpWhWjhL-%3DUDBfVVT70cENfweJbnPeukRF8SvBJ-M9NVSA%40mail.gmail.com.

--

 Marcelo Finger
 Departament of Computer Science, IME    
 University of Sao Paulo
 http://www.ime.usp.br/~mfinger

[Famadoria]

Conheci-o em 2007. Era muito amigo do Chaitin. 

Sent from my iPhone

--

Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
Acesse esse grupo em http://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAA6BQpWhWjhL-%3DUDBfVVT70cENfweJbnPeukRF8SvBJ-M9NVSA%40mail.gmail.com.

<Parte 2.asc>

[Sheila Veloso]

Mario, agradecemos a divulgação, apesar de termos  ficado muito tristes com a notícia.

O Lins  era uma pessoa única. Tinha  profundo conhecimento sobre questões fundamentais da computação e apesar de não ser afeito à participação em congressos  (era muito inquieto para  ficar sentado por muito tempo),  era ótimo de papo. Sua cultura e seus insights sobre problemas da computação tornavam instigante qualquer conversa  com ele sobre o assunto.

Sua participação na formação do departamento de informática da PUC foi fundamental .

Certamente foi uma grande perda.

Sheila e Paulo Veloso

 

2014-11-14 14:08 GMT-02:00 Mario Benevides <ma...@cos.ufrj.br>:

--