Alexandre Rademaker
Professor Adjunto at Fundação Getulio Vargas
Rio de Janeiro, Brazil
Summary
👤
Senior🎓
Top SchoolAlexandre Rademaker is an adjunct professor and researcher in Rio de Janeiro with 18 years of experience at the intersection of type theory, formal methods, computational linguistics, and knowledge representation. He holds a PhD in Computer Science from PUC-Rio, spent research internships at Microsoft Research and SRI International, and authored over 100 peer-reviewed papers including a Springer Briefs monograph on proof theory for Description Logics. At FGV he combines graduate teaching across logic, programming and automata with applied research and long-standing systems architecture and IT coordination experience. Alexandre serves on program committees for major NLP conferences and sits on the Global WordNet Association board, linking deep theoretical work to practical linguistic resources and NLU applications. Notably, his career blends rigorous proof-theoretic research with hands-on system optimization and data-preparation for research projects, making him effective at translating formal models into usable tools.
17 years of coding experience
12 years of employment as a software developer
PhD, Logic, Formal Methods and Theory of Computer Science, Master, Formal Methods, Distributed Algorithms, Especialização, E-Commerce/Electronic Commerce, Graduate, Computer Science, PhD, Logic, Formal Methods and Theory of Computer Science, Master, Formal Methods, Distributed Algorithms, Especialização, E-Commerce/Electronic Commerce, Graduate, Computer Science at Pontifícia Universidade Católica do Rio de Janeiro
Universidade Federal Fluminense
Fundação Getulio Vargas
English, Portuguese
Stackoverflow
2,743reputation
166kreached
8answers
22questions
Github Skills (200)
semantic-web10
datasets10
word-sense-disambiguation10
sumo10
open-access10
nlp10
udpipe10
zeplin10
morphological-analysis10
weather-api10
nltk10
simple-framework10
python10
backup10
wordnet10
Programming languages (36)
Github contributions (5)
LR-POR/ud-matrix
May 2020 - Oct 2021
Contributions:39 commits, 20 pushes, 3 branches in 1 year 5 months
cpdoc/dhbb-nlp
Jul 2017 - Jul 2021
processamentos DHBB
Contributions:233 commits, 14 PRs, 133 pushes in 4 years
python
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.