add ascii based layout with basic API

alpaylan · Jul 31, 2023 · d8e5ee6 · d8e5ee6
1 parent 46f55e6
commit d8e5ee6
Show file tree

Hide file tree

Showing 6 changed files with 572 additions and 614 deletions.
diff --git a/output.txt b/output.txt
@@ -1,32 +1,32 @@
-  01234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789
-0 Work Experience                                                                                                                                                                                         
-  01234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789
-0 University of Maryland - PLUM                                                                                                                                                             Aug 2022 - Pre
-1 Graduate Research Assistant                                                                                                                                                                             
-2 Working with Leonidas Lampropoulos on the intersection of Property Based Testing, Fuzzing, and Formal Verification.                                                                                     
-3 Skills                                                                                                                                                                                                  
-  01234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789
-0 Amazon Web Services Privacy Engineering Team - Automated Reasoning                                                                                                                       May 2023 - Aug 
-1 Applied Science Intern                                                                                                                                                                                  
-2 Developed a dataflow analysis method for a state machine based DSL.                                                                                                                                     
-3 Python, Java, Dataflow Analysis, Symbolic Execution                                                                                                                                                     
-  01234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789
-0 Amazon Web Services Privacy Engineering Team - Automated Reasoning                                                                                                                       May 2022 - Aug 
-1 Applied Science Intern                                                                                                                                                                                  
-2 Implemented of a novel encryption scheme on top of the AWS Encryption SDK.                                                                                                                              
-3 Python, Dafny, AWS Encryption SDK                                                                                                                                                                       
-  01234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789
-0 University of Maryland - Maryland Cybersecurity Center(MC2)                                                                                                                              Jul 2020 - Dec 
-1 Research Intern                                                                                                                                                                                         
-2 Text                                                                                                                                                                                                    
-3 Program Synthesis, Automatic Exploit Generation                                                                                                                                                         
-  01234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789
-0 Havelsan                                                                                                                                                                                 Jul 2020 - Apr 
-1 Part-Time Engineer                                                                                                                                                                                      
-2 Designed and implemented a novel bandwidth detection and optimization algorithm for a video-conference application.                                                                                     
-3 Javascript, React                                                                                                                                                                                       
-  01234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789
-0 Emproof                                                                                                                                                                                  Jun 2019 - Sep 
-1 Embedded Security Engineering Intern                                                                                                                                                                    
-2 Worked on translation validation of binary obfuscation techniques.                                                                                                                                      
-3 C++, Z3 SMT Solver, ARM Assembly, Symbolic Execution                                                                                                                                                    
+Work Experience                                                                                     
+
+University of Maryland - PLUM                                                     Aug 2022 - Present
+Graduate Research Assistant                                                                         
+Working with Leonidas Lampropoulos on the intersection of Property Bas                              
+ed Testing, Fuzzing, and Formal Verification.                                                       
+
+Amazon Web Services Privacy Engineering Team - Automated Reasoning               May 2023 - Aug 2023
+Applied Science Intern                                                                              
+Developed a dataflow analysis method for a state machine based DSL.                                 
+Python, Java, Dataflow Analysis, Symbolic Execution                                                 
+
+Amazon Web Services Privacy Engineering Team - Automated Reasoning               May 2022 - Aug 2022
+Applied Science Intern                                                                              
+Implemented of a novel encryption scheme on top of the AWS Encryption                               
+SDK.                                                                                                
+Python, Dafny, AWS Encryption SDK                                                                   
+                                                                                                    
+University of Maryland - Maryland Cybersecurity Center(MC2)                      Jul 2020 - Dec 2020
+Research Intern                                                                                     
+Program Synthesis, Automatic Exploit Generation                                                     
+
+Havelsan                                                                         Jul 2020 - Apr 2020
+Part-Time Engineer                                                                                  
+Designed and implemented a novel bandwidth detection and optimization                               
+algorithm for a video-conference application.                                                       
+Javascript, React                                                                                   
+                                                                                                    
+Emproof                                                                          Jun 2019 - Sep 2019
+Embedded Security Engineering Intern                                                                
+Worked on translation validation of binary obfuscation techniques.                                  
+C++, Z3 SMT Solver, ARM Assembly, Symbolic Execution