<commit_before><div class="row"><div class="span6">

The Functional Programming Group
================================

<div class="teaser">

The Functional Programming Group, led by <NAME>, apply and extend
functional programming technologies to the diverse areas of building
computer systems, high-performance computing, information assurance and
telemetry. We use functional programming to bring clarity to
descriptions of what we want to compute, and computer language
technologies to provide efficiency and assurance. Typically, we
collaborate with other research groups, deploying our technology and
bringing our research and development expertise to work on our
collaborators' open issues, as well as their assurance and performance
needs.

</div>


Joining the Lab
---------------

New members (that are already at KU) are always welcome. Typically, at the graduate level you
will need some experience in Haskell (for example, via [EECS 776](/users/andygill/teaching)).
Email Professor Gill for a discussion.

If you are not at KU, and are not planning on applying to KU,
then please outline how you know Haskell, or another functional
language. The lab does not offer scholarships to outside students,
though we have people join from other graduate programs from
time to time.

</div><div class="span6">

## Current Members

Who                                                             Project(s)                      Status
-----------                                                     --------------------            -----
<NAME>                                                  HERMIT/Android                  BS CS
<NAME>                                                     HERMIT/Sunroof                  MS exchange student
[<NAME>](/users/andrewfarmer)                            HERMIT                          PhD, expected 2014
<NAME>                                                  HERMIT/Android                  BS CS
[<NAME>](/users/andygill)                                    HERMIT &amp; KansasLava         PI / Faculty
<NAME>                                                     HERMIT/Android                  BS CS
[Ed Komp](http://www.ittc.ku.edu/view_contact.phtml?id=28)      HERMIT                          Staff
[<NAME>](/users/boweneuenschwander)                KansasLava / &lambda;Bridge     MS, expected 2013
<NAME>                                                      HERMIT/Android                  BS CS
[<NAME>](/users/neilsculthorpe)                        HERMIT                          PostDoc
<NAME>                                                TBD                             MS CS
<NAME>                                                  HERMIT/Android                  BS CS
<NAME>                                                   Artificial Life                 MS CS
-----------                                                     -------------------             ------

</div></div>

----------------------------------------------

<div class="row"><div class="span6">

## Group Alumni

These are people who has worked for or with FPG in some capacity.

Who                                                     What                    Where after FPG
-----------                                             -----                   ---------
<NAME>                                            HFEC, MS 2011           Industry
<NAME>                                          HERMIT, after PhD        MSR Cambridge
[<NAME>](http://www.ittc.ku.edu/~kimmell/)      HFEC, PostDoc           PostDoc, University of Iowa
<NAME>                                           ChalkBoard, MS 2011     Industry
<NAME>                                          Lambda Bridge, BS 2012  PhD student, Notre Dame
<NAME>                                           ChalkBoard, BS 2011
-----------                                             ------                  --------

</div><div class="span6">

## Visitors

These are people who have visited the lab recently for more than a day or so.

Who                                                                             When                    From
------------------------------------------------------------                    --------                -----------
[<NAME>](http://www.chalmers.se/cse/EN/people/persson-anders)           Oct 2011                Chalmers
[<NAME>](http://www.owlnet.rice.edu/~ji2)                                    Oct/Nov 2010            Rice University
------------------------------------------------------------                    ----------              ------------

## Visits

This semester (Spring 2012), <NAME> is spending time at Portland State University,
working with the FP group there.

</div></div>

---------------------------------------

<div class="row"><div class="span4">

Computer Systems Design Laboratory
----------------------------------

We operate inside the Computer Systems Design Laboratory (CSDL), at
ITTC. CDSL also hosts the [System Level Design
Group](https://wiki.ittc.ku.edu/sldg_wiki/index.php/Main_Page) (SLDG),
lead by [<NAME>](http://www.ittc.ku.edu/~alex/), who also uses
functional programming for system engineering, and with whom we
collaborate closely.


</div><div class="span4">

LAMBDA Reading Group
--------------------

SLDG and FPG jointly run the [LAMBDA reading
group](https://wiki.ittc.ku.edu/lambda/Main_Page) for anyone that is
interested, discussing topics related to programming and specification
languages, semantic models, and programming paradigms.

</div><div class="span4">

IRC
---

We have an IRC group, **#ku-csdl**, on irc.freenode.net.


</div></div><commit_msg>Adding reddit link<commit_after><div class="row"><div class="span6">

The Functional Programming Group
================================

<div class="teaser">

The Functional Programming Group, led by <NAME>, apply and extend
functional programming technologies to the diverse areas of building
computer systems, high-performance computing, information assurance and
telemetry. We use functional programming to bring clarity to
descriptions of what we want to compute, and computer language
technologies to provide efficiency and assurance. Typically, we
collaborate with other research groups, deploying our technology and
bringing our research and development expertise to work on our
collaborators' open issues, as well as their assurance and performance
needs.

</div>


Joining the Lab
---------------

New members (that are already at KU) are always welcome. Typically, at the graduate level you
will need some experience in Haskell (for example, via [EECS 776](/users/andygill/teaching)).
Email Professor Gill for a discussion.

If you are not at KU, and are not planning on applying to KU,
then please outline how you know Haskell, or another functional
language. The lab does not offer scholarships to outside students,
though we have people join from other graduate programs from
time to time.

</div><div class="span6">

## Current Members

Who                                                             Project(s)                      Status
-----------                                                     --------------------            -----
<NAME>                                                  HERMIT/Android                  BS CS
<NAME>                                                     HERMIT/Sunroof                  MS exchange student
[<NAME>](/users/andrewfarmer)                            HERMIT                          PhD, expected 2014
<NAME>                                                  HERMIT/Android                  BS CS
[<NAME>](/users/andygill)                                    HERMIT &amp; KansasLava         PI / Faculty
<NAME>                                                     HERMIT/Android                  BS CS
[<NAME>](http://www.ittc.ku.edu/view_contact.phtml?id=28)      HERMIT                          Staff
[<NAME>](/users/boweneuenschwander)                KansasLava / &lambda;Bridge     MS, expected 2013
<NAME>                                                      HERMIT/Android                  BS CS
[<NAME>](/users/neilsculthorpe)                        HERMIT                          PostDoc
<NAME>                                                TBD                             MS CS
<NAME>                                                  HERMIT/Android                  BS CS
<NAME>                                                   Artificial Life                 MS CS
-----------                                                     -------------------             ------

</div></div>

----------------------------------------------

<div class="row"><div class="span6">

## Group Alumni

These are people who has worked for or with FPG in some capacity.

Who                                                     What                    Where after FPG
-----------                                             -----                   ---------
<NAME>                                            HFEC, MS 2011           Industry
<NAME>                                          HERMIT, after PhD        MSR Cambridge
[<NAME>](http://www.ittc.ku.edu/~kimmell/)      HFEC, PostDoc           PostDoc, University of Iowa
<NAME>                                           ChalkBoard, MS 2011     Industry
<NAME>                                          Lambda Bridge, BS 2012  PhD student, Notre Dame
<NAME>                                           ChalkBoard, BS 2011
-----------                                             ------                  --------

</div><div class="span6">

## Visitors

These are people who have visited the lab recently for more than a day or so.

Who                                                                             When                    From
------------------------------------------------------------                    --------                -----------
[<NAME>](http://www.chalmers.se/cse/EN/people/persson-anders)           Oct 2011                Chalmers
[<NAME>](http://www.owlnet.rice.edu/~ji2)                                    Oct/Nov 2010            Rice University
------------------------------------------------------------                    ----------              ------------

## Visits

This semester (Spring 2012), <NAME> is spending time at Portland State University,
working with the FP group there.

</div></div>

---------------------------------------

<div class="row"><div class="span4">

Computer Systems Design Laboratory
----------------------------------

We operate inside the Computer Systems Design Laboratory (CSDL), at
ITTC. CDSL also hosts the [System Level Design
Group](https://wiki.ittc.ku.edu/sldg_wiki/index.php/Main_Page) (SLDG),
lead by [<NAME>](http://www.ittc.ku.edu/~alex/), who also uses
functional programming for system engineering, and with whom we
collaborate closely.


</div><div class="span4">

LAMBDA Reading Group
--------------------

SLDG and FPG jointly run the [LAMBDA reading
group](https://wiki.ittc.ku.edu/lambda/Main_Page) for anyone that is
interested, discussing topics related to programming and specification
languages, semantic models, and programming paradigms.

</div><div class="span4">

IRC
---

We have an IRC group, **#ku-csdl**, on irc.freenode.net.
We also use a subreddit, <http://www.reddit.com/r/csdl/>.


</div></div>
{'fraction_non_alphanumeric': 0.14647887323943662, 'fraction_numerical': 0.008626760563380282, 'mean_word_length': 1.1227578475336324, 'pattern_counts': {'":': 0, '<': 95, '<?xml version=': 0, '>': 95, 'https://': 4, 'lorem ipsum': 0, 'www.': 11, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 90, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '70735', 'n_tokens_mistral': 2511, 'n_tokens_neox': 2290, 'n_words': 886}