Hao Li is seeking an internship in software engineering. He has experience researching testing of multi-threaded programs using C++ and LLVM. Currently working towards a PhD in computer science at Western Michigan University focusing on model checking techniques to improve software reliability. He has taught various computer science courses as a teaching assistant and has worked on software development projects using Java, SQL, and JSP.