Jenn Pocock

Bringing safe water to the table

Jennifer Pocock — Tue, 30 Sep 2025 21:55:22 +0000

Bringing safe water to the table Jennifer Pocock Tue, 09/30/2025 - 17:55

New �鶹��Ƶ researcher goes beyond engineering to connect communities.

Smith visits a well with a handpump in Apac district, Uganda with colleague Paska Anyapo Sizzela, Senior Sanitation Officer for International Lifeline Fund. Photo by James Winter

Fresh water is not just the foundation of life; it’s also at the center of every society. From ancient watering holes that brought all the animals to the yard to municipal systems that bring refreshment from tap-to-glass, water connects us all.

Daniel Smith is a water treatment engineering expert who advocates for clean water and sanitation in both large municipalities and tiny rural communities. The newly appointed assistant professor of environmental engineering and water resources in the Dewberry Department of Civil, Environmental, and Infrastructure Engineering brings experience working with organizations in Honduras, Uganda, Bangladesh, and across the United States—just to name a few.

What makes him really interesting, though, is how he blends social sciences with his engineering research. He's implemented research on a phenomenon called social capital, which is a way to measure how much a community trusts—or distrusts—one another and its effect on infrastructure management. “That was an amazing concept to me as an engineer.”

In communities with high social capital, he found, it's easy to get widespread buy-in for community-managed infrastructure. “They tend to raise more money, have better communication with less misinformation, and better implement training programs,” he said.

The projects are easier to get off the ground, gain trust and enthusiasm, and create a “virtuous circle” where the buy-in creates better living situations, which raises social capital overall, and allows for openness to further improvements.

In communities with low social capital, however, communication is difficult, projects are hard to get going, and a vicious cycle starts, which leads to even less trust and buy-in overall (and poorer water quality). In those cases, he's worked on communication methods to help raise community trust.

As a new face in civil and environmental engineering, Smith is still in the process of setting up his water quality lab at the Potomac Science Center. When it’s finished, he will bring his nonprofit and research collaborations with water utilities in the Northern Virginia and Washington, D.C., area and nonprofit organizations, such as AguaClara Reach in Honduras and International Lifeline Fund in Uganda, to George �鶹��Ƶ.

In This Story

Daniel W. Smith

Learn about Sustainability at George �鶹��Ƶ

Topics

water quality

clean water

Potomac Science Center

Research

Sustainability

Biomedical internship yielded lively experience

Jennifer Pocock — Fri, 22 Aug 2025 18:22:51 +0000

Biomedical internship yielded lively experience Jennifer Pocock Fri, 08/22/2025 - 14:22

Jacob Lockey improved his pipette and professional skills in his summer at Athari Biosciences.

Jacob Lockey (right) with his Athari Biosciences mentors, Sanskruthi Sreepangi (middle) and Mahaniya Srinivasan (left).

When Lockey, a bioengineering major through the bachelor’s accelerated master’s program at �鶹��Ƶ, accepted his internship at Athari Biosciences, he knew that he would have a different experience than his fellow students at larger companies.

Athari is a small health equity accelerator lab in Sterling, Virginia, that performs biomedical R&D, lab testing, and educational services. Lockey is interested in nanomedicine, especially researching nanocarriers.

“A nanocarrier is a nanoparticle that has been engineered to hold something—in some cases, a drug—and deliver it to a target, such as a cancer cell,” he said. “The internship was very useful for stuff I’d be doing in the future.”

Lockey worked on several different projects, including helping calibrate a robot that automates assays (experiments or tests). He also optimized and built different assays, including one using E. coli bacteria to see how it would react to novel antibacterial drugs. This allowed him to explore options for new drugs that could not only kill E. coli bacteria but also make it less likely to become drug resistant.

“My favorite part overall was the last day,” he said. “Athari hosted a friends and family presentation day. We got to present our work in what would be a real scientific setting, but it was with the C-suite at Athari and our friends. It was the culmination of everything we did at the company all at once.”

Lockey said that George �鶹��Ƶ prepared him “a million percent” for the internship through both his technical classes and the soft skills he gained during group work and hands-on projects. “The biggest thing I’ve gotten from school was approaching problem solving and thinking like an engineer. Going from an academic setting to a corporate setting, �鶹��Ƶ did a great job in helping us get there.”

And when he got there, the experience was top-notch. “Athari was very warm and welcoming,” he said. “Taking on interns is a big lift for a small company, but they put a huge emphasis on training and developing the next generation. I learned tons of new skills that I didn’t think I’d get to learn.”

Some of these included wet lab experience, assay development, and testing. Not to mention pipette work. “I have shaky hands and they really helped me. By the end, I was pipetting like a pro.”

Topics

CEC internships

Biomedical

internships

College of Engineering and Computing

Students

Bioengineering

CEC students

Bioengineering students spend the summer exploring career pathways at AstraZeneca

Jennifer Pocock — Thu, 14 Aug 2025 17:35:31 +0000

Bioengineering students spend the summer exploring career pathways at AstraZeneca Jennifer Pocock Thu, 08/14/2025 - 13:35

George �鶹��Ƶ prepared students for real-world experiences ahead of their senior years.

Ayham Elayan (top) and Eileen Robles (bottom) spent their summers gaining professional experience. Photos provided.

Ayham Elayan and Eileen Robles, bioengineering students graduating from �鶹��Ƶ’s College of Engineering and Computing in December, spent their summer breaks at AstraZeneca—one in operations, and one in the lab. Their experiences demonstrate two of many possible paths in bioengineering.

Elayan is interested in entering the biotech industry when he graduates this winter. He went to AstraZeneca hoping to explore different aspects of the pharmaceutical industry and ended up working on the tech transfer team.

“My team was responsible for the transfer of knowledge of drug manufacturing between sites. If AstraZeneca wants to open a new manufacturing site, for example, we figure out what action or equipment needs to be taken or installed,” he said. “We also make sure that the equipment works and is standardized and nothing affects the medication quality.”

Elayan said that the experience taught him just how many different teams and steps it takes to get reliable drugs to the public. “There were two best parts of the internship. The first was taking my first steps into the industry and getting a lot of exposure and experience,” he said. “The second was meeting so many different people with tons of experience that they shared with me. It’s a global company and I’ve gotten to work with people from around the world.”

Robles’s experience was less strategic and more hands-on, which excited her. “Bioengineering is such a broad field with so many different pathways,” she said. “It was great to experience something you can’t learn in a classroom.”

She interned in a wet lab, working on improving methods to purify a specific protein used in medicines. “I compared two different resins that help capture the protein, tested them for unwanted contaminants, and analyzed the results. The goal was to figure out which resin would work best for making the purification process more efficient, helping ensure future medications are safe and effective.” She said that she hasn't worked on much faculty-led lab research in during her degree program, so the internship expanded her interests and confirmed that "I value hands-on experience.”

Robles said George �鶹��Ƶ was helpful in preparing her not just through relevant classwork, but also by assigning hands-on group work. “That [team work] really helped me to work in this type of environment where you have to collaborate with different people,” she added.

Both Robles and Elayan emphasized that the professional teams they joined were supportive and made them excited for life after graduation. “Everyone there really respects each other and wants to help you out,” Robles said. “I spoke to employees who have moved between different roles. It helped me approach my career with more flexibility and less pressure to find the perfect job immediately.”

Topics

Bioengineering

CEC internships

internships

College of Engineering and Computing

Students

CEC students

Powering Progress

Katarina Benson — Mon, 11 Aug 2025 16:57:12 +0000

Powering Progress Katarina Benson Mon, 08/11/2025 - 12:57

When �鶹��Ƶ opened the doors to its highly anticipated Life Sciences and Engineering Building in Manassas, Virginia, it was more than the unveiling of a new academic space—it was the beginning of a new transformative era for the university and the region.

Situated at the heart of the university’s Science and Technology Campus, this state-of-the-art facility will empower students across a wide range of disciplines to explore, innovate, and push the boundaries of science and engineering.

Designed to meet the growing demand for highly specialized instructional labs, smart classrooms, and support spaces, the building is already enabling greater hands-on learning in disciplines like athletic training and kinesiology, microbiology, chemistry, engineering, forensic science, robotics and autonomous vehicles, and more.

“The Life Sciences and Engineering Building marks a major state investment in our outstanding George �鶹��Ƶ faculty to educate and inspire our students—Virginia’s next generation of inspirational leaders, researchers, innovators, and problem solvers,” says George �鶹��Ƶ President Gregory Washington.

This addition also provides increased university access for students in Prince William and Fauquier Counties, the western part of Fairfax County, the cities of Manassas and Manassas Park, and beyond, which is why the General Assembly and the Prince William County delegation, led by Delegate Luke Torian, were eager to help make this building a reality. Torian, who is chair of the Virginia House Appropriations Committee, and the delegation were instrumental in helping to secure strategic support and state funding for the building.

Inspiring the Next Generation

Mechanical engineering major Andrea Dortch is working with Narly, a lighter-than-air vehicle, in the multistory aviary. Photo by Evan Cantwell/Office of University Branding

Encompassing 132,000 square feet of space, the building is designed to promote collaboration and engagement among students and faculty. The ground-level engineering labs and student design competition bays open directly onto the campus’s exterior pathways, allowing visibility for the work happening inside.

One of the first groups to take up residence was Patriot Motorsports, a club for students who want to explore the inner workings of automotive vehicles. Over the course of the spring semester, seniors in mechanical engineering revved it up a notch with their capstone project—designing a control system for the club’s Formula SAE race car.

And race cars aren’t the only vehicles in the building. This new space boasts a multistory aviary lab where students can test blimps, drones, and anything else that needs extra airspace to move around. One capstone project taking advantage of the lab is an autonomous flapping wing lighter-than-air vehicle, developed by mechanical engineering Professor Daigo Shishika’s students.

This spring, engineering capstone teams were also using the prototyping space on the second floor to collaborate on projects. “Once the first-floor machine shop is complete, this space will also be used for staging and constructing physical prototypes,” says George �鶹��Ƶ mechanical engineering professor Charles White.

Photo by Evan Cantwell/Office of University Branding

One of the building’s special features is the blending of laboratory and teaching spaces. All the mechanical engineering labs, including the first-floor advanced manufacturing and wind tunnel labs, contain student desks and IT lecture setups so that seminars can turn into hands-on demonstrations where students can practice in real time.

And these areas barely scratch the surface of what the building has to offer. For mechanical engineers, in addition to the wind tunnel and advanced manufacturing labs, machine shop, robotics lab, and prototype studio, there is a 3D print studio, a materials characterization lab, a sustainable energy and photonics area, and a thermofluids lab.

For civil engineers, there is a dedicated space for the American Society of Civil Engineers concrete canoe competitions. Bioengineers have access to cutting-edge studios as well, including a tissue engineering lab.

Anchoring Prince William’s Innovation District

As an epicenter of innovation, creativity, and opportunity, the Science and Technology Campus plays a critical role in helping George �鶹��Ƶ generate solutions for the world’s most pressing issues. Strategically located in the technology and innovation corridor that runs from Washington, D.C., to Richmond and encompasses the George �鶹��Ƶ ecosystem of campuses, Small Business Development Centers, and community college partnerships, the SciTech Campus is also an anchor for Prince William’s growing Innovation District, which includes the development of two residential and commercial town centers directly connected to campus.

“This facility, and the advancements it will produce, further establishes the Science and Technology Campus, and this Innovation District, as an anchor of the economic corridor that runs from �鶹��Ƶ Square in Arlington to the Fairfax Campus to here in Manassas, further entrenching George �鶹��Ƶ as a major driver of the prosperity of our region and state,” says President Washington.

The SciTech Campus opened in 1997 thanks to a university partnership with the City of Manassas and Prince William County, and it has far exceeded its initial goal of fostering groundbreaking research across disciplines. The campus is also home to the Virginia Serious Game Institute; the Biomedical Research Laboratory, one of 13 regional biocontainment laboratories established through the National Institute of Allergy and Infectious Diseases; and the Forensic Science Research and Training Laboratory, one of only eight human donor forensic science labs in the United States.

In June, Governor Glenn Youngkin announced that the commonwealth will invest $2.6 million in the Innovation District, which is jointly led by George �鶹��Ƶ, Prince William County, and the City of Manassas and anchored by the Science and Technology Campus.

“The planned town centers will create a stronger link between the campus and the surrounding community,” says Colby Grant, BS Health, Fitness, and Recreation Resources ’05, director of administration and operations for the SciTech Campus. “Combined with the new Life Sciences and Engineering Building, these developments further establish the campus as a dynamic hub for science, technology, the arts, entertainment, and recreation.”

Support �鶹��Ƶ

Five George �鶹��Ƶ cybersecurity students hack their way to Boston

Jennifer Pocock — Thu, 31 Jul 2025 14:38:39 +0000

Five George �鶹��Ƶ cybersecurity students hack their way to Boston Jennifer Pocock Thu, 07/31/2025 - 10:38

The Country to Country (C2C) Capture the Flag (CTF) contest is an international competition that issues challenges to code, decrypt, search, hack, and reverse engineer their way through as many challenges as possible.

(C2C) CTF contestants gathered from across the globe to solve pernicious problems. Photo provided.

�鶹��Ƶ 500 students from nearly 100 countries, ranging from inexperienced freshmen to PhD candidates in cybersecurity, competed individually in the qualifying rounds. Only the top 100—including five from �鶹��Ƶ—were accepted into the finals. Four went to Boston for the competition, held this year at Northeastern University.

The College of Engineering and Computing students Gael Abboud, Sanjay Kumar Samala, Nhat Le, and Jonah Wilbur represented the green and gold, but were all placed on different teams. (Amaan Abbas also made the cut but could not attend.)

“The organizers were amazing,” said Abboud, who is a graduate student pursuing her master's in systems engineering through the Accelerated Master's Program. She explained that they try to make it a truly international and cooperative competition. Ideally, each team would contain people from different countries.

“Somehow, I ended up on a team with two other people from Virginia,” Abboud said with a laugh. “They came from Virginia Commonwealth University and William and Mary.”

Her Virginia-strong team did the state proud. Over a day of competition, they sometimes worked together and sometimes apart to solve as many problems as possible from across various skill sets.

It’s not just coding. Abboud described one of the challenges. “It was open-source intelligence, which is really just fancy Googling. They set a scene where we had to find a very certain scooter repair shop in Boston. They told us that it was near a metro stop and in sight of an Indian restaurant. Seems like it should be easy, but it wasn’t!”

They also had to track down things like the price of the building and the vice president of the company that sold it more than 60 years ago. “No one solved that one.”

In the end, Abboud’s team landed in fourth place: an admirable showing when the contestants represent some of the best from around the globe. “I was so disappointed,” she sighed. “There was less than one point separating us from the third-place team.”

Abboud said that she loved every minute and would tell anyone curious about hack-a-thons to try qualifying for this Capture the Flag event.

“It may seem intimidating, but there are challenges for any skill level,” she said. “You don’t know what it will be like if you don’t try. Don’t stress if you don’t know something. People are happy to walk you through how they solved it.”

Learn more about the College of Engineering and Computing

Topics

College of Engineering and Computing

A watershed year for �鶹��Ƶ sustainability data

Jennifer Pocock — Mon, 30 Jun 2025 16:14:43 +0000

A watershed year for �鶹��Ƶ sustainability data Jennifer Pocock Mon, 06/30/2025 - 12:14

In This Story

Viviana Maggioni

Lucas Henneman

An intercollegiate study, in partnership with �鶹��Ƶ's Facilities, analyzes the effects of campus events and weather on local air and water quality.

Maryam Zavareh tests a water sample from the Fairfax Campus. Photo provided.

Major events at �鶹��Ƶ, like graduation ceremonies, basketball games, and �鶹��Ƶ Day are high-water events in student life. But how do they affect the campus ecosystem?

For the past year, with support from the Institute for a Sustainable Earth (ISE), groups of undergraduate and graduate engineering students have worked with university Facilities to sample air and water quality measurements at eight spots across campus. They are studying how human-centered activities like special events and campus construction projects, along with natural events like heavy rainstorms, affect the urban campus environment.

“Fairfax is a very active campus in terms of construction,” said Maryam Zavareh, an expert in environmental engineering who earned her PhD from George �鶹��Ƶ in 2021. “They’re always building something or something is always going on for students.”

Weather is also a factor, she pointed out, and so are projects like rain gardens (also called best management practices or BMPs). “Rain can affect a stream’s turbidity and its dissolved oxygen in a negative way, while BMPs can help quality.”

As part of her PhD program, Zavareh started taking measurements around �鶹��Ƶ Pond and campus streams. She wanted to use machine learning to predict water quality patterns in conjunction with the Maggioni Research Group, a lab run on campus by water resources engineering expert Viviana Maggioni, an associate professor in the Sid and Reva Dewberry Department of Civil, Environmental, and Infrastructure Engineering, and air quality expert Lucas Henneman, an assistant professor in the department. With this ISE grant, Maggioni called Zavareh back to run the project as a consultant.

Starting in May 2024, a new group of students each semester have learned to gather data in the field, work with the instruments, and calibrate them for accurate readings.

“One of the advantages of this project is that students get to go into the field and take measurements,” said Dinesh Neupane, a PhD candidate in civil and environmental engineering and student leader for the project. “That was lacking in my previous programs—students stayed in the labs.”

Neupane is excited for the opportunity to measure air quality—something that hasn’t been done yet on campus—in addition to water. “We want to calibrate the ground data we measure with satellite imagery to see if we can get the imaging to accurately take the readings for us,” he said.

So far, Neupane said that campus events do not have a major effect on water quality. “We think big gatherings will have an effect on air quality, but we don’t have that data yet. We’re still in the process of setting those instruments up.”

This year’s work by Zavareh, Neupane, and their student teams lays the groundwork for future students to analyze their data and carry the research forward. They are proving that ISE’s �鶹��Ƶ as a Living Lab program offers great insights.

Topics

�鶹��Ƶ as a Living Lab

Institute for a Sustainable Earth (ISE)

Department of Civil Environmental and Infrastructure Engineering (CEIE)

environmental engineering

civil engineering; stormwater infrastructure; climate variability

water resource engineering; civil and infrastructure engineering

Engineering students in Ecuador give locals a leg up

Jennifer Pocock — Wed, 11 Jun 2025 18:37:38 +0000

Engineering students in Ecuador give locals a leg up Jennifer Pocock Wed, 06/11/2025 - 14:37

In This Story

Ketul Popat

Shani Ross

Sixteen students from George �鶹��Ƶ’s College of Engineering and Computing took an early summer ROMP in Quito.

Computer engineering major Darion El shapes a prosthetic as ROMP prostheticist Mireya Moreno supervises.
Photo by Shani Ross

It could have been just another frivolous start to the summer, full of parties and pools before kicking off internships and jobs. Instead, these students opted to change lives: those of amputees—and their own.

From May 16 to 26, 16 students in the BENG 417 Bioengineering World Health class with trip leaders Claudia Borke and Shani Ross worked in Quito, Ecuador, with the Range of Motion Project (ROMP) to fit locals with high-quality prosthetic devices. Ketul Popat, chair of the Department of Bioengineering, brought the ROMP program to George �鶹��Ƶ after a successful run at Colorado State University.

“This was the first year that we did this,” he said. “The goal was to give more hands-on experience to students so they could see how a background in engineering could make a difference in people’s lives instantly.”

Different styles of prosthetics are displayed with shoes at the ROMP workshop. Photo by Darion El

The students absolutely felt the difference. Nicolas Garcia Callejas is a rising senior who began his academic career as a pre-med nursing student, earned an associate’s degree in health science, and is now hurtling through undergrad and straight into a master’s in bioengineering with George �鶹��Ƶ’s Bachelor’s Accelerated Master’s (BAM) program.

“We got to know the patients and help them through the process. Then we got to do everything from scratch in making the prosthetics,” he said. “We went from taking measurements, doing the sculpting and molding, refinements around the socket, and building the prosthetic. It was a full 9-5 job, but the time flew by because I was having fun.”

This trip, Garcia Callejas said, lit a fire in him to continue working with ROMP. Not only did he get to help others, as he wanted to do as a nursing student, but he could also make things hands-on and use his language skills to help translate. “ROMP was a really cool experience. I fell in love with the people there.”

Andres Miguel Cruz Guzman was another student who transferred to George �鶹��Ƶ from a community college with an associate’s degree in engineering. This mechanical engineering major wants to eventually work on solar and water technology projects, but the personal and hands-on aspect of the Ecuador program attracted him.

“I liked that we were going to work directly with the patients,” he said. “The prosthetics are going on their bodies and will be something they wear for the next three years. I was intrigued by that challenge.”

One thing he didn’t anticipate, however, was the emotional aspect of the work. “I saw one 12-year-old boy walk for the first time. It didn’t hit me at the moment, but at bedtime the impact that we had on his life overwhelmed me,” he said.

Popat said that one thing that struck him was how quickly the students adapted to the work. “I went on the third day, and it didn’t seem like the students were new there,” he said. “They were already very comfortable with what they were doing.”

And that’s the kicker (pun intended). These programs are so valuable because they enable students to see, in a very short time, how their years of study prepared them to make a difference in the world.

Topics

CEC Global Engagement

CEC students

Sit! Stay! Buzz?

Jennifer Pocock — Thu, 29 May 2025 14:56:51 +0000

Sit! Stay! Buzz? Jennifer Pocock Thu, 05/29/2025 - 10:56

These �鶹��Ƶ students are short-circuiting voice commands, dog whistles, and clickers.

Covert Dog Comms Team Leader Paul J. Wyche displays their finished prototype at the Office of Student Creative Activities and Research (OSCAR) Celebration. Photo by John Boal

If you’ve had a puppy, you probably know the patience it takes to train them in basic commands, and it can be a noisy affair involving begging, pleading, and some yelling. Working dogs like those in police and military K9 units need to learn so much more.

Sometimes, they need to obey without hearing a word.

Rescue situations can be chaotic, with so much going on that a command gets lost in the noise. Sometimes, a team of dogs need to hear many different commands, and competing voices are confusing. Other times, operation teams need to go radio silent and any noise at all will give their positions away.

Enter Team Covert Dog Comms. This pack of cybersecurity seniors at George �鶹��Ƶ, all of whom graduated in May, sniffed out a way to direct dogs without barking commands.

Together, they became the dream team that was the envy of anyone who has ever worked on a bad group project—and proof that great leadership combined with a passionate team yields amazing results.

“Working with this team has been a very positive experience. One key factor that made it successful was the balance of specialized skill sets,” said team leader Paul J. Wyche, who also recently spoke at his College of Engineering and Computing graduation. “While some of our backgrounds overlapped, each team member had a distinct area of expertise, allowing us to overcome any obstacle and collaborate effectively.”

Those members were Maxime Bonnaud, who specialized in the vest’s wireless and cryptographic security; Jonathan Perry, who designed the hardware; and AJ Hoepfner, who set up testing standards and regulations, along with assisting Wyche with project management.

“Mostly, what made this team great was good execution on the fundamentals,” said Bonnaud. “Everyone showed up, communicated well, and looked for areas they could work on instead of having to be assigned work.”

The end result was a securely encrypted working prototype of a vest that can be programmed with three different vibrating pattern commands that a dog can be trained to obey. While they were unable to find a working dog to test on, the team tested the vest on themselves and found it to work as intended.

When asked whether the team planned to patent or commercialize the vest, Wyche said that they wouldn’t rule it out. “We haven’t formally discussed commercializing the project. However, if the opportunity arises and we receive the necessary support, we may explore those possibilities.”

Until then, they achieved their goal of making “a fully operational haptic vest that could be refined for real-world use in special operations.”

And that is something to howl about.

Topics

Senior Capstone Project

Cybersecurity

Military

Police and Public Safety

George �鶹��Ƶ’s ROARS lab retains its ranking as a leader in AI safety at the 2024 International Neural Network Verification Competition

Jennifer Pocock — Mon, 19 May 2025 20:47:30 +0000

George �鶹��Ƶ’s ROARS lab retains its ranking as a leader in AI safety at the 2024 International Neural Network Verification Competition Jennifer Pocock Mon, 05/19/2025 - 16:47

In This Story

ThanhVu (Vu) Nguyen

The team’s NeuralSAT advanced the frontiers of trustworthy artificial intelligence, earning second place in a highly competitive field of international teams advancing the formal verification of AI systems.

Associate Professor ThanhVu Nguyen

NeuralSAT is an open-source verification tool developed by experts in Formal Methods/AI Hai Duong and ThanhVu Nguyen, both of �鶹��Ƶ. It analyzes whether deep neural networks behave as intended, even under adversarial or uncertain conditions. The International Neural Network Verification Competition (VNN-COMP) gathers international research teams working on formal methods for AI safety—methods that are increasingly important as neural networks are deployed in autonomous systems, healthcare, finance, and other mission-critical systems.

"Our goal with NeuralSAT is to bring precision and robustness to AI systems,” said Nguyen, an associate professor in computer science, “especially as they are increasingly used in safety-critical settings."

Hai Duong is a third-year PhD candidate

Each year, the participating VNN-COMP tools are evaluated across a wide set of benchmarks that test scalability, correctness, and performance. The 2024 competition’s results were recently released.

"This year’s benchmarks pushed the boundaries of what verification tools could handle—both in terms of scale and complexity," said Duong, a third-year computer science PhD candidate. "We’re proud that NeuralSAT remained among the top performers, showing strong results across both safety and robustness categories."

NeuralSAT was developed in close collaboration with researchers across multiple institutions, including the University of Virginia’s Matt Dwyer. It builds on recent advances in symbolic reasoning, SAT solving, and abstraction. In its inaugural appearance at VNN-COMP in 2023, NeuralSAT placed fourth overall and received the New Participant Award. In addition to competitions, the tool has been featured at top-tier conferences such as the Symposium on the Foundations of Software Engineering and Computer Aided Verification.

Nguyen, who serves as an organizer and program chair of VNN-COMP 2025, emphasized the significance of the competition in shaping the research landscape.

"The field of neural network verification is rapidly maturing, and VNN-COMP has become the standard for evaluating progress," he said. "Many research papers now compare their tools against VNN-COMP results or use its benchmarks for evaluation. It's exciting to be involved in shaping the competition while also contributing a tool that pushes the research frontier."

David Rosenblum, chair of the Department of Computer Science, was thrilled with ROARS Lab’s achievement. "ThanhVu Nguyen is an established research leader on problems at the intersection of formal methods and deep learning. This team’s outstanding achievement has demonstrated the great potential impact of verification technologies for AI safety," he said.

The long-term goal of NeuralSAT, supported in part by Nguyen’s NSF CAREER Award and Amazon Research Award, is to remain at the forefront of AI verification research while evolving into a practical, scalable, and potentially commercial-grade solution for industry use.

George �鶹��Ƶ is advancing a bold vision for the future of safe and robust AI and is further expanding its leadership with the launch of Virginia's first master’s program in artificial intelligence in fall 2025. This program reflects the university’s deep commitment to cutting-edge education and the development of trustworthy, high-impact AI technologies.

Topics

Artificial Intelligence

National Science Foundation

Computer science; computing; Amazon

computer science

Research

Drones and rovers save the day at Raytheon Autonomous Vehicle Competition 2025

Jennifer Pocock — Thu, 01 May 2025 18:18:35 +0000

Drones and rovers save the day at Raytheon Autonomous Vehicle Competition 2025 Jennifer Pocock Thu, 05/01/2025 - 14:18

As the saying goes, if you love something, set it free. If it maps an area, finds a target, delivers a package, and comes back, the trophy is yours forever. Or something like that.

The Raytheon Autonomous Vehicle Competition Team poses with their ground and air robots. Photo by Jenn Pocock

The black quadcopter drone surveyed the field in two quick swoops against a cloud-heavy sky. In just a matter of seconds, it picked up a signal and flew to the sidelines where it landed itself. A small ground rover took off, bumping over the grass to drop a first aid kit a few feet from the goal. Team members on the side of the field exploded with cheers and high fives.

The entire search and rescue took less than two minutes.

Senior electrical engineering student Qeon Edwards jumped with joy at just how well and how quickly their vehicles performed. “What, you doubted us?” he laughed, obviously relieved.

It was late in April when five teams gathered at the Xelevate drone ecosystem field in Leesburg, Virginia, to test their autonomous programming mettle via ground and air vehicles. This was �鶹��Ƶ’s second year in the competition, which they won last year. The team consisted of 16 students ranging from sophomores to PhDs in computer science, electrical engineering, and mechanical engineering. As the reigning champs, they had a lot to prove.

A quadcopter takes off from the starting line to search for its target, as the rover and judges stand by. Photo by Jenn Pocock

The challenge rules change every year, so the team can’t just copy their predecessors’ codes. “Last year was basically a game of tag,” said Xuesu Xiao, assistant professor of computer science and the team’s faculty lead. They had to fly a drone around to squirt water on their opponents’ ground vehicles while avoiding their own.

This year, instead of trying to shoot others down, they had to perform a rescue mission: Find a randomly assigned “survivor” in a field of battle and send first aid. The faster the find and the closer the kit, the higher the score.

“Our strategy was for a drone to scout the area first, find the target, and then drive another ground vehicle robot to deliver the first-aid kit,” said Xiao.

The team programmed six flying drones and a ground robot that communicated with one another—and nothing else. That means that the programmers had no immediate control over the vehicles; they set their autonomous creations free and hoped that they did a good job coding them.

Judges measure the distance from the target to the rover-delivered first aid kit. Photo by Jenn Pocock

Overall, their robots performed exceptionally, managing to cut their delivery time and distance to less than a minute and 57 inches, respectively. They were just nudged out, however, by first-place University of Southern Florida and second-place Virginia Tech.

“It was definitely very tight between the top three!” said Cameron Nowzari, associate professor in electrical and computer engineering. “There was only a two-point difference between first and second, and one point between second and third.”

Still, the team wasn’t disappointed with how they performed. Their robots were a labor of love, and they met the challenge in a big way.

In This Story

Xuesu Xiao

Cameron Nowzari

Jenn Pocock

Bringing safe water to the table

In This Story

Related Stories

Topics

Biomedical internship yielded lively experience

Topics

Bioengineering students spend the summer exploring career pathways at AstraZeneca

Topics

Powering Progress

Inspiring the Next Generation

Anchoring Prince William’s Innovation District

Related News

Five George �鶹��Ƶ cybersecurity students hack their way to Boston

Related Stories

Topics

A watershed year for �鶹��Ƶ sustainability data

In This Story

Topics

Engineering students in Ecuador give locals a leg up

In This Story

Topics

Sit! Stay! Buzz?

Topics

George �鶹��Ƶ’s ROARS lab retains its ranking as a leader in AI safety at the 2024 International Neural Network Verification Competition

In This Story

Topics

Drones and rovers save the day at Raytheon Autonomous Vehicle Competition 2025

In This Story

Related Stories