Adjusted some info about the crypto group

This commit is contained in:
Brandon Rozek 2023-04-14 13:49:41 -04:00
parent 70795ab2fd
commit a7438c173c
No known key found for this signature in database
GPG key ID: 26E457DA82C9F480

View file

@ -47,14 +47,16 @@ at [UNIF 2020](https://www3.risc.jku.at/publications/download/risc_6129/proceed
I've written a few [notes](termreasoning) about term reasoning.
Collaborators:
Current Collaborators:
- NRL: Catherine Meadows
- UMW: [Andrew Marshall]((https://www.marshallandrew.net/)), Veena Ravishankar
- UMW: [Andrew Marshall]((https://www.marshallandrew.net/))
- UT Dallas: Serdar Erbatur
- SUNY Albany: [Paliath Narendran](https://www.cs.albany.edu/~dran/), Wei Du
- Clarkson University: [Christopher Lynch](https://people.clarkson.edu/~clynch/), Hai Lin
- SUNY Albany: [Paliath Narendran](https://www.cs.albany.edu/~dran/), Kim Cornell
- Clarkson University: [Christopher Lynch](https://people.clarkson.edu/~clynch/)
Group Website: [https://cryptosolvers.github.io](https://cryptosolvers.github.io)
## Reinforcement Learning