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.

This certificate aims to provide the students with a strong quantitative foundation in continuum soft tissue mechanics, medical device design, imaging and instrumentation that will help them advance ...

September 2024 marked our inaugural symposium, which featured 150 registrants, 33 student poster presentations spanning 10 departments, two CHI Best Paper awardees, a pair of keynote speakers and a ...

At the Stevens School of Business, we are proud to cultivate Ph.D. candidates who apply leading-edge technologies and methodologies to solve complex financial and technical challenges. These talented ...

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 ...