Located in the heart of the New York metropolitan area, our programs and resources connect you to the center of the financial world, Fortune 500 technology companies, and top research and government ...

Our vibrant campus sits across the river from New York City, opening the door to endless opportunity and adventure. There’s never a dull moment on campus — with fraternities and sororities, clubs, ...

Alumni Weekend 2025 promises to be an unforgettable celebration, reuniting graduates and their guests from around the world. This year’s lineup is packed with dynamic social gatherings, special ...

Many applications from camera arrays to sensor networks require efficient compression and processing of correlated data, which in general is collected in a distributed fashion. While ...

The Diophantine problem in a group G, shortly DP(G), is decidable if there is an algorithm which, when given a finite system of group equations with coefficients in G, decides whether the system has a ...

Formal methods research involves using mathematical techniques to specify and verify properties of software and hardware systems. Insecurity and privacy research, formal methods can lead to strong, ...

The algorithmic power of DNNs often comes at a high cost in terms of latency and energy consumption, posing significant challenges, especially in resource-constrained environments like AR/VR. AR/VR ...

Automated deductive verifiers are tools that take as input a program and a specification and attempt to construct a formal proof, using a program logic, that the program satisfies its specification.

Join us for the IT Quackathon, an exciting event hosted by the CIO Advisory Committee and the Division of Information Technology at Stevens Institute of Technology. This unique competition combines ...

Distributed wireless networks are transforming communication systems, enabling seamless connectivity across IoT, smart cities, and beyond. However, their decentralized nature and open communication ...

A collaborative Stevens study shows that voice-assistant technologies hold promise for some drivers — and may rub others the wrong way. Artificial intelligence-based voice assistants for drivers are ...

U.S. Department of Energy’s $1.9M grant is funding Dibs Sarkar and Christos Christodoulatos’ revolutionary work to find new sustainable solutions for clean energy As the world continues to move toward ...