coq-club AT inria.fr
Subject: The Coq mailing list
List archive
RE: [Coq-Club] Coq around rank 70 of most popular computer languages according to redmonk survey
Chronological Thread
- From: Talia Ringer <tringer AT cs.washington.edu>
- To: coq-club AT inria.fr
- Cc: John Wiegley <johnw AT newartisans.com>
- Subject: RE: [Coq-Club] Coq around rank 70 of most popular computer languages according to redmonk survey
- Date: Fri, 22 Jan 2016 05:05:26 -0800
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=tringer AT cs.washington.edu; spf=None smtp.mailfrom=tringer AT cs.washington.edu; spf=None smtp.helo=postmaster AT mail-yk0-f170.google.com
- Ironport-phdr: 9a23:MJ1y7hKX79nwJVmnItmcpTZWNBhigK39O0sv0rFitYgULPnxwZ3uMQTl6Ol3ixeRBMOAu6wC0rKL+Py6EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35rxjrjvsMGJKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46Fp34d6XK77Z6U1S6BDRHRjajhtpZ6jiR6WRgyWo3AYT28+kxxSAgGD4gupcI32t37Gv+580WGgPMv5QKp8DSi47qFkRQXAgzxBKDci8GDRhdB3iuRWrA/39E83+JLdfIzAbKk2RajaZ95PADMZBss=
We did our entire graduate PL course in Coq at University of Washington this year. This includes grad students outside of PL/verification. Haven't seen a lot of it in undergrad in the US, but I got a brief intro at Maryland in 2012.
I think the real question is how people define "capable" when they cite those numbers. Are we talking about people who can use Coq to verify large systems or people can verify small languages for the sake of class projects? The latter is probably much larger than the former.
On Jan 22, 2016 7:34 AM, "Soegtrop, Michael" <michael.soegtrop AT intel.com> wrote:
Dear John,
> At work I keep hearing the figure "1,000" as an approximation of the number
> of capable Coq programmers in the world. What would a closer number be
> now in 2016?
I have heard 100 ;-) so I found this rank 70 quite astonishing. Form what I hear more and more universities offer lectures in Coq and a good fraction of computer science students are taking these lectures. Maybe a large part of the Coq question on stack exchange comes from students doing exercises - I don't know. It might take a few more years until the students taking Coq lectures now hit the industry, but it will happen.
Best regards,
Michael
Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928
- [Coq-Club] Coq around rank 70 of most popular computer languages according to redmonk survey, Soegtrop, Michael, 01/20/2016
- Re: [Coq-Club] Coq around rank 70 of most popular computer languages according to redmonk survey, John Wiegley, 01/20/2016
- RE: [Coq-Club] Coq around rank 70 of most popular computer languages according to redmonk survey, Soegtrop, Michael, 01/22/2016
- RE: [Coq-Club] Coq around rank 70 of most popular computer languages according to redmonk survey, Talia Ringer, 01/22/2016
- RE: [Coq-Club] Coq around rank 70 of most popular computer languages according to redmonk survey, Soegtrop, Michael, 01/22/2016
- Re: [Coq-Club] Coq around rank 70 of most popular computer languages according to redmonk survey, John Wiegley, 01/20/2016
Archive powered by MHonArc 2.6.18.