Skip to content

Carlos Henrique Duarte

  • PhD
  • Senior Member of Technical Staff
  • Banco Nacional de Desenvolvimento Economico e Social
  • 5h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 65CitationsNumber of citations received by Carlos Henrique's publications. Updated daily.


Carlos Henrique Cabral Duarte has more than 25 years of professional experience in engineering, finance, management, research and teaching. He is a senior member of technical staff at the Brazilian Development Bank (BNDES, 1992-), Rio de Janeiro, responsible for the accreditation of machines, equipment, components and systems of many economic sectors (2012-). Previously, he was an operations manager (2002-12), in charge of the funding of more than 60 ICT companies, two now listed in the Bovespa Stock Market. He was the BNDES representative in the Information Technology Advisory Committee of the Ministry of Science, Technology and Inovation (CATI/MCTI) and deputy board member of the National Society for the Advancement of Software Quality (2003-12). In 2007, his biography was included in the publication Marquis Who is Who in the World due to contributions to the Brazilian software industry. Carlos Henrique has also an academic career. He worked as a lecturer in Brazilian Universities (1999-2009) and was a research fellow of the Brazilian NSF (CNPq 2C 2001-3). He has written and reviewed many papers for scientific journals and conferences, recently becoming an industry program committee member (RE 2014-7, 2016 co-Chair; ICSEA 2016-7), workshop organizer (CESI 2015-6, held in conjunction with ICSE 2015-6) and panel member (organizer in RE 2015-6, panelist in ICSE 2014 and RE 2013). Carlos holds PhD (Imperial College, London, 1999), MSc (PUC-Rio, 1994) and BMath (UFJF, 1992) degrees in computing. He is a Senior Member of the IEEE (1990-) and Distinguished Visitor of the Computer Society (2018-2020).


Information and Software Technology

Guest Editor - Special Issue

2016 - 2018(2 years)

Recent publications

  • Rigorous Development of Functional Programs using Temporal Logic

  • Current Trends in Rigorous Distributed Object Based Software Development

    • Carlos Henrique C. Duarte

Professional experience

Senior Member of Technical Staff


December 1992 - Present



March 2002 - April 2012(10 years)


Universidade Estacio de Sa

August 2001 - June 2009(8 years)

Visiting Researcher

HP Labs Bristol

August 1995 - October 1995(2 months)

Scientific Programmer

Empresa Brasileira de Pesquisa Agropecuaria

December 1989 - December 1992(3 years)



Imperial College London

October 1994 - January 1999(4 years)


Pontificia Universidade Catolica do Rio de Janeiro

March 1992 - July 1994(2 years)


Universidade Federal de Juiz de Fora

January 1988 - March 1992(4 years)

Co-authors (13)

  • dinnora jacquline