'[Haskell-cafe] PhD positions at Binghamton University'

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

List:       haskell-cafe
Subject:    [Haskell-cafe] PhD positions at Binghamton University
From:       William Hallahan via Haskell-Cafe <haskell-cafe () haskell ! org>
Date:       2022-10-19 20:53:29
Message-ID: 0AC733C3-29FF-40C7-BD36-945ED2CF85DF () binghamton ! edu
[Download RAW message or body]

[Attachment #2 (multipart/alternative)]

Dear all,

I am a new faculty member at Binghamton University, looking for PhD =
students (starting in Spring 2023 or Fall 2023) to work on formal =
verification, analysis, and/or synthesis.

A common aim of my work is to ease the process of verifying programs, =
either by improving the debugging experience when verification fails, or =
by automating the verification process. Much of my work revolves around =
functional languages, with a particular focus on debugging and verifying =
Haskell programs. I am also interested in verification and synthesis of =
systems in domains such as networking and machine learning. You can find =
more information about me on my website:
https://billhallahan.github.io <https://billhallahan.github.io/>

Please reach out if you are interested or if you have any questions.

Best,
William Hallahan=

[Attachment #5 (unknown)]

<html><head><meta http-equiv="Content-Type" content="text/html; \
charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: \
space; line-break: after-white-space;" class=""><div class="">Dear all,</div><div \
class=""><br class=""></div><div class="">I am a new faculty member at Binghamton \
University, looking for PhD students (starting in Spring 2023 or Fall 2023) to work \
on formal verification, analysis, and/or synthesis.</div><div class=""><br \
class=""></div><div class="">A common aim of my work is to ease the process of \
verifying programs, either by improving the debugging experience when verification \
fails, or by automating the verification process. Much of my work revolves around \
functional languages, with a particular focus on debugging and verifying Haskell \
programs. I am also interested in verification and synthesis of systems in domains \
such as networking and machine learning. You can find more information about me on my \
website:</div><div class=""><a href="https://billhallahan.github.io" \
class="">https://billhallahan.github.io</a></div><div class=""><br \
class=""></div><div class="">Please reach out if you are interested or if you have \
any questions.</div><div class=""><br class=""></div><div class="">Best,</div><div \
class="">William Hallahan</div></body></html>

[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] 