Lawrence Paulson
லாரன்ஸ் சார்லஸ் பால்சன் (பிறப்பு 1955) ஒரு அமெரிக்க கணினி விஞ்ஞானி ஆவார். அவர் கேம்பிரிட்ஜ் பல்கலைக்கழக கணினி ஆய்வகத்தில் கம்ப்யூடேஷனல் லாஜிக் பேராசிரியராகவும், கேம்பிரிட்ஜ் கிளேர் கல்லூரியின் உறுப்பினராகவும் உள்ளார். கல்வி பால்சன் 1977 ஆம் ஆண்டில் கலிபோர்னியா இன்ஸ்டிடியூட் ஆப் டெக்னாலஜியில் பட்டம் பெற்றார், மேலும் 1981 ஆம் ஆண்டில் ஸ்டான்போர்ட் பல்கலைக்கழகத்தில் கணினி அறிவியலில் முனைவர் பட்டம் பெற்றார். ஆராய்ச்சியாளர் பால்சன் 1983 இல் கேம்பிரிட்ஜ் பல்கலைக்கழகத்திற்கு வந்து 1987 இல் கேம்பிரிட்ஜ் கிளேர் கல்லூரியின் உறுப்பினரானார். வேலை புரோகிராமருக்கான நிரலாக்க மொழியான எம்எல், எம்எல் ஆகியவற்றில் மூலக்கல்லாக எழுதப்பட்ட உரைக்காக அவர் மிகவும் பிரபலமானவர். அவரது ஆராய்ச்சி 1986 இல் அவர் அறிமுகப்படுத்திய இன்டராக்டிவ் தேற்றம் பழமொழி இசபெல்லை அடிப்படையாகக் கொண்டது. தூண்டல் வரையறைகளைப் பயன்படுத்தி குறியாக்க நெறிமுறைகளின் சரிபார்ப்பில் அவர் பணியாற்றியுள்ளார், மேலும் அவர் கர்ட் கோடலின் கட்டமைக்கக்கூடிய பிரபஞ்சத்தையும் முறைப்படுத்தியுள்ளார். சமீபத்தில் அவர் உண்மையான மதிப்புள்ள சிறப்பு செயல்பாடுகளுக்காக மெட்டி டார்ஸ்கி என்ற புதிய தேற்றம் பழமொழியை உருவாக்கியுள்ளார். பால்சன் கணினி அறிவியல் டிரிபோஸில் ஒரு இளங்கலை விரிவுரை பாடத்திட்டத்தை கற்பிக்கிறார், இது லாஜிக் அண்ட் ப்ரூஃப் என்ற தலைப்பில் தானியங்கி தேற்றத்தை நிரூபிக்கும் மற்றும் தொடர்புடைய முறைகளை உள்ளடக்கியது. (செயல்பாட்டு நிரலாக்கத்தை அறிமுகப்படுத்தும் கணினி அறிவியலின் அடித்தளங்களை அவர் கற்பித்தார், ஆனால் இந்த பாடத்திட்டத்தை ஆலன் மைக்ராஃப்ட் மற்றும் அமண்டா ப்ரோரோக் ஆகியோர் 2017 இல் எடுத்துக் கொண்டனர், பின்னர் அனில் மாதவபெட்டி மற்றும் அமண்டா ப்ரோரோக் ஆகியோர் 2019 இல் எடுத்துக் கொண்டனர்.) விருதுகள் மற்றும் கௌரவங்கள் 2017 ஆம் ஆண்டில் ராயல் சொசைட்டியின் (எஃப்ஆர்எஸ்) ஃபெலோவாகவும், 2008 ஆம் ஆண்டில் கம்ப்யூட்டிங் இயந்திரங்களுக்கான சங்கத்தின் ஃபெலோவாகவும், முனிச் தொழில்நுட்ப பல்கலைக்கழகத்தில் தகவல் அறிவியலில் தர்க்கத்திற்கான புகழ்பெற்ற இணைக்கப்பட்ட பேராசிரியராகவும் தேர்ந்தெடுக்கப்பட்டார். தனிப்பட்ட வாழ்க்கை பால்சனுக்கு அவரது முதல் மனைவி டாக்டர் சூசன் மேரி பால்சனால் இரண்டு குழந்தைகள் உள்ளனர், அவர் 2010 இல் இறந்தார். 2012 முதல், அவர் டாக்டர் எலெனா ட்சௌகனோவாவை மணந்தார். குறிப்புகள் 1955 உயிருள்ள மக்கள் அமெரிக்க கணினி விஞ்ஞானிகள் கேம்பிரிட்ஜ் பல்கலைக்கழக கணினி ஆய்வகத்தின் உறுப்பினர்கள் கலிபோர்னியா இன்ஸ்டிடியூட் ஆஃப் டெக்னாலஜி முன்னாள் மாணவர்கள் ஸ்டான்போர்ட் பல்கலைக்கழக முன்னாள் மாணவர்கள் கிளேர் கல்லூரியின் உறுப்பினர்கள், கேம்பிரிட்ஜ் ராயல் சொசைட்டியின் கணினி இயந்திரங்கள் சங்கத்தின் உறுப்பினர்கள் முறையான முறைகள் மக்கள்