About

You said: R1 universities in Massachusetts, and find their computer science website link ChatGPT said: Here’s a list of R1 (Research 1) universities in Massachusetts — meaning they are recognized for very high research activity — along with links to their computer science department or related CS program websites (where available). The R1 classification is from the Carnegie Classification of Institutions of Higher Education as of the most recent update. 1. Massachusetts Institute of Technology (MIT) Type: Private R1 Research University (Cambridge, MA) Computer Science Website: • MIT Schwarzman College of Computing: https://computing.mit.edu/ 2. Harvard University Type: Private R1 Research University (Cambridge, MA) Computer Science Website: • Harvard John A. Paulson School of Engineering and Applied Sciences – Computer Science: https://www.seas.harvard.edu/computer-science (Harvard’s CS is part of SEAS) 3. Boston University Type: Private R1 Research University (Boston, MA) Computer Science Website: • BU Computer Science Department (CAS): https://www.bu.edu/cs/ 4. Boston College Type: Private R1 Research University (Chestnut Hill, MA) Computer Science Website: • Computer Science Department: https://www.bc.edu/bc-web/schools/cas/cs.html 5. Brandeis University Type: Private R1 Research University (Waltham, MA) Computer Science Website: • Computer Science Department: https://www.brandeis.edu/computer-science/ 6. Tufts University Type: Private R1 Research University (Medford/Somerville, MA) Computer Science Website: • Computer Science Department: https://engineering.tufts.edu/computer-science/ 7. Northeastern University Type: Private R1 Research University (Boston, MA) Computer Science Website: • Khoury College of Computer Sciences: https://khoury.northeastern.edu/ 8. University of Massachusetts Amherst Type: Public R1 Research University (Amherst, MA) Computer Science Website: • College of Information and Computer Sciences (CICS): https://www.cics.umass.edu/ 9. University of Massachusetts Lowell Type: Public R1 Research University (Lowell, MA) Computer Science Website: • Department of Computer Science: https://www.uml.edu/Engineering/Computer-Science/ 10. University of Massachusetts Boston Type: Public R1 Research University (Boston, MA) Computer Science Website: • Computer Science (College of Science): https://www.umb.edu/academics/cla/departments/computer_science Useful tip for applications: Many of these universities also offer research opportunities, labs, and specializations within artificial intelligence, data science, cybersecurity, and software engineering — check their CS department pages directly for details on admission requirements and faculty research areas. If you want, I can also list selectivity, fees, or the strength of their CS programs based on recent rankings to help you compare them! You said: ### **Massachusetts Institute of Technology (MIT)** * **Type:** Private R1 Research University (Cambridge, MA) [Wikipedia](https://en.wikipedia.org/wiki/Massachusetts_Institute_of_Technology?utm_source=chatgpt.com) * **Computer Science Website:** • **MIT Schwarzman College of Computing:** [https://computing.mit.edu/](https://computing.mit.edu/) [Wikipedia](https://en.wikipedia.org/wiki/MIT_Schwarzman_College_of_Computing?utm_source=chatgpt.com) gimme the faculty link ChatGPT said: Here are direct faculty pages (with lists of professors/researchers) for R1 universities in Massachusetts that have strong Computer Science programs: 1. Massachusetts Institute of Technology (MIT) 🔗 Schwarzman College of Computing – Faculty List: https://computing.mit.edu/faculty/ This page shows faculty affiliated with MIT’s computing and CS research areas. You can also see detailed faculty listings for the Department of Electrical Engineering and Computer Science (EECS) — the core CS department — here: 🔗 EECS Faculty Directory: https://www.eecs.mit.edu/role/faculty/ 2. Boston University 🔗 BU Computer Science Faculty: https://www.bu.edu/cs/about/people/faculty/ This page lists professors, associate professors, assistant professors, lecturers, and emeritus faculty in BU’s CS department. 3. University of Massachusetts Amherst 🔗 UMass Amherst Computer Science Faculty: https://web.cs.umass.edu/csinfo/autogen/faculty.html This includes active faculty and research scientists in the Department of Computer Science. 4. University of Massachusetts Boston 🔗 UMass Boston Computer Science Faculty: https://www.cs.umb.edu/faculty Lists assistant professors, lecturers, and retired faculty in the CS department. If you want faculty pages for other CS departments like Harvard University, Northeastern University (Khoury College), Boston College, or UMass Lowell, just let me know and I can look up their specific faculty directory links too! You said: Justin Solomon Associate Professor Principal investigator, Geometric Data Processing Group MIT Department of Electrical Engineering & Computer Science Computer Science and Artificial Intelligence Laboratory (CSAIL) MIT Center for Computational Science and Engineering (CCSE) Office: Stata Center, 32-D460 Office phone: (617) 324-6738 write the bio ChatGPT said: Here’s a clean, professional short bio based strictly on the info you gave (no extra assumptions): Justin Solomon is an Associate Professor in the Department of Electrical Engineering and Computer Science (EECS) at the Massachusetts Institute of Technology (MIT). He is the Principal Investigator of the Geometric Data Processing Group and is affiliated with the Computer Science and Artificial Intelligence Laboratory (CSAIL) and the MIT Center for Computational Science and Engineering (CCSE). His office is located in the Stata Center (32-D460). If you want: a more academic / grant-style bio a shorter 2–3 line version or a bio tailored for emailing a professor / PhD applications say the word and I’ll tune it perfectly. You said: ### **. Harvard University** * **Type:** Private R1 Research University (Cambridge, MA) [Wikipedia](https://en.wikipedia.org/wiki/List_of_research_universities_in_the_United_States?utm_source=chatgpt.com) * **Computer Science Website:** • **Harvard John A. Paulson School of Engineering and Applied Sciences – Computer Science:** [https://www.seas.harvard.edu/computer-science](https://www.seas.harvard.edu/computer-science) (Harvard’s CS is part of SEAS) give me the CS DEPT FACULTY LINK ChatGPT said: Here’s the official Computer Science department faculty (or “people”) page link you asked for at Harvard University (John A. Paulson School of Engineering and Applied Sciences – Computer Science): 🔗 Harvard SEAS Computer Science Faculty & People (lists faculty, research, and CS leadership): https://seas.harvard.edu/computer-science/faculty-research This page shows professors and research-active faculty associated with Harvard’s CS program, including those you might know like Stephen Chong and David J. Malan. Let me know if you want faculty links for other CS departments in Massachusetts (like MIT EECS, Northeastern Khoury, or Boston University CS). You said: ### **Boston University** * **Type:** Private R1 Research University (Boston, MA) [Wikipedia+1](https://en.wikipedia.org/wiki/List_of_research_universities_in_the_United_States?utm_source=chatgpt.com) * **Computer Science Website:** • **BU Computer Science Department (CAS):** [https://www.bu.edu/cs/](https://www.bu.edu/cs/?utm_source=chatgpt.com) gimme the link of the faculty of cs ChatGPT said: Here’s the official Boston University Computer Science faculty page you asked for: 👉 Boston University Computer Science Faculty: https://www.bu.edu/cs/people/faculty/ This page lists professors, associate professors, assistant professors, lecturers, and affiliated faculty in BU’s CS department. If you want the faculty page for another CS department (like MIT EECS, Harvard SEAS CS, Northeastern Khoury, or UMass Amherst CS), just tell me! You said: 5. Brandeis University Type: Private R1 Research University (Waltham, MA) Computer Science Website: • Computer Science Department: https://www.brandeis.edu/computer-science/ gimme the cs faculty link ChatGPT said: Here’s the official faculty page for the Brandeis University Computer Science Department: 👉 Brandeis University Computer Science Faculty & Staff: https://www.brandeis.edu/computer-science/people/index.html This page shows professors, lecturers, visiting faculty, and emeriti associated with the CS department. If you need direct individual faculty profiles (like research interests or contact details), I can help you find those too! You said: Lotus Goldberg PhD, McGill University Professor of Linguistics; Vice Chair, Linguistics and Computational Linguistics Programs; Director of Graduate Studies 781-736-3265lmgold@brandeis.eduVolen 252 Lotus' Website Expertise: Theoretical syntax and the syntax-semantics interface, ellipsis and null anaphora, morphosyntax, structure of Modern Hebrew and other Semitic languages, corpus linguistics i need the short bio ChatGPT said: Here’s a clean, short academic bio based only on the details you provided: Lotus Goldberg is a Professor of Linguistics at Brandeis University, where she serves as Vice Chair of the Linguistics and Computational Linguistics Programs and Director of Graduate Studies. She earned her PhD from McGill University. Her research expertise includes theoretical syntax, the syntax–semantics interface, ellipsis and null anaphora, morphosyntax, the structure of Modern Hebrew and other Semitic languages, and corpus linguistics. If you want an even shorter 2-line version or one tailored for a faculty directory / email / CV, I can tweak it instantly. You said: Tim Hickey PhD, University of Chicago Professor, Computer Science 781-736-2706tjhickey@brandeis.eduVolen 138 Tim's Website Expertise: Educational technology, computer science education, 3D game design, interval arithmetic, scientific visualization, computer-supported learning, groupware and collaborative editing, constraint logic programming ChatGPT said: Here’s a short, clean academic bio for him: Tim Hickey is a Professor of Computer Science at Brandeis University. He earned his PhD from the University of Chicago. His areas of expertise include educational technology, computer science education, 3D game design, interval arithmetic, scientific visualization, computer-supported learning, groupware and collaborative editing, and constraint logic programming. If you want this extra-short, more formal, or rewritten to match a faculty directory style, just say the word. You said: Pengyu Hong PhD, University of Illinois, Urbana-Champaign Professor, Computer Science; Affiliation: International Business School 781-736-2729hongpeng@brandeis.eduVolen 135 Pengyu's Website Expertise: Computer science, fintech, machine learning, image processing, bioinformatics, biomedical informatics, intelligent education ChatGPT said: Here’s a short, polished academic bio based on the info you shared: Pengyu Hong is a Professor of Computer Science at Brandeis University, with an affiliation to the International Business School. He earned his PhD from the University of Illinois at Urbana–Champaign. His research expertise includes computer science, fintech, machine learning, image processing, bioinformatics, biomedical informatics, and intelligent education. If you want this shorter, more formal, or adapted for a faculty webpage or email intro, I can adjust it instantly. You said: Ju Hyoung Mun PhD, Ewha W. University Assistant Professor and Industry Liaison, Computer Science jmun@brandeis.eduVolen 304 Expertise: Computer networking, hardware/software co-design, data structures and algorithms, and lookup performance enhancements ChatGPT said: Here’s a short, clean academic bio for her: Ju Hyoung Mun is an Assistant Professor of Computer Science and Industry Liaison at Brandeis University. She earned her PhD from Ewha W. University. Her research expertise includes computer networking, hardware/software co-design, data structures and algorithms, and lookup performance enhancements. If you want it even shorter, more formal, or styled exactly like a department faculty directory, just tell me. You said: Tufts University Type: Private R1 Research University (Medford/Somerville, MA) Computer Science Website: • Computer Science Department: https://engineering.tufts.edu/computer-science/ give the cs faculty link ChatGPT said: Here’s the official faculty page for the Tufts University Computer Science Department: 👉 Tufts University Computer Science Faculty (People) page: https://engineering.tufts.edu/cs/people/faculty-and-staff.html This page lists professors, teaching faculty, and researchers in Tufts’ Computer Science department, including their roles and contact info. If you also want direct links to individual faculty profiles (like Lenore Cowen, Fahad Dogar, or Soha Hassoun), just say which ones you need. You said: TUFTS UNIVERSITY APPOINTMENTS Associate Professor Tufts University, School of Engineering, Computer Science, 177 College Avenue, Medford, MA, 02155, USA 1 Sep 2023 - present Associate Professor Tufts University, School of Arts and Sciences, Mathematics, 177 College Avenue, Medford, MA, 02155, USA 2 May 2024 - present DEGREES PhD Lomonosov Moscow State University, Moscow, Russia 1 Oct 2006 - 1 Oct 2009 i need the short bio ChatGPT said: Here’s a short, clean academic bio based strictly on the details you provided: This faculty member is an Associate Professor at Tufts University, holding a joint appointment in the School of Engineering (Computer Science) and the School of Arts and Sciences (Mathematics). They joined the Computer Science department in September 2023 and the Mathematics department in May 2024. They earned their PhD from Lomonosov Moscow State University. If you want it more formal, even shorter (2 lines), or styled to match a faculty directory format, I can tweak it instantly. You said: Peter Love Professor, Physics & Astronomy Professor, Computer Science (617) 627-1065 peter.love@tufts.edu 574 Boston Ave Full Profile (facultyprofiles.tufts.edu) ChatGPT said: Here’s a short, polished academic bio for him: Peter Love is a Professor of Physics & Astronomy and Professor of Computer Science at Tufts University. His interdisciplinary work bridges physics and computer science, with research and teaching spanning both fields. If you want this even shorter, more detailed, or formatted exactly like a faculty directory entry, tell me and I’ll adjust it. You said: Samantha Petti Samantha Petti Assistant Professor, Mathematics Assistant Professor, Computer Science samantha.petti@tufts.edu 177 College Avenue Full Profile (facultyprofiles.tufts.edu) ChatGPT said: Here’s a short, clean academic bio for her: Samantha Petti is an Assistant Professor of Mathematics and Assistant Professor of Computer Science at Tufts University. She holds a joint appointment across both departments and is based at 177 College Avenue. If you want this shorter, more formal, or expanded with research interests, just tell me. You said: Northeastern University Type: Private R1 Research University (Boston, MA) Computer Science Website: • Khoury College of Computer Sciences: https://khoury.northeastern.edu/ give the cs dept faculty link ChatGPT said: Here is the official faculty/people directory page for the Khoury College of Computer Sciences at Northeastern University: 👉 Khoury College of Computer Sciences — People & Faculty Directory: https://www.khoury.northeastern.edu/about/people/ This page includes faculty in categories like: Tenured/Tenure-Track Faculty Teaching Faculty Research Faculty Affiliated Faculty Staff & PhD Students You can use the filters on that page to view just faculty members (professors, associate professors, assistant professors, etc.). If you want direct links to specific professors’ profiles within Khoury (example: faculty research pages), I can help find those too! You said: University of Massachusetts Amherst Type: Public R1 Research University (Amherst, MA) Computer Science Website: • College of Information and Computer Sciences (CICS): https://www.cics.umass.edu/ give the cs faculty link ChatGPT said: Here is the official faculty directory link for the College of Information and Computer Sciences (CICS) at University of Massachusetts Amherst: 👉 UMass Amherst CICS Faculty Directory: https://www.cics.umass.edu/about/directory/r (cics.umass.edu) This directory lets you view faculty members (including professors, associate/assistant professors, and emeriti) and filter by research areas within the CS department. If you want a global alphabetical listing or links to individual faculty profiles, let me know! You said: Northeastern University Type: Private R1 Research University (Boston, MA) Computer Science Website: • Khoury College of Computer Sciences: https://khoury.northeastern.edu/ give me the cs dept link ChatGPT said: Here’s the official Computer Science department link (Khoury College of Computer Sciences) for Northeastern University: 👉 Khoury College of Computer Sciences (Computer Science Department): https://www.khoury.northeastern.edu/ This is the main site for the CS department at Northeastern, where you can explore programs, research, news, and links to faculty and people pages. If you want the direct faculty/people directory, just let me know! You said: cs dept faculty link ChatGPT said: Here’s the official Computer Science (Khoury College) faculty/people page for Northeastern University: 👉 Khoury College of Computer Sciences – Faculty & People Directory: https://www.khoury.northeastern.edu/about/people/ On this page you can view and explore the faculty, teaching/research professors, affiliated faculty, and other members of the Khoury College community. If you need direct links to specific professors’ profiles or research interests, just let me know! You said: ### **9\. University of Massachusetts Lowell** * **Type:** Public R1 Research University (Lowell, MA) [uml.edu+1](https://www.uml.edu/news/press-releases/2025/r1announcement-release-021325.aspx?utm_source=chatgpt.com) * **Computer Science Website:** • **Department of Computer Science:** https://www.uml.edu/Engineering/Computer-Science/ gimme the cs dept faculty list ChatGPT said: Here’s a snapshot of faculty in the Computer Science department (Khoury College of Computer Sciences) at Northeastern University — based on the official directory and additional sources: 👩‍🏫 Highlighted Faculty (Tenured / Tenure-Track / Leadership) These are core faculty you’ll often see listed in the Northeastern CS catalog or directory: Amal Ahmed – Professor & Associate Dean of Graduate Programs (Programming Languages) Christo Wilson – Associate Professor, Associate Dean of Undergraduate Programs Ada Lerner – Assistant Professor, Director of Cybersecurity Program Byron Wallace – Associate Professor, Director of Data Science Program 📚 Additional Faculty & Professors Known from Research / Wikipedia William D. Clinger – Associate Professor (Functional Programming Languages) Christopher Amato – Associate Professor (AI & Robotics) Kevin Fu – Professor (Computer Security) 📌 Note on the Full Directory The full people & faculty directory includes many more roles such as: Tenured/Tenure-Track Faculty Teaching Faculty Research Faculty Affiliated Faculty Co-op Faculty & Postdocs PhD Students & Staff …and you can browse and filter them there. 📍 Official Khoury College faculty & people page: 👉 https://www.khoury.northeastern.edu/about/people/ If you want direct links to specific professors’ profiles (e.g., Amal Ahmed, Christo Wilson, etc.), I can help find those too! You said: ### **. University of Massachusetts Lowell** * **Type:** Public R1 Research University (Lowell, MA) [uml.edu+1](https://www.uml.edu/news/press-releases/2025/r1announcement-release-021325.aspx?utm_source=chatgpt.com) * **Computer Science Website:** • **Department of Computer Science:** https://www.uml.edu/Engineering/Computer-Science/ gimme the cs dept faculty link ChatGPT said: Here’s the official faculty page for the Computer Science department at the University of Massachusetts Lowell (Miner School of Computer and Information Sciences): 👉 UMass Lowell CS Faculty & Staff: 🔗 https://www.uml.edu/sciences/computer-science/people/faculty.aspx This page lists professors, associate professors, teaching faculty, and other CS department members. If you want a list of names pulled from that page (like the full faculty list) in a clean list format, just let me know! You said: Cindy Chen Department Chair, Associate Professor College Kennedy College of Sciences Department Miner School of Computer and Information Sciences Phone 978-934-1968 Office Dandeneau Hall - 339 Email cindy_chen@uml.edu Expertise Database and Data Mining Research Interests Spatio-temporal databases, spatio-temporal data mining, cloud computing, social network Education Doctor of Philosophy (Ph D): Computer Science, Database and Knowledge Base Management, (2001), University of California at Los Angeles Supporting Area: Network Modeling and Analysis Foundations of Programming Dissertation / Thesis Title: Data Models and Query Languages of Spatio-Temporal Information Master of Science (MS): Computer Science, University of California at Los Angeles Bachelor of Science (BS): Space Physics, Peking University - Beijing, China Selected Awards and Honors Dean's Fellowship (1999), Scholarship/Research - School of Engineering, University of California at Los Angeles Dean's Fellowship (1998), Scholarship/Research - School of Engineering, University of California at Los Angeles gimme the bio ChatGPT said: Here’s a clean, professional short bio for her, written in an academic faculty-directory style: Cindy Chen is the Department Chair and an Associate Professor in the Miner School of Computer and Information Sciences at the Kennedy College of Sciences, University of Massachusetts Lowell. She earned her PhD in Computer Science from the University of California, Los Angeles (UCLA), specializing in database and knowledge base management. Her research focuses on spatio-temporal databases, spatio-temporal data mining, cloud computing, and social network analysis. She has received multiple Dean’s Fellowships from UCLA’s School of Engineering in recognition of her academic excellence. If you want a shorter 2–3 line version, or one tailored for a faculty webpage, CV, or research proposal, I can refine it instantly. You said: Matteo Cimini Assistant Professor College Kennedy College of Sciences Department Miner School of Computer & Information Sciences Phone 978-934-3682 Office Dandeneau Hall - 324 Email Matteo_Cimini@uml.edu Links Website Google Scholar Profile Research Interests Programming Languages, Formal Methods, Interactive Theorem Proving, and Concurrent Programming. Education Ph D: Computer Science, (2012), Reykjavik University - Iceland Dissertation/Thesis Title: Contributions to the Meta-Theory of Structural Operational Semantics. MS: Computer Science, (2008), University of Bologna - Italy Dissertation/Thesis Title: Lambda-calculi based on sequents: abstract machines and comparison with the π-calculus. Selected Publications Zakian, T., McDonell, T., Cimini, M., Newton, R. (2018). Ghostbuster: A Tool for Simplifying and Converting GADTs. Journal of Functional Programming. , M. (2018). Languages as First-Class Citizens (Vision Paper). Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2018) Cimini, M., McCarthy, J. (2018). Proceedings of the 30th Symposium on Implementation and Application of Functional Languages (IFL 2018). Cimini, M., Siek, J.G. (2017). Automatically Generating the Dynamic Semantics of Gradually Typed Languages. Jafari, A., Khamespanah, E., Sirjani, M., Hermanns, H., Cimini, M. (2016). PTRebeca: Modeling and Analysis of Distributed and Asynchronous Systems. (128 pp. 22-50). Science of Computer Programming Cimini, M., Siek, J., Sterling, T. (2016). The Semantics of ParalleX, v1.0 (TR726:). Indiana University Technical Report Cimini, M., Miller, D., Siek, J. (2016). Well-Typed Languages are Sound. McDonnell, T., Zakian, T., Cimini, M., Newton, R. (2016). Ghostbuster: A Tool for Simplifying and Converting GADTs. (pp. 338-350). Cimini, M., Siek, J. (2016). Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language. Cimini, M., Siek, J.G. (2016). The Gradualizer: A Methodology and Algorithm for Generating Gradual Type Systems. (pp. 443-455). Chaudhuri, K., Cimini, M., Miller, D. (2015). A Lightweight Formalization of the Metatheory of Bisimulation-Up-To. Annual Symposium on Principles of Programming Languages, 157. Siek, J.G., Vitousek, M.M., Cimini, M., Tobin-Hochstadt, S., Garcia, R. (2015). Monotonic References for Efficient Gradual Typing. Programming Languages & Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory & Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings, 432. Garcia, R., Cimini, M. (2015). Principal Type Schemes for Gradual Programs. Annual Symposium on Principles of Programming Languages, 303. Siek, J.G., Vitousek, M.M., Cimini, M., Boyland, J.T. (2015). Refined criteria for gradual typing. Reynisson, A.H., Sirjani, M., Aceto, L., Cimini, M., Jafari, A., Ingolfsdottir, A., Sigurdarson, S.H. (2014). Modelling and simulation of asynchronous real-time systems using Timed Rebeca. Science of Computer Programming. Cimini, M., Mousavi, M., Reniers, M.A., Gabbay, M.J. (2012). Nominal SOS. Electronic Notes in Theoretical Computer Science, 286(Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVIII)) 103 - 116. ACETO, L., Cimini, M., INGOLFSDOTTIR, A. (2012). Proving the validity of equations in GSOS languages using rule-matching bisimilarity. Mathematical Structures in Computer Science, 22(2) 291. Aceto, L., Cimini, M., Ingolfsdottir, A., Mousavi, M., Reniers, M.A. (2012). Rule formats for distributivity. Theoretical Computer Science, 458 1 - 28. Luca, A., Matteo, C., Anna, I., Arni Hermann, R., Steinar Hugi, S., Marjan, S. (2011). Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca. Electronic Proceedings in Theoretical Computer Science, Vol 58, Iss Proc. FOCLASA 2011, Pp 1-19 (2011), (Proc. FOCLASA 2011) 1. Aceto, L., Cimini, M., Ingolfsdottir, A., Mousavi, M., Reniers, M.A. (2011). SOS rule formats for zero and unit elements. Theoretical Computer Science, 412(Festschrift in Honour of Jan Bergstra) 3045 - 3071. Cimini, M., Coen, C.S., Sangiorgi, D. (2010). Functions as Processes: Termination and the $$ -Calculus. Trustworthly Global Computing, 73. Aceto, L., Cimini, M., Ingolfsdottir, A., Mousavi, M.R., Reniers, M.A. (2010). On Rule Formats for Zero and Unit Elements. Electronic Notes in Theoretical Computer Science, 265(Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2010)) 145 - 160. Luca, A., Matteo, C., Anna, I. (2009). A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages. Electronic Proceedings in Theoretical Computer Science, Vol 18, Iss Proc. SOS 2009, Pp 1-16 (2010), (Proc. SOS 2009) 1. ChatGPT said: Here’s a concise, polished academic bio that captures his role, background, and research focus—without overwhelming detail: Matteo Cimini is an Assistant Professor of Computer Science in the Miner School of Computer & Information Sciences at the Kennedy College of Sciences, University of Massachusetts Lowell. He earned his PhD in Computer Science from Reykjavik University, with a dissertation on the meta-theory of structural operational semantics, and holds an MS in Computer Science from the University of Bologna. His research interests include programming languages, formal methods, interactive theorem proving, and concurrent programming, with publications in leading venues such as POPL, ESOP, Science of Computer Programming, and the Journal of Functional Programming. If you want a shorter 2–3 line version, a grant-style bio, or one tailored exactly to a university faculty directory, I can refine it quickly. You said: Ruizhe Ma Assistant Professor College Kennedy College of Sciences Department Miner School of Computer & Information Sciences Phone 978-934-3620 Office Dandeneau Hall Email Ruizhe_Ma@uml.edu Links Faculty website Research Interests Data Mining, Machine Learning, Big Data Analytics, Information Retrieval, Data Visualization Education Ph.D.: Computer Science, (2020), Georgia State University - Atlanta, USA MS: Computer Science, (2019), Georgia State University - Atlanta, USA BS: Computer Science, (2014), Northeastern University - Shenyang, China ChatGPT said: Here’s a clean, concise academic bio for him: Ruizhe Ma is an Assistant Professor of Computer Science in the Miner School of Computer & Information Sciences at the Kennedy College of Sciences, University of Massachusetts Lowell. He earned his PhD in Computer Science from Georgia State University, where he also completed his MS in Computer Science, and holds a BS in Computer Science from Northeastern University (Shenyang, China). His research interests include data mining, machine learning, big data analytics, information retrieval, and data visualization.

Research Performance Summary

Last 10 Years Publication Activity

This timeline shows the professor's yearly publication activity.

Publication Venues and Collaboration

Research Impact by Period

Contact and Professional Links

Detected Research Keywords