The SEES Lab

Research for Secure, Efficient, and Evolvable Computing Systems

Welcome!

The SEES Lab at the University of South Florida conducts crosscutting research at the intersection of artificial intelligence (AI) and computing, exploring their synergies to advance both computing system design and AI applications. Our research focuses on emerging computer architectures and technologies that improve AI processing efficiency, as well as leveraging AI to transform computing system design for enhanced performance, efficiency, and security. Some of our current research interests are:

• AI for electronic system design
• Processor design for efficient AI processing
• Security of AI-integrated systems

Other research interests include

• Computer system verification and validation
• Verification-aware design methodology
• Formal methods and model checking

Refer to our research page for on-going and past projects.

Graduate Research Opportunities

We welcome highly motivated graduate students who are committed to excellence in both academics and research. When contacting me, please include a brief statement explaining your research interests and why you are interested in our research group. Applications that meet all the qualifications below will be considered with priority.

• A strong background and hands-on skills in at least two of the following areas:
  • AI/ML/LLMs,
  • Computer/processor architecture,
  • Algorithms and programming,
  • Hardware design using Verilog/VHDL and FPGAs
• All qualifications below for undergraduate research students.
• A related M.S. degree and prior demonstration research experiences are highly preferred.

Undergraduate Research Opportunities

Undergraduate students with excellent academic records who are interested in research and pursuing graduate studies are encouraged to contact me about available research opportunities. Students with the following qualifications will be considered favorably:

• Strong performance in core and elective computer engineering courses, particularly computer architecture, digital logic, and hardware design using Verilog/VHDL.
• Strong hands-on skills in hardware or embedded-system design.
• Good skills in algorithm design and programming.
• Strong ability to learn new technical subjects quickly and independently.
• Strong problem-solving and analytical skills, with the ability to work independently.
• Good written and oral communication skills, with the ability to explain technical ideas clearly and effectively.
• Open-mindedness and willingness to consider graduate studies.

How to Inquire

When contacting me about a research opportunity, please include:

• A current CV/resume
• Your current academic transcripts
• A brief statement describing why you are interested in undergraduate research with this lab;

Please include all of the above materials in your initial inquiry. Inquiries without the required information listed above will generally not be responded.