[prev in list] [next in list] [prev in thread] [next in thread] 

List:       haskell-cafe
Subject:    [Haskell-cafe] Ph.D. positions at Portland State University
From:       Yao Li <liyao () pdx ! edu>
Date:       2022-10-11 23:54:45
Message-ID: CAG7FV=sATdRA5bHHkDPY-_k=kGkjipM2PWowwzcxFFVTgau78Q () mail ! gmail ! com
[Download RAW message or body]

[Attachment #2 (multipart/alternative)]


Dear All,

I am looking for Ph.D students (starting Fall 2023) who are interested in
programming languages, formal verification, and/or interactive theorem
proving to join my new group at Portland State University.

I am a new assistant professor at Portland State University. My research
aims to (1) advance the state of the art of verification on real-world
software and (2) make verification easier to use from a programming
languages perspective. You can find more information about me on my
webpage: https://lastland.github.io/

Please feel free to drop me an email if you are interested or if you have
any questions about my research, my group, or Portland State University.
I'd appreciate it if you can help spread the word to whoever might be
interested.

Cheers,
Yao Li, Ph.D., (He/Him)
Assistant Professor,
Computer Science Department, Portland State University

[Attachment #5 (text/html)]

<div dir="ltr"><div>Dear All,</div><div><br></div><div>I am looking for Ph.D students \
(starting Fall 2023) who are interested in programming languages, formal \
verification, and/or interactive theorem proving to join my new group at Portland \
State University.</div><div><br></div><div>I am a new assistant professor at Portland \
State University.  My research aims to (1) advance the state of the art of \
verification on real-world software and (2) make verification easier to use from a \
programming languages perspective. You can find more information about me on my \
webpage:  <a href="https://lastland.github.io/">https://lastland.github.io/</a></div><div><br></div><div>Please \
feel free to drop me an email if you are interested or if you have any questions \
about my research, my group, or Portland State University. I&#39;d appreciate it if \
you can help spread  the word to whoever might be \
interested.</div><div><br></div>Cheers,<br clear="all"><div><div dir="ltr" \
data-smartmail="gmail_signature"><div dir="ltr">Yao Li, Ph.D., (He/Him)<div>Assistant \
Professor,</div><div>Computer Science Department, Portland State \
University</div><div><br></div></div></div></div></div>


[Attachment #6 (text/plain)]

_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.

[prev in list] [next in list] [prev in thread] [next in thread]