4 ms·

I recommend looking at Luca Cardelli's work [1]. He's probably the leading researcher in the intersection of CS and biology, in the sense of modelling biologica

I recommend looking at Luca Cardelli's work [1]. He's probably the leading researcher in the intersection of CS and biology, in the sense of modelling biological phenomenon as formal systems. Some of his lectures are online [2]. He's extremely approachable in my experience, so don't hesitate to contact him if you want to educate yourself more in this field. [1] http://lucacardelli.name/ http://lucacardelli.name/ [2] https://www.youtube.com/watch?v=o8q7kFeGUTM https://www.youtube.com/watch?v=o8q7kFeGUTM

__roland__ 6y ago
Totally agree. I think his paper "Can a Systems Biologist Fix a Tamagotchi?" is really nice, shows some of the fundamental conceptional issues and very fun reading nonetheless: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.131.4730&rep=rep1&type=pdf http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.131...
nextos 6y ago
His paper Abstract Machines of Systems Biology [1] is a wonderful, only slightly outdated, of what the field might be able to achieve in the future. I think and hope program analysis, abstract interpretation and friends will make a comeback to biology. Definitely topics covered in CS not in bioinformatics, which IMHO tends to be too applied for a first or second degree. I'd rather stick to the basics. [1] http://lucacardelli.name/Papers/Abstract%20Machines%20of%20Systems%20Biology%20%28Draft%29.pdf http://lucacardelli.name/Papers/Abstract%20Machines%20of%20S...
- GregarianChild 6y ago
  Probabilistic model checking of (models of) biological systems is definite done by Luca's group: - Design and Analysis of DNA Strand Displacement Devices using Probabilistic Model Checking http://lucacardelli.name/Papers/Design%20and%20Analysis%20of%20DNA%20Circuits.pdf http://lucacardelli.name/Papers/Design%20and%20Analysis%20of... - Central Limit Model Checking http://lucacardelli.name/Papers/Central%20Limit%20Model%20Checking.pdf http://lucacardelli.name/Papers/Central%20Limit%20Model%20Ch...
- sangfroid_bio 6y ago
  It varies from place to place, the better schools generally offer a more rigorous combination of CS and Biology, the reason why it may appear applied is mostly because Bioinformatics offered on MOOCS like EdX tend to only offer courses that fall under its specific subject code, giving the impression the entire field is about string manipulation. This is the same with other interdisciplinary subjects like mechatronics, they are generally a combination of two majors but courses exclusive to the particular interdisciplinary subject are lot more rare. Computational biology is a lot more than string processing and crunching through PDEs (synthetic biology), there is a tremendous amount of machine learning used in the current state of the art proteomics and drug synthesis research.

__roland__ 6y ago

Totally agree. I think his paper "Can a Systems Biologist Fix a Tamagotchi?" is really nice, shows some of the fundamental conceptional issues and very fun reading nonetheless: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.131.4730&rep=rep1&type=pdf http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.131...

nextos 6y ago

His paper Abstract Machines of Systems Biology [1] is a wonderful, only slightly outdated, of what the field might be able to achieve in the future. I think and hope program analysis, abstract interpretation and friends will make a comeback to biology. Definitely topics covered in CS not in bioinformatics, which IMHO tends to be too applied for a first or second degree. I'd rather stick to the basics. [1] http://lucacardelli.name/Papers/Abstract%20Machines%20of%20Systems%20Biology%20%28Draft%29.pdf http://lucacardelli.name/Papers/Abstract%20Machines%20of%20S...

GregarianChild 6y ago
Probabilistic model checking of (models of) biological systems is definite done by Luca's group: - Design and Analysis of DNA Strand Displacement Devices using Probabilistic Model Checking http://lucacardelli.name/Papers/Design%20and%20Analysis%20of%20DNA%20Circuits.pdf http://lucacardelli.name/Papers/Design%20and%20Analysis%20of... - Central Limit Model Checking http://lucacardelli.name/Papers/Central%20Limit%20Model%20Checking.pdf http://lucacardelli.name/Papers/Central%20Limit%20Model%20Ch...
sangfroid_bio 6y ago
It varies from place to place, the better schools generally offer a more rigorous combination of CS and Biology, the reason why it may appear applied is mostly because Bioinformatics offered on MOOCS like EdX tend to only offer courses that fall under its specific subject code, giving the impression the entire field is about string manipulation. This is the same with other interdisciplinary subjects like mechatronics, they are generally a combination of two majors but courses exclusive to the particular interdisciplinary subject are lot more rare. Computational biology is a lot more than string processing and crunching through PDEs (synthetic biology), there is a tremendous amount of machine learning used in the current state of the art proteomics and drug synthesis research.