جست‌وجوی استاد و پژوهشگر

Nguyen Tungمشاهده پروفایل

دانشیار

• Software Engineering
• Mobile Application Development
• Code Analysis and Optimization
• +۳ مورد دیگر

Nguyen Tung is an Instructional Associate Professor in the Department of Computer Science & Engineering at Texas A&M University. His research focuses on software engineering, mobile application development, and computational tools for improving code quality and developer productivity. He has developed frameworks like ALPACA for linguistic analysis of software corpora and ExAssist for exception handling recommendations. His work spans topics including API misuse correction, automated response systems for app reviews, and deep learning approaches to UI design patterns. Key research areas include: Code analysis and optimization Statistical methods for software migration Machine learning in IDEs Human-computer interaction in educational technologies He has published extensively on topics such as defect prediction, code recommendation systems, and mining visual logs of software behavior. His contributions include tools like DRC for detecting dangling references in web applications and GraPacc for graph-based code completion.

• Static Program Analysis
• Abstract Interpretation
• Programming Languages
• +۹ مورد دیگر

Caterina Urban is a Research Scientist at INRIA, affiliated with École Normale Supérieure in Paris, where she is a member of the ANTIQUE research team. She holds a PhD in Computer Science from École Normale Supérieure and completed her undergraduate and graduate studies at Università degli Studi di Udine with summa cum laude honors. She previously conducted postdoctoral research at ETH Zurich. PhD in Computer Science, École Normale Supérieure, Paris, France (2015) MSc in Computer Science, Università degli Studi di Udine, Italy (2011) BSc in Computer Science, Università degli Studi di Udine, Italy (2009) Her research spans formal methods, abstract interpretation, and static analysis, with a strong emphasis on ensuring reliability, fairness, and robustness in machine learning and data science software. She leads projects such as Lyra (on data science software), Libra (fairness certification), ForML, and SAIF. Her work bridges theoretical foundations with practical tool development, targeting real-world software challenges in AI safety. Her recent publications reveal a consistent focus on applying abstract interpretation to machine learning, data leakage, fairness, and program termination. Key themes include certified robustness, input usage analysis, and perfectly parallel verification, demonstrating both theoretical depth and practical impact. She has developed open-source tools like Libra and FuncTion. Best Poster Award at SOFSEM 2011 Artifact Evaluation Badges at OOPSLA 2020 Mentored award-winning undergraduate research (Global Undergraduate Awards 2022) She advises multiple PhD and postdoctoral researchers and has supervised numerous master’s and bachelor’s students. She is actively involved in the academic community, serving on program committees for PLDI, OOPSLA, and CAV, and is the general chair of iFM 2025. She teaches advanced courses at MPRI and international summer schools on abstract interpretation and formal methods. She leads research on data science software analysis, fairness in ML, and static verification of neural networks, often in collaboration with institutions across Europe. Her lab, part of the ANTIQUE team, fosters interdisciplinary work combining formal methods with AI and software engineering.

Alfredo Perezمشاهده پروفایل

دانشیار

• Computer Science
• Artificial Intelligence
• Cybersecurity
• +۴ مورد دیگر

Alfredo Perez, Ph.D., is an Associate Professor and Graduate Program Chair for MS CS Education in the College of Information Science & Technology at the University of Nebraska at Omaha. He holds a doctorate and M.Sc. in Computer Science from the University of South Florida (2011, 2009) and a B.Sc. in Systems Engineering from Universidad del Norte, Barranquilla (2006). Education: Ph.D., Computer Science & Engineering, University of South Florida (2011) M.Sc., Computer Science & Engineering, University of South Florida (2009) B.Sc., Systems Engineering, Universidad del Norte, Barranquilla (2006) Dr. Perez's research focuses on privacy, mobile/ubiquitous computing, and computer science education. His recent work explores blockchain security, IoT privacy frameworks, and machine learning for malware detection. He also investigates formal modeling techniques for secure systems and wearables' facial privacy solutions. His publications reveal trends in privacy-preserving IoT architectures , blockchain applications , machine learning security , and formal verification methods . Research spans from technical implementations to societal impacts of privacy technologies. Scientific Recognition: IEEE Senior Member Member, U.S. National Academy of Inventors Dr. Perez has served on technical committees for journals/conferences like Elsevier Computer Communications and reviewed grants for the National Science Foundation. His teaching expertise covers computer programming, machine learning, and CS teacher education.

• Formal Verification
• Programming Languages
• Type Systems
• +۷ مورد دیگر

Arthur Azevedo de Amorim is an Assistant Professor in the Department of Computer Science at the Rochester Institute of Technology (RIT), part of the College of Computing and Information Sciences. His research lies at the intersection of programming languages, formal verification, and software security. Ph.D., University of Pennsylvania (advised by Benjamin Pierce and Cătălin Hrițcu) Postdoctoral Fellow, Boston University and Carnegie Mellon University B.S., Unicamp and Polytechnique His research focuses on enhancing software security and reliability through formal methods, particularly using formal verification , programming languages , and type systems . Key areas include cryptographic protocols , where he develops formalisms based on separation logic to verify protocols like TLS, and compartmentalization , where he analyzes and implements formally verified techniques to limit the impact of vulnerabilities in low-level code. His work includes the development of SECOMP , the first formally verified realistic compartmentalizing compiler. His recent publications span top conferences such as POPL, CCS, ESOP, and ICALP, reflecting a strong trend toward foundational work in program logics, secure compilation, and type-based security. His research often involves deep formalization in the Coq proof assistant, and he contributes to the formal methods community through open-source tools and educational resources like the Software Foundations textbook. He is actively involved in academic service, having served on program committees for POPL, ICFP, PLDI, and others. He mentors several graduate and undergraduate students at RIT and has previously mentored researchers at Boston University. Notable software contributions include: Cryptis : Extension of Iris separation logic for cryptographic protocols Deriving : Coq library for automating class instances Extensional Structures : Coq library for finite data structures Netter : Language for probabilistic network modeling

Ljubica Kordićمشاهده پروفایل

دانشیار

• Legal Linguistics
• Applied Linguistics
• Languages for Specific Purposes (LSP)
• +۳ مورد دیگر

Ljubica Kordić is an Associate Professor at the Faculty of Law of the Josip Juraj Strossmayer University of Osijek, Croatia. She holds a Ph.D. in Legal Linguistics from the University of Zagreb and has been teaching German and English as foreign languages at the Faculty of Law since 1984. Her research focuses on legal linguistics, applied linguistics, and sociolinguistics, particularly multilingualism and minority languages in legal and educational contexts. She has authored three monographs, co-authored two books, and edited multiple volumes. Notable works include Pravna lingvistika – sinergija jezika i prava (2015) and Njemački jezik u školstvu i javnom životu grada Osijeka kroz povijest (2021). Her research explores legal terminology, language policy, and historical multilingualism in Croatia. Key Projects: Coordinator of the Jean Monnet Project Language and EU-Law Excellence (LEULEX) Lead researcher in the Spuren deutscher Sprache, Literatur und Kultur in Kroatien project Collaborator in the INTERREG project CATCH, developing English programs for public administration Awards: 2019 Faculty of Law Excellence Award DAAD, Goethe-Institut, and US Embassy grants Her work emphasizes legal language education, translation challenges, and the role of multilingualism in legal systems. She has published widely in international journals such as International Journal of Semiotics of Law and Studies in Logic, Grammar and Rhetoric .

• Computer Science
• Game Design
• Database Systems
• +۳ مورد دیگر

Walker M. White is the Stephen H. Weiss Provost's Teaching Fellow and Director of the Game Design Initiative (GDIAC) at Cornell University's Department of Computer Science. He leads the undergraduate game design minor and teaches core courses like CS/INFO 3152 (Introduction to Game Design) and CS/INFO 4152 (Advanced Topics in Game Design). His research focuses on data-driven games, database systems (e.g., Cayuga), and inquiry-based learning. He previously served as an assistant professor at the University of Dallas, specializing in mathematics and computer science education. His work bridges game design, database efficiency, and pedagogical innovation. Education & Teaching: PhD in Mathematical Logic (implied by research background) Assistant Professor of Mathematics and Computer Science at University of Dallas Developed inquiry-based learning methods (Moore Method) for proof-based courses Research Interests: Data-driven game design, declarative processing for games, scalable database systems, and educational technology. His projects include the SGL language for game logic and Cayuga for data stream processing. Teaching Contributions: Transitioned CS 1110 to Python, lowering barriers for beginners Independent study projects featured at indie game festivals Liaison for game studio recruitment (EA, Valve, etc.) Awards & Recognition: None explicitly listed, but contributions to game design education and database research are highlighted. Advising & Labs: Oversees GDIAC, which connects multiple departments. Manages competitive independent study programs and advises projects on mobile game development and NPC behavior systems.

Qingzhao Zhangمشاهده پروفایل

استادیار

• Computer Security
• Artificial Intelligence Security
• Cyber-Physical Systems Security
• +۳ مورد دیگر

Qingzhao Zhang is an incoming Assistant Professor in the Department of Electrical and Computer Engineering at the University of Arizona, starting in Fall 2025. Previously, he completed his Ph.D. at the University of Michigan under the supervision of Professor Z. Morley Mao. His academic journey bridges computer science, electrical engineering, and cybersecurity disciplines with a focus on practical security applications. Dr. Zhang's research spans computer security at the intersection of system security, artificial intelligence, and cyber-physical systems. His work addresses critical security challenges in safety-critical applications, particularly connected and autonomous vehicles. His research methodology combines formal verification, system building, and security analysis to develop practical solutions for real-world security problems. His expertise extends to blockchain security, industrial control systems, and AI security, demonstrating a broad yet cohesive research vision. Analysis of Zhang's recent publications reveals a consistent focus on security challenges in emerging technologies, with a particular emphasis on autonomous systems. His work demonstrates strong technical depth across multiple domains, from low-level network protocols to high-level AI systems. The trajectory of his research shows increasing sophistication in addressing complex security problems in cyber-physical systems, with recent work expanding into large language model security. Reviewer for ICLR 2025, ICRA 2025, ACM Multimedia 2024 Artifact Evaluation Reviewer for Usenix Security 2022 Pre-Review Task Force for NSDI 2025 Teaching experience in Multidisciplinary Design Program at University of Michigan (2022-2023) Dr. Zhang is actively recruiting PhD students for Fall 2026 and research interns. His research group focuses on developing security solutions for next-generation AI and cyber-physical systems, with particular emphasis on autonomous vehicles and critical infrastructure security. He maintains strong industry connections through his applied research in automotive security and blockchain technologies.

Alessandro Facchiniمشاهده پروفایل

استاد

• Logic
• Probability Theory
• AI Ethics
• +۴ مورد دیگر

Alessandro Facchini is a Professor at the Department of Innovative Technologies at SUPSI - University of Applied Sciences Western Switzerland, based in Lugano, Switzerland. He holds a PhD in Computer Science (2010) from the University of Lausanne and the University of Bordeaux, with prior research roles at institutions including the University of Warsaw, University of Amsterdam, and University of California, Santa Cruz. His current research focuses on logic, rationality theories, probability, and the philosophy and ethics of AI, complemented by past work in automata theory and game theory. He has received notable awards such as the FNP Homing Plus Grant (2012) and the Paul Bernays Award (2011). Education PhD in Computer Science (2010), co-supervised by Prof. J. Duparc (U. Lausanne) and I. Walukiewicz (U. Bordeaux) Doctoral Program in Logic and Foundations of Mathematics (2004-2006), University of Barcelona Master in Humanities (Logic, Linguistics, Mathematics) (1998-2003), University of Neuchâtel Research Interests : Facchini’s work bridges formal logic, AI ethics, and foundational questions in probability and quantum theory. His recent projects include the European University on AI in Curricula and SmartH2O, a platform leveraging gamification for water resource management. He explores topics like quantum rational preferences, causal models, and the societal implications of AI systems. Awards & Recognition : FNP Homing Plus Grant (2012) Paul Bernays Award (2011) Teaching & Leadership : Facchini leads courses such as “Ethics of Technology and Engineering” and “Fundamentals of Artificial Intelligence,” emphasizing ethical and legal dimensions of data analytics. He also oversees projects like the Smart UniverCity initiative. Collaborations & Labs : Active member of IDSIA (Istituto Dalle Molle di Studi sull’Intelligenza Artificiale), a leading Swiss AI research institute. His work often intersects interdisciplinary teams addressing environmental, healthcare, and ethical challenges posed by AI.

• Constraint Satisfaction Problems
• Computational Complexity
• Universal Algebra
• +۳ مورد دیگر

Michał Wrona is a Professor in the Department of Algorithmics at the Faculty of Mathematics and Computer Science, Jagiellonian University. His research focuses on constraint satisfaction problems (CSPs), computational complexity, universal algebra, and model theory, particularly concerning finite and omega-categorical structures. He holds a habilitation and has held postdoctoral positions at École Polytechnique (France) and Linköping University (Sweden). His current grant (2021–2026) investigates constraint satisfaction problems for infinite homogeneous structures. Education: M.Sc. in Computer Science (2004, University of Wrocław), Ph.D. in Mathematics (2009, University of Wrocław). Key Roles: Principal Investigator of the National Science Centre grant on infinite-domain CSPs. His work bridges theoretical computer science and mathematical logic, addressing foundational questions in algorithmic complexity and constraint satisfaction. Notable contributions include advances in quantified CSPs, tractability frontiers, and symmetries in infinite-domain structures. Research has been published in top venues like SIAM Journal on Computing, IEEE LICS, and ACM Transactions on Computational Logic. He actively contributes to the algorithmics research group and collaborates internationally on topics like universal algebra and computational complexity.

Matthew J. Parkinsonمشاهده پروفایل

پژوهشگر

• Verification
• Runtimes
• Compilers
• +۶ مورد دیگر

Matthew J. Parkinson is a Principal Researcher at Microsoft Azure Research in Cambridge, UK. His work focuses on memory and concurrency safety , with significant contributions to formal verification , systems programming , and language design . He actively participates in academic communities as a session chair and committee member for conferences like OOPSLA , PLDI , and ISMM . Research Trends : His recent publications (2023-2025) emphasize dynamic region ownership , wait-free reference counting , and allocator optimization for concurrent systems. These works span systems programming , formal verification , and domain-specific language tools , reflecting his interdisciplinary approach. Conference Contributions : Parkinson has served as session chair for tracks including MPLR Session 2 (2023) and PLDI: Memory Models & Program Logics (2023). He has also contributed to program committees for POPL , IWACO , and The Future of Weak Memory (2024).

Xiaoxing Maمشاهده پروفایل

استاد

• Software Engineering
• Self-adaptive Software Systems
• Software Engineering for Machine Learning
• +۳ مورد دیگر

Xiaoxing Ma is a Professor at the State Key Laboratory for Novel Software Technology , Nanjing University , focusing on Software Engineering , Self-adaptive Software Systems , and Software Engineering for Machine Learning . His recent work bridges neuro-symbolic reasoning and formal verification. Key research areas: Software Engineering, Self-adaptive Systems, Neuro-symbolic AI Awards: China National Awards (2006, 2011), MOE Award (2010), CVIC SE Award (2009) His 2023-2024 publications emphasize: Formal semantics for hardware description languages (Verilog) Neuro-symbolic frameworks for mathematical reasoning Dynamic update verification and CRDT model checking LLM-driven API migration and traceability recovery He serves as Program Co-Chair for SEAMS 2024 and contributes to major software engineering conferences (ICSE, ASE, FSE, PLDI).

Wenhao Tangمشاهده پروفایل

پژوهشگر

• Programming Languages
• Type Theory
• Functional Programming
• +۳ مورد دیگر

Wenhao Tang is a researcher affiliated with The University of Edinburgh in the United Kingdom. Active in programming languages and type theory research, he has contributed to conferences including POPL, ICFP, and SPLASH. His work focuses on foundational programming language design, effect systems, and bidirectional programming.

Jan Hiddersمشاهده پروفایل

مدرس

• Graph Data Management
• Workflow Modelling
• Conceptual Data Models
• +۲ مورد دیگر

Jan Hidders is a Lecturer in the School of Computing and Mathematical Sciences at Birkbeck, University of London. He joined Birkbeck in 2020 after holding academic positions at Vrije Universiteit Brussel (Associate Professor, 2016–2020), Delft University of Technology (Assistant Professor, 2008–2016), and the University of Antwerp (Postdoctoral Researcher, 2001–2008). He holds a PhD from Eindhoven University of Technology (2001) and has industry teaching experience at Avans Hogeschool (1996–2001). Research Focus Hidders' research centers on three interconnected domains: Graph Data Management : Design of graph query languages, schema definition systems (PG-Schema), and theoretical properties like expressive power and optimization. He contributes to ISO standardization for SQL/GQL graph extensions. Workflow Modelling : Hierarchical decomposition of Petri nets for workflow correctness verification and orchestration of multi-actor systems. Conceptual Data Models : Formal semantics of ORM2 and its relationship to graph data models, including ORM-native DBMS design. His recent publications emphasize graph database schemas , threshold query optimization , and scalable data processing , reflecting his involvement in LDBC benchmarks and ISO standards. No awards are documented. Academic Roles Programme Director for MSc Computer Science at Birkbeck. Researcher at Birkbeck Knowledge Lab and Birkbeck Institute for Data Analytics. ACM and IEEE member since 2003 and 2006, respectively. He teaches Software Engineering II and Computer Systems , with 1 recorded PhD supervision.

Charles Lassiterمشاهده پروفایل

دانشیار

• Philosophy of Mind
• Philosophy of Language
• 4E Cognition
• +۱۳ مورد دیگر

Charles Lassiter is an Associate Professor in the Department of Philosophy at Gonzaga University, College of Arts and Sciences. He holds a Ph.D. from Fordham University (2013) and specializes in philosophy of mind and language, with strong interdisciplinary ties to cognitive science, ethics, and epistemology. Research Interests: His work centers on 4E cognition (embodied, embedded, enactive, extended), causal powers realism, extended mind, linguistic pragmatics, perlocutionary acts, implicit bias, and machine autonomy. He integrates Aristotelian metaphysics with empirical findings in cognitive science to develop non-representational models of mind and language. Recent Research Trends: His recent publications emphasize ontological foundations for extended cognition, particularly advocating for causal powers realism over new mechanism. He explores arational belief convergence in social epistemology, the epistemic status of beliefs from sham authorities, and the social dimensions of language use through simplexity and distributed cognition. His work on robot flirting applies Strawsonian reactive attitudes to machine autonomy. Email: lassiter@gonzaga.edu Phone: (509) 313-6761 Scientific Contributions: Co-developer of a powers-based ontology for encultured minds with Joseph Vukov. Collaborator with Aaron Kagan on the coupling-constitution fallacy and extended cognition. Pioneer in applying ecological and affordance-based models to perlocutionary speech acts. Advocate for environmental interventions to mitigate epistemic harms of implicit bias. Teaching & Service: He teaches ethics, symbolic logic, philosophy of mind, philosophy of language, and theory of knowledge. He serves as the administrator of the logic requirement for the philosophy graduate program.

Olaf Chitilمشاهده پروفایل

مدرس

• Functional Programming
• Programming Language Semantics
• Type Theory
• +۶ مورد دیگر

Olaf Chitil is a Lecturer at the University of Kent 's School of Computing , where he has been since 2004. He completed his PhD at RWTH Aachen in 2000, focusing on type-based deforestation of functional programs. His academic journey includes postdoctoral roles at the University of York, where he collaborated on the Haskell tracer Hat , and teaching fellowships. Research Interests : Centered on functional programming languages, particularly Haskell , with emphasis on semantics , type theory , program transformation , compiler construction , message-passing concurrency , and programming tools . His work aims to enhance software development through type systems, algorithmic debugging, and self-tracing mechanisms. Teaching : Modules include Algorithms and Logic and Foundations of Computing II . Publications : Over 15 recent works address type error debugging, Haskell tools like Hat , and compiler techniques. Collaboration with researchers such as Joanna Sharrad and Kanae Tsushima highlights his contributions to algorithmic debugging frameworks. Professional Service : Organized PPDP 2014 and LOPSTR 2014 , chaired IFL 2007 , and served on program committees for Haskell Symposium , ICFP , and TFP conferences. Long-time member of PPDP steering committee and IFL advisory committee . Students : Invites PhD applications focused on functional programming languages. Software : Developed Hat (source-level Haskell tracer), StrictCheck (strictness testing), TypeIlluminator (type error debugging), and contributed to FPretty (efficient pretty-printing).