Yuyan Bao
Assistant Professor at Augusta University- Claim this Profile
Click to upgrade to our gold package
for the full feature experience.
-
English Elementary proficiency
-
Chinese Native or bilingual proficiency
Topline Score
Bio
Xiangjun Wei
Yuyan worked as tester of Spec Explorer product, she is passionate to go deeper into model-based testing theroy, I can see this big difference from other testers in our team. She is self-critical and easy to work with, she chose to persue her PHD degree in US which extends her knowledge in model-based area.
Xiangjun Wei
Yuyan worked as tester of Spec Explorer product, she is passionate to go deeper into model-based testing theroy, I can see this big difference from other testers in our team. She is self-critical and easy to work with, she chose to persue her PHD degree in US which extends her knowledge in model-based area.
Xiangjun Wei
Yuyan worked as tester of Spec Explorer product, she is passionate to go deeper into model-based testing theroy, I can see this big difference from other testers in our team. She is self-critical and easy to work with, she chose to persue her PHD degree in US which extends her knowledge in model-based area.
Xiangjun Wei
Yuyan worked as tester of Spec Explorer product, she is passionate to go deeper into model-based testing theroy, I can see this big difference from other testers in our team. She is self-critical and easy to work with, she chose to persue her PHD degree in US which extends her knowledge in model-based area.
Experience
-
Augusta University
-
United States
-
Higher Education
-
700 & Above Employee
-
Assistant Professor
-
Nov 2022 - Present
-
-
-
University of Waterloo
-
Canada
-
Higher Education
-
700 & Above Employee
-
Postdoctoral Fellow
-
Jan 2021 - Nov 2022
-
-
-
Purdue University
-
United States
-
Higher Education
-
700 & Above Employee
-
Postdoctoral Scholar
-
Jun 2019 - Jan 2021
-
-
-
Penn State University
-
United States
-
Higher Education
-
700 & Above Employee
-
Postdoctoral Scholar
-
May 2018 - Jun 2019
Analyzing cache-based side channel problem using static programming analysis (abstract interpretation); Leveraged Knowledge: Binary code analysis Analyzing cache-based side channel problem using static programming analysis (abstract interpretation); Leveraged Knowledge: Binary code analysis
-
-
-
University of Central Florida
-
United States
-
Higher Education
-
700 & Above Employee
-
Researcher
-
Jan 2018 - May 2018
Methodology for specifying and verifying encapsulation to simplify client specifications and speed up client verification;Formalizing the semantic analysis for supertype abstraction in a programming logic;Defining a formal semantics for the Java Modeling Language (JML)
-
-
Research Assistant
-
Aug 2010 - Dec 2017
Research in programming and specification language design and semantics;Investigate different methodologies to specify frame properties for shared mutable data structures in object-oriented programs;Designs a logic framework for reasoning about shared mutable data structures in sequential object-oriented programs. The framework merges read and write effects into the logic along with separation, and provieds partial reasoning and global reasoning. A formal connection between restricted separation logic and fine-grined region logic can be established in this framework.Develop a prototype of the fine-grained region logic (called DafnyR) based on Dafny. which uses Boogie to generate verification conditions and uses Z3 to solve them. DafnyR is available from http://dafnyr.codeplex.com/.Leveraged Knowledge: Polymorphism, Dynamic dispatch, Modularity, Encapsulation, OO design, C#, Visual Studio Extensions, .Net framework, Compiler Construction, Dafny, Boogie, Z3, KIV theorem prover Show less
-
-
-
Pactera
-
China
-
IT Services and IT Consulting
-
700 & Above Employee
-
SDET for Microsoft
-
Dec 2005 - Jul 2010
Outsourcing to Microsoft. Developed automating test frameworks and test tools for various projects, including OELive Mail Client, Messenger server, Hotmail and Spec Explorer; Leveraged Knowledge: C#, Visual Studio Extensions, .Net framework, Compiler Construction, Model-Based Testing Outsourcing to Microsoft. Developed automating test frameworks and test tools for various projects, including OELive Mail Client, Messenger server, Hotmail and Spec Explorer; Leveraged Knowledge: C#, Visual Studio Extensions, .Net framework, Compiler Construction, Model-Based Testing
-
-
-
-
Software Developer
-
Jul 2003 - Dec 2005
Implemented call center middleware and clients; Participated in designing and implementing Audio and Video Advertising Acquisition and Recognition System Leveraged Knowledge: C++ Programming, Visual Studio 6.0, MVC, Socket(IP/TCP) Programming, Multithreading, Client-Server Model, Oracle Implemented call center middleware and clients; Participated in designing and implementing Audio and Video Advertising Acquisition and Recognition System Leveraged Knowledge: C++ Programming, Visual Studio 6.0, MVC, Socket(IP/TCP) Programming, Multithreading, Client-Server Model, Oracle
-
-
Education
-
2010 - 2017
University of Central Florida
Ph.D., Formal Methods, Specification Language, Verification -
2003 - 2007
Beihang University
Master's degree, Computer Software Engineering -
1999 - 2003
Beijing University of Technology
Bachelor's degree, Computer Science -
Yucai School
Community
