Ruy J. Guerra B. de Queiroz (born January 11, 1958 in Recife) is an associate professor at Universidade Federal de Pernambuco and holds significant works in the research fields of Mathematical logic, proof theory, foundations of mathematics and philosophy of mathematics. He is the founder of the Workshop on Logic, Language, Information and Computation (WoLLIC), which has been organised annually since 1994, typically in June or July.
Attributes | Values |
---|
rdf:type
| |
rdfs:label
| - روي دي كيروش (ar)
- Ruy de Queiroz (en)
- Ruy de Queiroz (pt)
|
rdfs:comment
| - روي دي كيروش (بالبرتغالية: Ruy de Queiroz) هو رياضياتي برازيلي، ولد في 11 يناير 1958 في ريسيفي في البرازيل. (ar)
- Ruy J. Guerra B. de Queiroz (born January 11, 1958 in Recife) is an associate professor at Universidade Federal de Pernambuco and holds significant works in the research fields of Mathematical logic, proof theory, foundations of mathematics and philosophy of mathematics. He is the founder of the Workshop on Logic, Language, Information and Computation (WoLLIC), which has been organised annually since 1994, typically in June or July. (en)
- Ruy José Guerra Barretto de Queiroz (Recife, 11 de janeiro de 1958) é um professor titular da Universidade Federal de Pernambuco e possui trabalhos significativos nas áreas de pesquisa da Lógica matemática, Teoria da prova, Fundações da matemática e Filosofia da matemática. Ele é o fundador do WoLLIC (Workshop on Logic, Language, Information and Computation), que tem sido organizado anualmente desde 1994, tipicamente em Junho ou Julho. (pt)
|
foaf:depiction
| |
dcterms:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
Link from a Wikipage to an external page
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
thumbnail
| |
has abstract
| - روي دي كيروش (بالبرتغالية: Ruy de Queiroz) هو رياضياتي برازيلي، ولد في 11 يناير 1958 في ريسيفي في البرازيل. (ar)
- Ruy J. Guerra B. de Queiroz (born January 11, 1958 in Recife) is an associate professor at Universidade Federal de Pernambuco and holds significant works in the research fields of Mathematical logic, proof theory, foundations of mathematics and philosophy of mathematics. He is the founder of the Workshop on Logic, Language, Information and Computation (WoLLIC), which has been organised annually since 1994, typically in June or July. Ruy de Queiroz received his B.Eng in Electrical Engineering from Escola Politecnica de Pernambuco in 1980, his M.Sc in Informatics from Universidade Federal de Pernambuco in 1984, and his Ph.D in Computing from the Imperial College, London in 1990, for which he defended the Dissertation Proof Theory and Computer Programming. An Essay into the Logical Foundations of Computation. (en)
- Ruy José Guerra Barretto de Queiroz (Recife, 11 de janeiro de 1958) é um professor titular da Universidade Federal de Pernambuco e possui trabalhos significativos nas áreas de pesquisa da Lógica matemática, Teoria da prova, Fundações da matemática e Filosofia da matemática. Ele é o fundador do WoLLIC (Workshop on Logic, Language, Information and Computation), que tem sido organizado anualmente desde 1994, tipicamente em Junho ou Julho. Ruy de Queiroz recebeu seu Bacharelado em Engenharia Elétrica pela Escola Politecnica de Pernambuco in 1980, seu Mestrado em Ciências da Computação pela Universidade Federal de Pernambuco in 1984, e seu Doutorado em Computação pelo Imperial College em 1990, pela defesa da Dissertação "Proof Theory and Computer Programming. An Essay into the Logical Foundations of Computation"; supervisionado pelo Professor Thomas S. E. Maibaum. (pt)
|
gold:hypernym
| |
schema:sameAs
| |
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is foaf:primaryTopic
of | |