Mario R. Folhadela Benevides

Mario R. Folhadela Benevides is a Full Professor at the Universidade Federal do Rio de Janeiro (UFRJ). He is affiliated with the Systems and Computing Engineering Program (PESC/COPPE) within the Department of Computer Science (DCC) and the Institute of Mathematics (IM). He holds a Ph.D. from Imperial College (1991). His research focuses on areas such as Artificial Intelligence, Distributed Algorithms, Logic, Game Theory, and Concurrency. He teaches graduate and undergraduate courses including Artificial Intelligence, Distributed Algorithms, and Game Theory.

Education: Ph.D. in Computer Science from Imperial College London (1991).

Research interests emphasize theoretical foundations of computing, particularly in logic-based systems, algorithm design, and applications of game theory in computer science. His teaching portfolio includes advanced topics like Prolog programming, heuristic search methods, and neural networks.

No scientific awards or recent articles were explicitly mentioned in the provided texts. His professional activities center on academic instruction and research supervision within UFRJ's engineering and mathematics divisions.