Lecturer / Senior Lecturer in Computer Science: Formal Methods and Logic (510701) - University of New South Wales - Kensington, Randwick, Australia
Kensington, Randwick, , Australia
Communications of the ACM
October 2022
Four Conversations About Human-Centric AI
09.14.2022I discuss the different conversations, their limits, and what we really need to be talking about.
New Research Vindicates Fodor and Pylyshyn: No Explainable AI Without 'Structured Semantics'
09.14.2022In this short article, we generalize recent research results that clearly make the point that "there can be no explanation …
Heinz Rutishauser, a Forgotten Swiss Pioneer
09.14.2022A look at the little-known Rutishauser, who created "automatic programming" and was one of the "authoritative fathers" of the Algol …
Philadelphia Tech Salaries See Biggest Jump in the U.S.
09.26.2022Tech salaries in Philadelphia grew fastest this year than in …
Lossless Data Management Platform for ML, Sharing of Experimental Info
09.26.2022New platform allows automated analysis and lossless sharing of material …
Designing Quantum Materials on the Computer
09.26.2022An international team including researchers from Rice University and the …
Neurosymbolic AI
Combining neural networks with symbolic representations might make them more versatile and dependable.
Hidden Malware Ratchets Up Cybersecurity Risks
Cybercriminals could be hiding malware payloads in places where commercial cybersecurity software is unable to detect it.
Featured Jobs
Assistant Professor of Computer Science Cybersecurity - University of South Carolina Aiken - Aiken, SC
Aiken, SC, United States
Materials Science Laboratory Support Technologist - Sandia National Laboratories - Albuquerque, NM
Albuquerque, NM, United States
Lecturer, Computer Science - Information Systems - Binghamton University - Binghamton, NY
Binghamton, NY, United States