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, <kernelnewbies-request@kernelnewbies.org> escribió:
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=?utf-8?Q?=c4=93?=tnieks)
   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 <manuel@uas.edu.mx>
To: kernelnewbies@kernelnewbies.org
Subject: Hello, does anyone know any university that has lines of
        research on the linux kernel
Message-ID:
        <CAPegGh8eOGgUdD6wOcCAeEW9=bp9kdss28JBuqJ7ozzFDYBrjQ@mail.gmail.com>
Content-Type: text/plain; charset="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=?utf-8?Q?=c4=93?=tnieks" <valdis.kletnieks@vt.edu>
To: Manuel Quintero Fonseca <manuel@uas.edu.mx>
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="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 more
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 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 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 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....)

-------------- 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/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: kernelnewbies@kernelnewbies.org
Subject: Re: Hello, does anyone know any university that has lines of
        research on the linux kernel
Message-ID:
        <CAG=DERm-KBx2nmG6X8J+7YqDJKdqg8zbyjuVKcX_xP7akJPodQ@mail.gmail.com>
Content-Type: text/plain; charset="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 <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 industry
> 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 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 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 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 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/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: kernelnewbies@kernelnewbies.org, Manuel Quintero Fonseca
        <manuel@uas.edu.mx>
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=utf-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 industry
> 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 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).

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 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 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
**********************************************