J u m p t o c o n t e n t
M a i n m e n u
M a i n m e n u
N a v i g a t i o n
● M a i n p a g e
● C o n t e n t s
● C u r r e n t e v e n t s
● R a n d o m a r t i c l e
● A b o u t W i k i p e d i a
● C o n t a c t u s
● D o n a t e
C o n t r i b u t e
● H e l p
● L e a r n t o e d i t
● C o m m u n i t y p o r t a l
● R e c e n t c h a n g e s
● U p l o a d f i l e
S e a r c h
Search
A p p e a r a n c e
● C r e a t e a c c o u n t
● L o g i n
P e r s o n a l t o o l s
● C r e a t e a c c o u n t
● L o g i n
P a g e s f o r l o g g e d o u t e d i t o r s l e a r n m o r e
● C o n t r i b u t i o n s
● T a l k
( T o p )
1
B i o g r a p h y
2
R e s e a r c h
3
S e l e c t e d p u b l i c a t i o n s
4
R e f e r e n c e s
5
E x t e r n a l l i n k s
T o g g l e t h e t a b l e o f c o n t e n t s
D a n i e l J a c k s o n ( c o m p u t e r s c i e n t i s t )
4 l a n g u a g e s
● ا ل ع ر ب ي ة
● ت ۆ ر ک ج ه
● D e u t s c h
● M a l a g a s y
E d i t l i n k s
● A r t i c l e
● T a l k
E n g l i s h
● R e a d
● E d i t
● V i e w h i s t o r y
T o o l s
T o o l s
A c t i o n s
● R e a d
● E d i t
● V i e w h i s t o r y
G e n e r a l
● W h a t l i n k s h e r e
● R e l a t e d c h a n g e s
● U p l o a d f i l e
● S p e c i a l p a g e s
● P e r m a n e n t l i n k
● P a g e i n f o r m a t i o n
● C i t e t h i s p a g e
● G e t s h o r t e n e d U R L
● D o w n l o a d Q R c o d e
● W i k i d a t a i t e m
P r i n t / e x p o r t
● D o w n l o a d a s P D F
● P r i n t a b l e v e r s i o n
A p p e a r a n c e
F r o m W i k i p e d i a , t h e f r e e e n c y c l o p e d i a
Daniel Jackson (born 1963) is a professor of Computer Science at the Massachusetts Institute of Technology (MIT). He is the principal designer of the Alloy modelling language, and author of the books Software Abstractions: Logic, Language, and Analysis [1] and The Essence of Software .[2] He leads the Software Design Group at MIT's Computer Science and Artificial Intelligence Laboratory .
Biography [ edit ]
Jackson was born in London, England, in 1963.[3]
He studied physics at the University of Oxford , receiving an MA in 1984. After completing his MA, Jackson worked for two years as a software engineer at Logica UK Ltd. He then returned to academia to study computer science at MIT, where he received an SM in 1988, and a PhD in 1992. Following the completion of his doctorate Jackson took up a position as an Assistant Professor of Computer Science at Carnegie Mellon University , which he held until 1997.[4] He has been on the faculty of the Department of Electrical Engineering and Computer Science at MIT since 1997.
In 2017 he became a Fellow of the Association for Computing Machinery .[5] In the same year, he was awarded the ACM SIGSOFT Outstanding Research Award.[6]
Jackson is also a photographer, and has an interest in the straight photography style. The MIT Museum commissioned a series of photographs of MIT laboratories from him, displayed from May to December 2012, to accompany an exhibit of images by Berenice Abbott .
Jackson is the son of software engineering researcher Michael A. Jackson ,[7] developer of Jackson Structured Programming (JSP), Jackson System Development (JSD), and the Problem Frames Approach .
Research [ edit ]
Jackson's research is broadly concerned with improving the dependability of software. He is a proponent of lightweight formal methods .[8] Jackson and his students developed the Alloy language and its associated Alloy Analyzer analysis tool to provide support for lightweight specification and modelling efforts.[9]
Between 2004 and 2007, Jackson chaired a multi-year United States National Research Council study on dependable systems .[10]
Selected publications [ edit ]
Jackson, Daniel; Thomas, Martyn ; Millett, Lynette I., eds. (May 2007). Software for Dependable Systems: Sufficient Evidence? . Washington, DC: The National Academies Press. doi :10.17226/11923 . ISBN 978-0-309-10394-7 .
Jackson, Daniel (April 2006). Software Abstractions: Logic, Language, and Analysis . Cambridge, MA: MIT Press. ISBN 978-0-262-10114-1 . Retrieved 10 January 2009 .
Jackson, Daniel (June 2006). "Dependable Software by Design" . Scientific American . 294 (6 ): 68–75. Bibcode :2006SciAm.294f..68J . doi :10.1038/scientificamerican0606-68 . PMID 16711362 .
Jackson, Daniel (April 2002). "Alloy: A Lightweight Object Modelling Notation" (PDF) . ACM Transactions on Software Engineering and Methodology . 11 (2 ): 256–290. CiteSeerX 10.1.1.12.4127 . doi :10.1145/505145.505149 . S2CID 5683166 .
References [ edit ]
^ Jackson, Daniel. "DANIEL JACKSON" . Straight Photography by Daniel Jackson . Archived from the original on 13 November 2007. Retrieved 9 January 2009 .
^ "Prof. Daniel Jackson" . CSAIL Software Design Group . Archived from the original on 9 August 2012. Retrieved 9 January 2009 .
^ Cacm Staff (March 2017), "ACM Recognizes New Fellows", Communications of the ACM , 60 (3 ): 23, doi :10.1145/3039921 , S2CID 31701275 .
^ "Outstanding Research Award" . Association for Computing Machinery . Retrieved 7 April 2024 .
^ Jackson, Daniel. "Daniel Jackson" . CSAIL Faculty Pages . Retrieved 9 January 2009 .
^ Jackson, Daniel; Wing, Jeannette (April 1996). Saiedian, Hossein (ed.). "An Invitation to Formal Methods : Lightweight Formal Methods" . IEEE Computer . 29 (4 ): 16. doi :10.1109/MC.1996.488298 . S2CID 15230509 .
^ Jackson, Daniel (April 2002). "Alloy: A Lightweight Object Modelling Notation" (PDF) . ACM Transactions on Software Engineering and Methodology . 11 (2 ): 256–290. CiteSeerX 10.1.1.12.4127 . doi :10.1145/505145.505149 . S2CID 5683166 .
^ "Sufficient Evidence? Building Certifiably Dependable Systems" . Computer Science and Telecommunications Board . The National Academies. Archived from the original on 27 April 2019. Retrieved 9 January 2009 .
External links [ edit ]
International
National
Academics
Artists
Other
R e t r i e v e d f r o m " https://en.wikipedia.org/w/index.php?title=Daniel_Jackson_(computer_scientist)&oldid=1225385927 "
C a t e g o r i e s :
● 1 9 6 3 b i r t h s
● L i v i n g p e o p l e
● P h o t o g r a p h e r s f r o m L o n d o n
● A l u m n i o f t h e U n i v e r s i t y o f O x f o r d
● B r i t i s h c o m p u t e r p r o g r a m m e r s
● B r i t i s h e x p a t r i a t e a c a d e m i c s i n t h e U n i t e d S t a t e s
● M I T S c h o o l o f E n g i n e e r i n g a l u m n i
● C a r n e g i e M e l l o n U n i v e r s i t y f a c u l t y
● M I T S c h o o l o f E n g i n e e r i n g f a c u l t y
● E n g l i s h c o m p u t e r s c i e n t i s t s
● F o r m a l m e t h o d s p e o p l e
● S o f t w a r e e n g i n e e r i n g r e s e a r c h e r s
● C o m p u t e r s c i e n c e w r i t e r s
● 2 0 t h - c e n t u r y B r i t i s h p h o t o g r a p h e r s
● 2 1 s t - c e n t u r y B r i t i s h p h o t o g r a p h e r s
H i d d e n c a t e g o r i e s :
● E n g v a r B f r o m D e c e m b e r 2 0 1 7
● U s e d m y d a t e s f r o m D e c e m b e r 2 0 1 7
● A r t i c l e s w i t h h C a r d s
● A r t i c l e s w i t h I S N I i d e n t i f i e r s
● A r t i c l e s w i t h V I A F i d e n t i f i e r s
● A r t i c l e s w i t h W o r l d C a t E n t i t i e s i d e n t i f i e r s
● A r t i c l e s w i t h B I B S Y S i d e n t i f i e r s
● A r t i c l e s w i t h G N D i d e n t i f i e r s
● A r t i c l e s w i t h J 9 U i d e n t i f i e r s
● A r t i c l e s w i t h L C C N i d e n t i f i e r s
● A r t i c l e s w i t h N D L i d e n t i f i e r s
● A r t i c l e s w i t h P L W A B N i d e n t i f i e r s
● A r t i c l e s w i t h A C M - D L i d e n t i f i e r s
● A r t i c l e s w i t h D B L P i d e n t i f i e r s
● A r t i c l e s w i t h M G P i d e n t i f i e r s
● A r t i c l e s w i t h S c o p u s i d e n t i f i e r s
● A r t i c l e s w i t h Z B M A T H i d e n t i f i e r s
● A r t i c l e s w i t h P I C i d e n t i f i e r s
● A r t i c l e s w i t h S N A C - I D i d e n t i f i e r s
● A r t i c l e s w i t h S U D O C i d e n t i f i e r s
● T h i s p a g e w a s l a s t e d i t e d o n 2 4 M a y 2 0 2 4 , a t 0 3 : 3 4 ( U T C ) .
● T e x t i s a v a i l a b l e u n d e r t h e C r e a t i v e C o m m o n s A t t r i b u t i o n - S h a r e A l i k e L i c e n s e 4 . 0 ;
a d d i t i o n a l t e r m s m a y a p p l y . B y u s i n g t h i s s i t e , y o u a g r e e t o t h e T e r m s o f U s e a n d P r i v a c y P o l i c y . W i k i p e d i a ® i s a r e g i s t e r e d t r a d e m a r k o f t h e W i k i m e d i a F o u n d a t i o n , I n c . , a n o n - p r o f i t o r g a n i z a t i o n .
● P r i v a c y p o l i c y
● A b o u t W i k i p e d i a
● D i s c l a i m e r s
● C o n t a c t W i k i p e d i a
● C o d e o f C o n d u c t
● D e v e l o p e r s
● S t a t i s t i c s
● C o o k i e s t a t e m e n t
● M o b i l e v i e w