Yahoo India Web Search

Search results

1. • • Yixuan is a PhD student at the University of British Columbia, focusing on marine conservation and fishery management. With a combined background in marine biology and environmental policy, she has experience working at academic institutions and NGOs, as well as interacting with diverse stakeholders such as local governments, industries, and front-line conservation practitioners. She is actively involved in science communication and education for marine conservation.
     ca.linkedin.com/in/yixuan-chen-801417192

     Yixuan CHEN - The University of British Columbia - LinkedIn

2. People also ask

   Who is Yixuan Chen?

   • Yixuan Chen is a Ph.D. student of Computer Science at Yale University. His research interests include formal verification and/of concurrent and distributed systems. He is a member of the FLINT group, working with Professor Zhong Shao on formally verified large-scale systems.

   Yixuan Chen

   me.xlk.me/

   See all results for this question

   Who is Yi-Chun Chen?

   • Dr. Yi-Chun Chen holds a Ph.D. in Science Education, an MS in Earth Sciences: Science Education, and a BS in Earth Sciences with a minor in Gifted Education, all from National Taiwan Normal University. She is a teacher with a Ph.D. and has taught earth sciences and physics in secondary schools for four years, including one year for rural gifted students.

   Yi-Chun CHEN | Professor (Assistant) | Ph.D. | National Taiwan Ocean Un…

   www.researchgate.net/profile/yi-chun-chen-4

   See all results for this question

   Who is Yiyu Chen?

   • Yiyu Chen is a research scientist in the reproductive health and family formation program area and the Child Trends Hispanic Institute. She focuses her research on racial and ethnic disparities in family formation and economics. Through her work, she aims to inform policy to reduce poverty and increase the wellbeing of children.

   Yiyu Chen - Child Trends

   www.childtrends.org/staff/yiyu-chen

   See all results for this question

   Who is Yijun Chen?

   • Dr. Yijun Chen, MD is a Bariatric Surgery Specialist in Torrance, CA. He is affiliated with medical facilities Ronald Reagan UCLA Medical Center and UCLA Santa Monica Medical Center.

   Dr. Yijun Chen, MD | Torrance, CA | Healthgrades

   www.healthgrades.com/physician/dr-yijun-chen-ggxdv

   See all results for this question

3. www.standard.co.uk › news › worldSixth victim in Australia attack named as police say women ...

   www.standard.co.uk › news › world

   • Cached

   Apr 15, 2024 · The sixth person stabbed to death in Saturday’s attack at a Sydney shopping centre has been named as Chinese student Yixuan Cheng, as Australian police say it is “obvious” the knifeman targeted...

4. scholar.google.com › citations‪Yixuan Chen‬ - ‪Google Scholar‬

   scholar.google.com › citations

   Armada: low-effort verification of high-performance concurrent programs. JR Lorch, Y Chen, M Kapritsos, B Parno, S Qadeer, U Sharma, JR Wilcox, ... Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …. , 2020. 47.

5. Images

   • 
   • 
   • 
   • 
   • 

   View all

6. me.xlk.me › files › cvResume - Yixuan Chen

   me.xlk.me › files › cv

   Research Interests. Formal verification, programming languages, operating systems and applying formal verification in large and concurrent software systems. Publications.

7. me.xlk.meYixuan Chen

   me.xlk.me

   • Cached

   Yixuan Chen is a Ph.D. student of Computer Science at Yale University. His research interests include formal verification and/of concurrent and distributed systems. He is a member of the FLINT group, working with Professor Zhong Shao on formally verified large-scale systems.

8. uk.linkedin.com › in › yixuan-chen-39b9341a2Yixuan Chen - Graduate Teaching Assistant - University of ...

   uk.linkedin.com › in › yixuan-chen-39b9341a2

   View Yixuan Chen’s profile on LinkedIn, a professional community of 1 billion members. Student · Experience: University of Glasgow Adam Smith Business School · Education: 英国格拉斯哥大学 · Location: United Kingdom · 75 connections on LinkedIn.

   • Connections: 75
   • Occupation: Graduate Teaching Assistant

   • Followers: 75
   • Location: United Kingdom

9. ca.linkedin.com › in › yixuan-chen-801417192Yixuan CHEN - The University of British Columbia - LinkedIn

   ca.linkedin.com › in › yixuan-chen-801417192

   Yixuan is a PhD student at the University of British Columbia, focusing on marine conservation and fishery management. With a combined background in marine biology and environmental...

   • Location: The University of British Columbia

10. www.linkedin.com › in › yixuan-chen-262bba113Yixuan Chen - Yale University - LinkedIn

    www.linkedin.com › in › yixuan-chen-262bba113

    Yixuan Chen is a Ph.D. student of Computer Science at Yale University. His research interests include formal verification and/of concurrent and distributed systems. He is a member...

    • Location: Yale University