For decades, software engineering has been associated primarily with technical mastery: algorithms, programming languages, system architectures, and tools. Yet, every few years, the field rediscovers ...

Gabriela Moreira, CEO of Quint at Informal Systems, is a research engineer specializing in programming languages and formal ...

Designers of essential space and defense systems increasingly look to formal verification to ensure reliability and security in these platforms.

SAN FRANCISCO, April 16, 2026 /PRNewswire/ -- Linux Foundation Networking (LFN), the facilitator of collaboration and operational excellence across open source networking projects, welcomes the formal ...

How agentic AI will change the way software is developed and managed. In partnership withSoftServe Software engineering has experienced two seismic shifts this century. First was the rise of the open ...

Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with content, and download exclusive resources. Dany Lepage discusses the architectural ...

Georgian Tutuianu transitioned from software engineering to an AI engineer at HubSpot. Tutuianu created a side project section on his résumé to showcase his experience with AI. He said AI engineering ...

Generative AI has fractured the economics of software engineering. Agentic coding assistants now give senior engineers an AI boost, multiplying their throughput, while imposing an AI drag on ...

Logic studies how arguments work, and how ideas can fit together. Decision theory studies how decisions should be made, especially under uncertainty. Game theory considers how we reason strategically, ...

Since its launch around a year ago, Claude Code has changed the way software engineers work, according to Fortune. The agentic AI tool can complete tasks without much human oversight, and it can build ...

At a recent VLSI-D panel, industry leaders explored one of the most pressing topics in silicon design today — the intersection of AI-powered EDA, which is revolutionizing chip design for tomorrow.

To continue reading this content, please enable JavaScript in your browser settings and refresh this page. Preview this article 1 min Pittsburgh's largest private ...