Sebastian Uchitel – Communications of the ACM

Latin America Regional Special Section Jul 24 2024

When it comes to computer science, Latin American researchers have made significant contributions to multiple areas.

Research and Advances Feb 1 2015

Model checking and logic-based learning together deliver automated support, especially in adaptive and autonomous systems.

Computing Applications

ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.