From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-0.5 required=3.0 tests=DKIM_INVALID,DKIM_SIGNED, HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE,MAILING_LIST_MULTI,SPF_HELO_NONE, SPF_PASS,URIBL_BLOCKED autolearn=no autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 136C0C4360C for ; Sun, 29 Sep 2019 19:01:12 +0000 (UTC) Received: from shelob.surriel.com (shelob.surriel.com [96.67.55.147]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail.kernel.org (Postfix) with ESMTPS id A4E29206C0 for ; Sun, 29 Sep 2019 19:01:10 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=fail reason="signature verification failed" (2048-bit key) header.d=americana-edu-co.20150623.gappssmtp.com header.i=@americana-edu-co.20150623.gappssmtp.com header.b="tVx9SbZ9" DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org A4E29206C0 Authentication-Results: mail.kernel.org; dmarc=none (p=none dis=none) header.from=americana.edu.co Authentication-Results: mail.kernel.org; spf=fail smtp.mailfrom=kernelnewbies-bounces@kernelnewbies.org Received: from localhost ([::1] helo=shelob.surriel.com) by shelob.surriel.com with esmtp (Exim 4.92.2) (envelope-from ) id 1iEeR2-00037o-9I; Sun, 29 Sep 2019 15:00:44 -0400 Received: from mail-io1-xd41.google.com ([2607:f8b0:4864:20::d41]) by shelob.surriel.com with esmtps (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (Exim 4.92.2) (envelope-from ) id 1iEeQz-00037i-7c for kernelnewbies@kernelnewbies.org; Sun, 29 Sep 2019 15:00:41 -0400 Received: by mail-io1-xd41.google.com with SMTP id h144so32042759iof.7 for ; Sun, 29 Sep 2019 12:00:40 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=americana-edu-co.20150623.gappssmtp.com; s=20150623; h=mime-version:references:in-reply-to:from:date:message-id:subject:to; bh=wiLagdozr+1aY4fiIt41q8ulMUo+7aZ/g0hoz00Sx9Y=; b=tVx9SbZ9KD4EeNqS0ZbRNmlPDl/ndQCjFN65hpfrH5WuVzSGx+REVHSTEH8FxbTMIa K2cvcLPZ9HtACA5qJTaz45d6tnuD5o3BHbUJLuBbs8obtnc47+LE4jDWNKMLxFCFvN4D NeRr0fpQD4CAwVcW76wwbgXXfIc2clE54c+i5wVmY87jPIOcCdsV56B9HEezYyouhozE zJF/M3gzW9y2XhBvu3Sh/WI5YQcrBQinAgEU8MoFMmwnM5CDKZLeE8PxsIniDHHFLy4w +PLLr03bVWhX6Coj9M8cXv3IVm83NNuGoe2pZlOsdZazuVhJaQCt/bXidvfUrm5UFl+D /gNw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to; bh=wiLagdozr+1aY4fiIt41q8ulMUo+7aZ/g0hoz00Sx9Y=; b=OQEWNGF77xCG6c5E0UMBi3J92URGvJref948eFT9g9PxwnKNLLD/7nJs6jLMsxQTnE WQ/8SK5UZKCSvhBrXZ5jx+fNDCPoiBC4bKdshEKUpcvSHzecijFJrpi4uEuLwKCMFc0k 80SKhX49f5lncQmf1gRNjRCwQdTaL9+Kjf9D+c029vGCJE4lBmv8H3ANBcHyuVxBCScq ZvHiCxFsm8/pouha9nEnabWtxBlhhNKZvBX5E11/IOZFxNEN8roKX39UDOAaflYXkftb kACeEgio37RKP9lCufiX89Mq+0DKzeoBaizes5YVVeD+Cg6hRJ9wDN4f7A7EeITsFRLz V3Ag== X-Gm-Message-State: APjAAAUPZ6R65mwJ5+PLhi/KWsDA5sb1pClZ1a15xbiyPVQonyWhKPTP MnF6Kq5Bfm9mH6YixlGsUkLWurVkcHDefqNJ9GTHkALca70= X-Google-Smtp-Source: APXvYqxn2NUehcdnyXmPp0v3YUPfm/Qudg6/8K984QPu/hk6bye1aIQNVe8EpckcDksFdMAYwFgZU9+XpLsOwqRRV0Y= X-Received: by 2002:a5d:9645:: with SMTP id d5mr17320093ios.57.1569783578035; Sun, 29 Sep 2019 11:59:38 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: CRISTIAN ANDRES VARGAS GONZALEZ Date: Sun, 29 Sep 2019 13:59:26 -0500 Message-ID: Subject: Re: Kernelnewbies Digest, Vol 106, Issue 23 To: kernelnewbies@kernelnewbies.org X-BeenThere: kernelnewbies@kernelnewbies.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: Learn about the Linux kernel List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Type: multipart/mixed; boundary="===============0455979067048991106==" Errors-To: kernelnewbies-bounces@kernelnewbies.org --===============0455979067048991106== Content-Type: multipart/alternative; boundary="0000000000008b1d270593b5b838" --0000000000008b1d270593b5b838 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Hello, I am from Colombia and I am interested in the kernel, I would like that there were also kernel developers here, I hope to learn a lot and be able to share that knowledge for Hispanics and can join this cause. El dom., 29 sept. 2019 a las 11:00, escribi=C3=B3: > Send Kernelnewbies mailing list submissions to > kernelnewbies@kernelnewbies.org > > To subscribe or unsubscribe via the World Wide Web, visit > https://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies > or, via email, send a message with subject or body 'help' to > kernelnewbies-request@kernelnewbies.org > > You can reach the person managing the list at > kernelnewbies-owner@kernelnewbies.org > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of Kernelnewbies digest..." > > > Today's Topics: > > 1. Hello, does anyone know any university that has lines of > research on the linux kernel (Manuel Quintero Fonseca) > 2. Re: Hello, does anyone know any university that has lines of > research on the linux kernel (Valdis Kl=3D?utf-8?Q?=3Dc4=3D93?=3Dtn= ieks) > 3. Re: Hello, does anyone know any university that has lines of > research on the linux kernel (Maria Neptune) > 4. Re: Hello, does anyone know any university that has lines of > research on the linux kernel (Greg KH) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Sat, 28 Sep 2019 12:45:11 -0600 > From: Manuel Quintero Fonseca > To: kernelnewbies@kernelnewbies.org > Subject: Hello, does anyone know any university that has lines of > research on the linux kernel > Message-ID: > bp9kdss28JBuqJ7ozzFDYBrjQ@mail.gmail.com> > Content-Type: text/plain; charset=3D"UTF-8" > > Hello, does anyone know any university that has lines of research on > the linux kernel > Thank you > > > > ------------------------------ > > Message: 2 > Date: Sat, 28 Sep 2019 16:16:46 -0400 > From: "Valdis Kl=3D?utf-8?Q?=3Dc4=3D93?=3Dtnieks" > To: Manuel Quintero Fonseca > Cc: kernelnewbies@kernelnewbies.org > Subject: Re: Hello, does anyone know any university that has lines of > research on the linux kernel > Message-ID: <83653.1569701806@turing-police> > Content-Type: text/plain; charset=3D"us-ascii" > > On Sat, 28 Sep 2019 12:45:11 -0600, Manuel Quintero Fonseca said: > > Hello, does anyone know any university that has lines of research on > > the linux kernel > > Well.. most of the actual code development is being done out in industry > and by individuals. The stuff that happens in universities is usually mo= re > theoretical (new concepts in memory management, etc), and merely *uses* > Linux as a platform because it's available. Pretty much nobody is doing > any research *on* the Linux kernel as itself (unless it's as a case study > in > managing large scale software development, or as a data point for code > quality metrics and other such things). > > And there's a difference between "University ABC has a professor who's go= t > this > one project that happens to use Linux in it" and "University DEF has 4 > professors and 20 grad students who have set up an official Center For > Something Research". So if you're looking for grad schools, you want to = be > looking at things with longevity, like the MIT Media Lab, or Purdue's > computer > security expertise, or a lot of the stuff being done at CMU or Stanford o= r > Berkeley. It sucks to transfer to a grad school for 3 years, only to hav= e > the > project you transferred for go away a year later.... > > (And many of those projects never see the light of day, because they ofte= n > end > up being some variant of "If we measured metric X better, we could do a > better > job of predicting what to do with Y" - but it often turns out that > measuring X > better costs more than the added efficiency of Y gains you....) > > -------------- next part -------------- > A non-text attachment was scrubbed... > Name: not available > Type: application/pgp-signature > Size: 832 bytes > Desc: not available > URL: < > http://lists.kernelnewbies.org/pipermail/kernelnewbies/attachments/201909= 28/be596f7c/attachment-0001.sig > > > > ------------------------------ > > Message: 3 > Date: Sat, 28 Sep 2019 16:40:27 -0400 > From: Maria Neptune > To: kernelnewbies@kernelnewbies.org > Subject: Re: Hello, does anyone know any university that has lines of > research on the linux kernel > Message-ID: > DERm-KBx2nmG6X8J+7YqDJKdqg8zbyjuVKcX_xP7akJPodQ@mail.gmail.com> > Content-Type: text/plain; charset=3D"utf-8" > > Additionally, if you're really interested in free software at university, > UCLA's Paul Eggert is pretty prolific. So here may be worth considering. > - Maria > > > On Sat, Sep 28, 2019, 16:17 Valdis Kl?tnieks > wrote: > > > On Sat, 28 Sep 2019 12:45:11 -0600, Manuel Quintero Fonseca said: > > > Hello, does anyone know any university that has lines of research on > > > the linux kernel > > > > Well.. most of the actual code development is being done out in industr= y > > and by individuals. The stuff that happens in universities is usually > more > > theoretical (new concepts in memory management, etc), and merely *uses* > > Linux as a platform because it's available. Pretty much nobody is doin= g > > any research *on* the Linux kernel as itself (unless it's as a case stu= dy > > in > > managing large scale software development, or as a data point for code > > quality metrics and other such things). > > > > And there's a difference between "University ABC has a professor who's > got > > this > > one project that happens to use Linux in it" and "University DEF has 4 > > professors and 20 grad students who have set up an official Center For > > Something Research". So if you're looking for grad schools, you want t= o > be > > looking at things with longevity, like the MIT Media Lab, or Purdue's > > computer > > security expertise, or a lot of the stuff being done at CMU or Stanford > or > > Berkeley. It sucks to transfer to a grad school for 3 years, only to > have > > the > > project you transferred for go away a year later.... > > > > (And many of those projects never see the light of day, because they > often > > end > > up being some variant of "If we measured metric X better, we could do a > > better > > job of predicting what to do with Y" - but it often turns out that > > measuring X > > better costs more than the added efficiency of Y gains you....) > > > > _______________________________________________ > > Kernelnewbies mailing list > > Kernelnewbies@kernelnewbies.org > > https://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies > > > -------------- next part -------------- > An HTML attachment was scrubbed... > URL: < > http://lists.kernelnewbies.org/pipermail/kernelnewbies/attachments/201909= 28/9fc881f7/attachment-0001.html > > > > ------------------------------ > > Message: 4 > Date: Sun, 29 Sep 2019 10:36:59 +0200 > From: Greg KH > To: Valdis Kl?tnieks > Cc: kernelnewbies@kernelnewbies.org, Manuel Quintero Fonseca > > Subject: Re: Hello, does anyone know any university that has lines of > research on the linux kernel > Message-ID: <20190929083659.GA1884415@kroah.com> > Content-Type: text/plain; charset=3Dutf-8 > > On Sat, Sep 28, 2019 at 04:16:46PM -0400, Valdis Kl?tnieks wrote: > > On Sat, 28 Sep 2019 12:45:11 -0600, Manuel Quintero Fonseca said: > > > Hello, does anyone know any university that has lines of research on > > > the linux kernel > > > > Well.. most of the actual code development is being done out in industr= y > > and by individuals. The stuff that happens in universities is usually > more > > theoretical (new concepts in memory management, etc), and merely *uses* > > Linux as a platform because it's available. Pretty much nobody is doin= g > > any research *on* the Linux kernel as itself (unless it's as a case > study in > > managing large scale software development, or as a data point for code > > quality metrics and other such things). > > That's not true, there are lots of universities doing research *on* the > Linux kernel, as well as doing research *for* the Linux kernel in order > to make it better and to prove/disprove new research theories. > > One example would be the first talk listed here that happened last week: > https://kernel-recipes.org/en/2019/live-blog-day-3-2/ > It describes how research is being used to both prove that the kernel's > model of operation is correct (he found bugs in it when doing so) as > well as to advance the development of formal methods. > > There are loads of other research projects doing stuff like this all > over the world, look at the output of computer science papers for lots > of examples of this. > > > And there's a difference between "University ABC has a professor who's > got this > > one project that happens to use Linux in it" and "University DEF has 4 > > professors and 20 grad students who have set up an official Center For > > Something Research". So if you're looking for grad schools, you want t= o > be > > looking at things with longevity, like the MIT Media Lab, or Purdue's > computer > > security expertise, or a lot of the stuff being done at CMU or Stanford > or > > Berkeley. It sucks to transfer to a grad school for 3 years, only to > have the > > project you transferred for go away a year later.... > > There are lots of these types of "centers of research" at universities > outside of the US as well. Again, look at papers for examples of common > groups of professors sponsoring projects for where this is happening. I > don't want to slight any by only listing a few :) > > thanks, > > greg k-h > > > > ------------------------------ > > Subject: Digest Footer > > _______________________________________________ > Kernelnewbies mailing list > Kernelnewbies@kernelnewbies.org > https://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies > > > ------------------------------ > > End of Kernelnewbies Digest, Vol 106, Issue 23 > ********************************************** > --0000000000008b1d270593b5b838 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

Hello, I am from Colombia and I am interested in the kernel, = I would like that there were also kernel developers here, I hope to learn a= lot and be able to share that knowledge for Hispanics and can join this ca= use.=C2=A0=C2=A0

El dom., 29 sept. 2019 a las 11:00, <kernelnewbies-request@k= ernelnewbies.org> escribi=C3=B3:
Send Kernelnewbies mailing list submissions to
=C2=A0 =C2=A0 =C2=A0 =C2=A0 kernelnewbies@kernelnewbies.org

To subscribe or unsubscribe via the World Wide Web, visit
=C2=A0 =C2=A0 =C2=A0 =C2=A0 https://li= sts.kernelnewbies.org/mailman/listinfo/kernelnewbies
or, via email, send a message with subject or body 'help' to
=C2=A0 =C2=A0 =C2=A0 =C2=A0 kernelnewbies-request@kernelnewbies.org
You can reach the person managing the list at
=C2=A0 =C2=A0 =C2=A0 =C2=A0 kernelnewbies-owner@kernelnewbies.org

When replying, please edit your Subject line so it is more specific
than "Re: Contents of Kernelnewbies digest..."


Today's Topics:

=C2=A0 =C2=A01. Hello, does anyone know any university that has lines of =C2=A0 =C2=A0 =C2=A0 research on the linux kernel (Manuel Quintero Fonseca)=
=C2=A0 =C2=A02. Re: Hello, does anyone know any university that has lines o= f
=C2=A0 =C2=A0 =C2=A0 research on the linux kernel (Valdis Kl=3D?utf-8?Q?=3D= c4=3D93?=3Dtnieks)
=C2=A0 =C2=A03. Re: Hello, does anyone know any university that has lines o= f
=C2=A0 =C2=A0 =C2=A0 research on the linux kernel (Maria Neptune)
=C2=A0 =C2=A04. Re: Hello, does anyone know any university that has lines o= f
=C2=A0 =C2=A0 =C2=A0 research on the linux kernel (Greg KH)


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

Message: 1
Date: Sat, 28 Sep 2019 12:45:11 -0600
From: Manuel Quintero Fonseca <manuel@uas.edu.mx>
To: ke= rnelnewbies@kernelnewbies.org
Subject: Hello, does anyone know any university that has lines of
=C2=A0 =C2=A0 =C2=A0 =C2=A0 research on the linux kernel
Message-ID:
=C2=A0 =C2=A0 =C2=A0 =C2=A0 <CAPegGh8eOGgUdD6wOcCAeEW9=3Dbp9kdss28JBu= qJ7ozzFDYBrjQ@mail.gmail.com>
Content-Type: text/plain; charset=3D"UTF-8"

Hello, does anyone know any university that has lines of research on
the linux kernel
Thank you



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

Message: 2
Date: Sat, 28 Sep 2019 16:16:46 -0400
From: "Valdis Kl=3D?utf-8?Q?=3Dc4=3D93?=3Dtnieks" <valdis.kletnieks@vt.edu>
To: Manuel Quintero Fonseca <manuel@uas.edu.mx>
Cc: ke= rnelnewbies@kernelnewbies.org
Subject: Re: Hello, does anyone know any university that has lines of
=C2=A0 =C2=A0 =C2=A0 =C2=A0 research on the linux kernel
Message-ID: <83653.1569701806@turing-police>
Content-Type: text/plain; charset=3D"us-ascii"

On Sat, 28 Sep 2019 12:45:11 -0600, Manuel Quintero Fonseca said:
> Hello, does anyone know any university that has lines of research on > the linux kernel

Well.. most of the actual code development is being done out in industry and by individuals.=C2=A0 The stuff that happens in universities is usually= more
theoretical (new concepts in memory management, etc), and merely *uses*
Linux as a platform because it's available.=C2=A0 Pretty much nobody is= doing
any research *on* the Linux kernel as itself (unless it's as a case stu= dy in
managing large scale software development, or as a data point for code
quality metrics and other such things).

And there's a difference between "University ABC has a professor w= ho's got this
one project that happens to use Linux in it" and "University DEF = has 4
professors and 20 grad students who have set up an official Center For
Something Research".=C2=A0 So if you're looking for grad schools, = you want to be
looking at things with longevity, like the MIT Media Lab, or Purdue's c= omputer
security expertise, or a lot of the stuff being done at CMU or Stanford or<= br> Berkeley.=C2=A0 It sucks to transfer to a grad school for 3 years, only to = have the
project you transferred for go away a year later....

(And many of those projects never see the light of day, because they often = end
up being some variant of "If we measured metric X better, we could do = a better
job of predicting what to do with Y" - but it often turns out that mea= suring X
better costs more than the added efficiency of Y gains you....)

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 832 bytes
Desc: not available
URL: <http://lists.kernelnewbies.org/pipermail/kernelnewbies/attachm= ents/20190928/be596f7c/attachment-0001.sig>

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

Message: 3
Date: Sat, 28 Sep 2019 16:40:27 -0400
From: Maria Neptune <maria.elysse.n@gmail.com>
To: ke= rnelnewbies@kernelnewbies.org
Subject: Re: Hello, does anyone know any university that has lines of
=C2=A0 =C2=A0 =C2=A0 =C2=A0 research on the linux kernel
Message-ID:
=C2=A0 =C2=A0 =C2=A0 =C2=A0 <CAG=3DDERm-KBx2n= mG6X8J+7YqDJKdqg8zbyjuVKcX_xP7akJPodQ@mail.gmail.com>
Content-Type: text/plain; charset=3D"utf-8"

Additionally, if you're really interested in free software at universit= y,
UCLA's Paul Eggert is pretty prolific. So here may be worth considering= .
- Maria


On Sat, Sep 28, 2019, 16:17 Valdis Kl?tnieks <valdis.kletnieks@vt.edu>
wrote:

> On Sat, 28 Sep 2019 12:45:11 -0600, Manuel Quintero Fonseca said:
> > Hello, does anyone know any university that has lines of research= on
> > the linux kernel
>
> Well.. most of the actual code development is being done out in indust= ry
> and by individuals.=C2=A0 The stuff that happens in universities is us= ually more
> theoretical (new concepts in memory management, etc), and merely *uses= *
> Linux as a platform because it's available.=C2=A0 Pretty much nobo= dy is doing
> any research *on* the Linux kernel as itself (unless it's as a cas= e study
> in
> managing large scale software development, or as a data point for code=
> quality metrics and other such things).
>
> And there's a difference between "University ABC has a profes= sor who's got
> this
> one project that happens to use Linux in it" and "University= DEF has 4
> professors and 20 grad students who have set up an official Center For=
> Something Research".=C2=A0 So if you're looking for grad scho= ols, you want to be
> looking at things with longevity, like the MIT Media Lab, or Purdue= 9;s
> computer
> security expertise, or a lot of the stuff being done at CMU or Stanfor= d or
> Berkeley.=C2=A0 It sucks to transfer to a grad school for 3 years, onl= y to have
> the
> project you transferred for go away a year later....
>
> (And many of those projects never see the light of day, because they o= ften
> end
> up being some variant of "If we measured metric X better, we coul= d do a
> better
> job of predicting what to do with Y" - but it often turns out tha= t
> measuring X
> better costs more than the added efficiency of Y gains you....)
>
> _______________________________________________
> Kernelnewbies mailing list
> K= ernelnewbies@kernelnewbies.org
> https://lists.kernelnewbies.org/m= ailman/listinfo/kernelnewbies
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.kernelnewbies.org/pipermail/kernelnewbies/attach= ments/20190928/9fc881f7/attachment-0001.html>

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

Message: 4
Date: Sun, 29 Sep 2019 10:36:59 +0200
From: Greg KH <greg@= kroah.com>
To: Valdis Kl?tnieks <valdis.kletnieks@vt.edu>
Cc: ke= rnelnewbies@kernelnewbies.org, Manuel Quintero Fonseca
=C2=A0 =C2=A0 =C2=A0 =C2=A0 <manuel@uas.edu.mx>
Subject: Re: Hello, does anyone know any university that has lines of
=C2=A0 =C2=A0 =C2=A0 =C2=A0 research on the linux kernel
Message-ID: <20190929083659.GA1884415@kroah.com>
Content-Type: text/plain; charset=3Dutf-8

On Sat, Sep 28, 2019 at 04:16:46PM -0400, Valdis Kl?tnieks wrote:
> On Sat, 28 Sep 2019 12:45:11 -0600, Manuel Quintero Fonseca said:
> > Hello, does anyone know any university that has lines of research= on
> > the linux kernel
>
> Well.. most of the actual code development is being done out in indust= ry
> and by individuals.=C2=A0 The stuff that happens in universities is us= ually more
> theoretical (new concepts in memory management, etc), and merely *uses= *
> Linux as a platform because it's available.=C2=A0 Pretty much nobo= dy is doing
> any research *on* the Linux kernel as itself (unless it's as a cas= e study in
> managing large scale software development, or as a data point for code=
> quality metrics and other such things).

That's not true, there are lots of universities doing research *on* the=
Linux kernel, as well as doing research *for* the Linux kernel in order
to make it better and to prove/disprove new research theories.

One example would be the first talk listed here that happened last week: =C2=A0 =C2=A0 =C2=A0 =C2=A0 https://kernel-reci= pes.org/en/2019/live-blog-day-3-2/
It describes how research is being used to both prove that the kernel's=
model of operation is correct (he found bugs in it when doing so) as
well as to advance the development of formal methods.

There are loads of other research projects doing stuff like this all
over the world, look at the output of computer science papers for lots
of examples of this.

> And there's a difference between "University ABC has a profes= sor who's got this
> one project that happens to use Linux in it" and "University= DEF has 4
> professors and 20 grad students who have set up an official Center For=
> Something Research".=C2=A0 So if you're looking for grad scho= ols, you want to be
> looking at things with longevity, like the MIT Media Lab, or Purdue= 9;s computer
> security expertise, or a lot of the stuff being done at CMU or Stanfor= d or
> Berkeley.=C2=A0 It sucks to transfer to a grad school for 3 years, onl= y to have the
> project you transferred for go away a year later....

There are lots of these types of "centers of research" at univers= ities
outside of the US as well.=C2=A0 Again, look at papers for examples of comm= on
groups of professors sponsoring projects for where this is happening.=C2=A0= I
don't want to slight any by only listing a few :)

thanks,

greg k-h



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

Subject: Digest Footer

_______________________________________________
Kernelnewbies mailing list
Kernel= newbies@kernelnewbies.org
https://lists.kernelnewbies.org/mailma= n/listinfo/kernelnewbies


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

End of Kernelnewbies Digest, Vol 106, Issue 23
**********************************************
--0000000000008b1d270593b5b838-- --===============0455979067048991106== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ Kernelnewbies mailing list Kernelnewbies@kernelnewbies.org https://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies --===============0455979067048991106==--