ACL2 2020 Participants

ACL2 Workshop 2020 Participants

Workshop Participants (Updated May 26, 2020)
Name Email Affiliation
Bapanapally, Jagadishjbapanap@uwyo.eduUniversity of Wyoming
Bradley, Kirkkirk.bradley@oracle.com Oracle
Buday, Gergelybuday.gergely@uni-eszterhazy.huEszterházy Károly University
Chau, Cuongcuong.chau@arm.comArm, Inc.
Coglio, Alessandrocoglio@kestrel.eduKestrel Institute
Flowers, Jeffflowersjeff@gmail.comKestrel Institute
Gamboa, Rubenruben@uwyo.eduUniversity of Wyoming
Gamboa, Woodrowwoodrowg@stanford.eduStanford University
Gilham, Limeigilham@kestrel.eduKestrel Institute
Goel, Shilpishilpi@centtech.comCentaur Technology
Greenstreet, Markmrg@cs.ubc.caUniversity of British Columbia
Greve, DavidTheBeaNerd@gmail.comACL2 University
Hardin, Daviddavid.hardin@collins.comCollins Aerospace
Harrison, Johnjrh013@gmail.comAutomated Reasoning Group @ Amazon Web Services
Hunt, Warrenhunt@cs.utexas.eduUniversity of Texas
Kaufmann, Mattmatthew.j.kaufmann@gmail.comUniversity of Texas (retired)
Kini, Keshavkeshav.kini@gmail.comOracle
Kumar, Ankitankitkumar.itbhu@gmail.comNortheastern University
Kwan, Carlcarlkwan@cs.utexas.eduUniversity of Texas at Austin
McCarthy, Ericmccarthy@kestrel.eduKestrel Institute
McDonald, Jamesmcdonald@kestrel.eduKestrel Institute
Mehta, Mihirmihir@cs.utexas.eduUT Austin
Moniz, Danieldaniel.moniz@oracle.comOracle
Moore, Jmoore@cs.utexas.eduUniversity of Texas at Austin
Myreen, Magnusmyreen@chalmers.seChalmers University of Technology
Passmore, Grantgrant@imandra.aiImandra Inc.
Peng, Yanyanpeng@cs.ubc.caUniversity of British Columbia
QUARTEX_, QUARTEX_LZo_@men.marrived.com
Quenon, Jamesjquenon@uwyo.eduUniversity of Wyoming
Rager, Davidragerdl@gmail.comOracle
Ramanathan, Vivekvivekramanathan@utexas.eduUniversity of Texas at Austin
Ray, Sandipsandip@ece.ufl.eduUniversity of Florida, Gainesville, FL 32611.
Russinoff, Daviddavid@russinoff.comArm
Slobodova, Annaanna@centtech.comCentaur Technology
Smith, Douglassmith@kestrel.eduKestrel Institute
Staley, Scottsmstaley@comcast.netFord Motor Company Research Labs (retired)
Sumners, Robertrsumners@centtech.comCentaur Technology
Swords, Solsswords@centtech.comCentaur Technology, Inc.
Temel, Mertcanmert@utexas.eduUniversity of Texas at Austin
Wallin, Joshwallin.j@husky.neu.eduNortheastern University
Walter, Andrewwalter.a@northeastern.eduNortheastern University
Westfold, Stephenwestfold@kestrel.eduKestrel Institute
knutyc, knutycmbdyhhz@4serial.com